Conferences

This page contains information about conferences in the areas of functional programming, parallel computation, static analysis, symbolic computation etc. I use the following color coding:

Programming languages

Formal methods, automated theorem proving etc

Complex systems (O.S, Embedded systems, RTEs for decl languages, Grid etc)

Symbolic computation (and other application domains for decl languages)

Rest

Upcoming conferences

International Symposium on Memory Management, June 12, 2014, Edinburgh, Scotland (co-located with PLDI)

13th IEEE International Working Conference on Source Code Analysis and Manipulation 22-23 September 2013 - Eindhoven, The Netherlands

PDCAT2012 The Thirteenth International Conference on Parallel and Distributed Computing, Applications and Technologies 14-16 December 2012, Beijing, CHINA
Paper submission deadline: July 20, 2012

PPDP 2012 14th International Symposium on Principles and Practice of Declarative Programming. Special Issue of Science of Computer Programming (SCP) Leuven, Belgium, September 18-20, 2012

CICM 2012 Conferences on Intelligent Computer Mathematics 8.-13. July 2012 Jacobs University, Bremen, Germany

ICPP-2012: The 41st International Conference on Parallel Processing, Sept. 10-13, 2012, Pittsburgh, USA

P2PS12: Fifth International Workshop on Parallel Programming Models and Systems Software for High-end Computing (P2S2) Sept. 10th, 2012
PSTI 2012 Third International Workshop on Parallel Software, Tools and Tool Infrastructures ,

HotPar '124th USENIX Workshop on Hot Topics in Parallelism (HotPar '12) June 7-8, 2012, Berkeley, CA

ICA3PP12 12th International Conference on Algorithms and Architectures for Parallel Processing Fukuoka, Japan, September 04-07, 2012

ForMASECC 2012 Formal Methods and Automated Software Engineering for Cloud Computing Affiliated to the 12th International Conference on Algorithms and Architectures for Parallel Processing Fukuoka, Japan, September 04-07, 2012

CGWS 2011, CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing Bordeaux, August 29th, 2011
Deadline: June 19, 2011

SAS'12: The 19th International Static Analysis Symposium 11-13 September 2012, Deauville, France

CONCUR 2011, the 22nd International Conference on Concurrency Theory, will take place in Aachen, Germany, from 5-10 September 2011.

HPDC'11 International ACM Symposium on High-Performance Parallel and Distributed Computing San Jose, California, June 8-11, 2011

PLDI'11 June 4 - 8 San Jose, California In conjunction with FCRC 2011 PLDI 2011

CCGrid 2011 International Symposium on Cluster, Cloud, and Grid Computing May 23-26, 2011 - Newport Beach, California, USA

ICPP 2011, The 40th International Conference on Parallel Processing Taipei, Taiwan, September 13-16, 2011
Deadline: March 20, 2011

PPDP11 Principles and Practice of Declarative Programming
Paper submission:March 15, 2011

PLAS 2011 Sixth ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2011)
Submissions due: Tuesday, March 29, 2010

SFMA'11: Systems for Future Multi-Core Architectures EuroSys 2011 Workshop, Salzburg, Austria Sunday 10th of April 2011

SCALCOM2011, scalable parallel computing

SCOPES 2010 13th International Workshop on Software and Compilers for Embedded Systems June 29-30, 2010 Schloss Rheinfels, St. Goar, Germany

CCGrid 2010 The 10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2010) May 17-20, 2010, Melbourne, Australia

KPS09 Kolloquium Programmiersprachen und Grundlagen der Programmierung Maria Taferl, Österreich 12.-14. Oktober 2009 Anmeldeschluss: 11. September 2009

FLoC 2010THE 2010 FEDERATED LOGIC CONFERENCE Edinburgh, Scotland, U.K., July 9-21, 2010

ITP10 Conference on Interactive Theorem Proving 11-14 July 2010, Edinburgh, Scotland
Abstract submission deadline: 15 January 2010; Paper submission deadline: 22 January 2010
International Conference on Computer-Aided Verification (CAV).
IEEE Symposium on Logic in Computer Science (LICS).

SAC'10 ACM Symposium on Applied Computing March 22 - 26, 2010, Sierre, Switzerland

CM'09 Coordination Models, Languages, and Applications (CM) Special Track at the 25th Symposium on Applied Computing (SAC 2010) Sierre, Switzerland March 22 - 26, 2010
Sep. 08, 2009: Paper submissions

STACS 2010 27th International Symposium on Theoretical Aspects of Computer Science March 4-6, 2010, Nancy, France Submission: September 22, 2009

ICCS'10 IAENG International Conference on Computer Science (ICCS'10) Hong Kong, 17-19 March, 2010
Submission deadline: 8 December, 2009

SAC'10 ACM 2010 SYMPOSIUM ON APPLIED COMPUTING March 22-26, 2010, Sierre, Switzerland
Submission: September 8, 2009

FLOPS'10 Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) April 19-21, 2010 Sendai, Japan
Submission deadline: October 16, 2009

PDP 2010 - 18th Euromicro International Conference on Parallel, Distributed and network-based Processing Pisa, Italy, February 17-19 2010. Paper submission: July 20th, 2009.

PPoPP 2010 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Bangalore, India, January 9-14, 2010 (co-located with HPCA-16) Submission deadline: Abstract: July 10, 2009; Full paper: July 17, 2009

IFL 2009 Seton Hall University, SOUTH ORANGE, NJ, USA

POPL10 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 20-22 January 2010, Madrid, Spain

APLAS09 The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) Seoul, December 14-16, 2009 Submission Deadline: June 8 (abstract), June 15 (paper), 2009

WFLP 2009 18th International Workshop on Functional and (Constraint) Logic Programming Brasilia, Brazil, June, 28, 2009

ICPADS 2009 Fifteenth International Conference on Parallel and Distributed Systems 9-11 Dec. 2009, Shenzhen, China
Submission Deadline: June 1, 2009

ICPP09 International Conference on Parallel Processing (ICPP-2009) Vienna, Austria September 22-25, 2009

PCC09 Workshop on Proof-Carrying Code and Software Certification (PCC'09)
Submission Deadline: May 29, 2009

SPLST09 Symposium on Programming Languages and Software Tools, Tampere, Finland August 26-28, 2009
Submission Deadline: 1st June, 2009

RTSS09The 30th IEEE Real-Time Systems Symposium December 1 - December 4, 2009 Washington, D.C., USA
Submission Deadline: 24th, May

2nd Workshop on Advances in Programming Languages (WAPL'09) (part of IMCSIT), October 12-14, 2009, Mragowo, Poland
Submission deadline: 10.05.2009

FM2009 16th International Symposium on Formal Methods Eindhoven, the Netherlands, November 2 - November 6, 2009
Paper submission deadline: 4 May, 2009

HPC2009 High-Performance Computing Symposium 2009 (HPC2009), Mar del Plata, Argentina, August 26-27, 2009
Paper submission deadline: May 18, 2009

CCGrid 2009 International Symposium on Cluster Computing and the Grid (CCGrid 2009) 18-21 May 2009 in Shanghai, China

PPDP 2009 ACM-SIGPLAN PPDP 2009 11th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming Coimbra, Portugal, September 7-9, 2009
Paper submission deadline: 3 May (abstract), 7 May (paper), 2009

ATPS09 Fourth Working Conference on Programming Languages (ATPS'09) Part of the 39th annual conference of the German Gesellschaft für Informatik Luebeck (Germany), 28.9.-2.10. 2009
Submission deadline: April 26, 2009

POOSC09 8th Workshop on PARALLEL/HIGH-PERFORMANCE OBJECT-ORIENTED SCIENTIFIC COMPUTING (POOSC'09) July 7, 2009 at the EUROPEAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING (ECOOP'09) July 6-10, 2009, Genova, Italy
Submission deadline: April 22, 2009

WCET09
Submission deadline: April 13, 2009

SBLP09 13th Brazilian Symposium on Programming Languages, SBLP 2009, will be held in Gramado, Rio Grande do Sul, Brazil, on August 19-21, Submission deadline: April 6 (abstract), April 13, 2009

ESA'09 The 2009 International Conference on Embedded Systems and Applications ESA'09 Date and Location: July 13-16, 2009, Las Vegas, USA
Submission: March 17, 2009

ICFP 2009 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009) Edinburgh, Scotland, 31st August - 2nd September 2009
Submission: 2nd March 2009

Haskell09, Haskell Symposium 2009
Submission Deadline: Friday, May 8th 2009

POOSC'09 8th Workshop on PARALLEL/HIGH-PERFORMANCE OBJECT-ORIENTED SCIENTIFIC COMPUTING (POOSC'09) July 7, 2009
April 8, 2009: Initial submissions due

LADC 2009 Fourth Latin-American Symposium on Dependable Computing
Submission deadline: March 9th, 2009

TPHOL09, Theorem Proving in Higher Order Logics 17 - 20 August 2009 in Munich, Germany Submission deadline: March 8th, 2009

FCS'09The 2009 International Conference on Foundations of Computer Science July 13-16, 2009, Las Vegas, USA
Submission deadline: Feb. 25, 2009

IPDPS 2009 23rd IEEE International Parallel & Distributed Processing Symposium Monday, May 25 - Friday, May 29 Aurelia Convention Centre, Rome
Paper submission deadline: 15 February 2009

LCTES 2009 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (In conjunction with PLDI 2009) Dublin, Ireland, June 19~20 2009
Paper Submission: February 9th, 2009

AVoCS 2009 Ninth International Workshop on Automated Verification of Critical Systems Swansea, UK, 23.9. - 25.9.2009

Special Session on Programming Languages and Systems at the 2009 International Conference on Software Engineering Theory and Practice (SETP-09) that will be held during July 13-16 2009 in Orlando, FL, USA.
There is a Special Session on Type Theory in Computer Science at the 2009 International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-09) (website: http://www.PromoteResearch.org) that will be held during July 13-16 2009 in Orlando, FL, USA

HPCNCS-09 International Conference on High Performance Computing, Networking and Communication Systems (HPCNCS-09)

GridCom-2009 The First International workshop on Grid Computing (In conjunction with AICCSA-2009 ) May 10-13, 2009

DiscoTec09 Federated Conferences on Distributed Computing Techniques Lisbon, Portugal 8 - 12 June 2009 Abstract submission: 28 January 2009; Paper submission: 1 February 2009

CAV09 International Conference on Computer Aided Verification* June 26 - July 2, 2009 Grenoble, France
Submission Deadline: January 18, 2009 (Abstract); January 25, 2009 (full paper)

PLAS 2009 ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security Dublin, Ireland, June 15, 2009
Co-located with PLDI '09
Submission Deadline: April 3, 2009

PDPTA'09 The 2009 International Conference on Parallel and Distributed Processing Techniques and Applications
Date and Location: July 13-16, 2009, Las Vegas, USA
Submission deadline: Feb. 25, 2009

ICST 2009 2nd IEEE International Conference on Software Testing, Verification and Validation (ICST 2009) April 1-4, 2009, Denver, Colorado

IWMSE09 International Workshop on Multicore Software Engineering, May 2009, Vancouver

Workshop on Many-Cores, in conjunction with ARCS 2009, March 10-13, 2009, Delft, The Netherlands
Deadline: Dec 14, 2008

Informatik 2008 GI Jahrestagung, 8-13 September, München

WFLP 2008, 17th International Workshop on Functional and (Constraint) Logic Programming Siena, Italy, July 3-4, 2008

Bad Honnef 2008

LPAR08 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Doha, Qatar November 22-27, 2008
Submission deadline: 26 May 2008 (Abstract), 06 June 2008 (Paper)

POOSC08, 7th Workshop on PARALLEL/HIGH-PERFORMANCE OBJECT-ORIENTED SCIENTIFIC COMPUTING (POOSC'08).

ICFP08 ACM SIGPLAN International Conference on Functional Programming

AISC08, 9th International Conference on Artificial Intelligence and Symbolic Computation, Birmingham, UK, 31 July-2 August 2008

PLMMS08, Programming Languages for Mechanized Mathematics Systems, Birmingham, UK, 28-29 July 2008.

ISPDC08 7th International Symposium on Parallel and Distributed Computing, Krakow, Poland, from July 1th to 5th, 2008.
Deadline: March 31

ISSAC08, July 20-23, 2008, Hagenberg, Austria
Part of RISC summer 2008

Coordination08, June 4-6, 2008, Oslo, Norway. (see also attached workshops)

EDCC-7 Seventh European Dependable Computing Conference Kaunas, Lithuania May 7-9, 2008

ETAPS08 March 29 - April 6, 2008, Budapest, Hungary

ESOP 2008 17th European Symposium on Programming Submission deadline: October 4, 2007

IPDPS 2008 Conference 22rd IEEE International Parallel and Distributed Processing Symposium April 14-18, 2008 Miami, Florida USA
Submission deadline: October 8, 2007

HIPS08?

FLOPS 2008, Ninth International Symposium on Functional and Logic Programming, April 14-16, 2008. Ise, Japan
Submission deadline: October 10, 2007

PPoPP'08 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming February 20-23, 2008, Salt Lake City, Utah
Submission deadline: August 20, 2007

KPS07, 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'07), Timmendorfer Strand, 10.-12. Oktober 2007

ASIAN'07 12th Annual Asian Computing Science Conference Focusing on Computer and Network Security December 9-11, 2007. Carnegie Mellon University, Doha, Qatar Submission deadline: August 3, 2007

POPL08 Symposium on Principles of Programming Languages San Francisco, USA, Stanford Court Hotel, January 10-12, 2008 Submission deadline: July 16, 2007

PADL '08 Tenth International Symposium on Practical Aspects of Declarative Languages 2008 San Francisco, USA, January 7-8, 2008. (Co-located with ACM POPL'08)
Submission deadline: August 24, 2007
DAMP 2008: Workshop on Declarative Aspects of Multicore Programming San Francisco, CA, USA (colocated with POPL 2008)

APLAS07, The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007) Singapore, November 29 - December 1, 2007

TGC07 Trustworthy Global Computing 2007, November 5-6, 2007, Sophia-Antipolis, France
Submission deadline: August 3, 2007

ASPLOS07, Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08)

ASE07 22th IEEE/ACM International Conference Automated Software Engineering 2007 November 5-9, 2007 in Atlanta, Georgia (USA)
Submission deadline: June 11, 2007

LTPD'07 First Workshop on Languages and Tools for Parallel and Distributed Programming (LTPD 2007), Gramado, RS - Brazil
Co-located with SBAC-PAD 2007 (24-27 October 2007)

STM 2007 3rd International Workshop on Security and Trust Management, September 26th/27th, 2007 Dresden, Germany
Submission deadline: June 29, 2007

PACT07 Parallel Architectures and Compilation Techniques (PACT) Brasov, Romania September 15-19, 2007

OSHMA1 Operating System support for Heterogeneous Multicore Architectures
Submission deadline: Friday 17th August 2007

PaCT-07 Conf on Parallel Computing Technologies, Pereslavl-Zalessky, Russia, Sep 3-7.

SAS 2007, LOPSTR 2007, PLID 2007 Kongens Lyngby, Denmark

PPDP 2007 9th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming Wroclaw, Poland, July 14-15, 2007

CAV07, CAV 2007, Computer Aided Verification (CAV) 19th International Conference July 3-7, 2007, Berlin, Germany.
Satellite events:

AHA07 International symposium on Automatic Heap Analysis July 2nd 2007 Berlin, Germany satellite event of CAV 2007
ARTIST
PDMC07

ECRTS07, 19th Euromicro Int'l Conference on Real-Time Systems Pisa, Italy, July 4 - 6, 2007
Satellite events:

WCET2007, 7th Int'l Workshop on Worst-Case Execution Time (WCET) Analysis, Pisa, Italy, July 3, 2007

ISPDC07 6th International Symposium on Parallel and Distributed Computing Hagenberg, Austria, July 5-8, 2007.

CEFP 2007 2nd Central-European Functional Programming School Cluj-Napoca, June 23-30, 2007

http://rceas.njszt.hu First Regional Conference on Embedded and Ambient Systems 24th-26th October, 2007, Sarospatak, Hungary

ICFP07 The 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), Freiburg, Germany, October 1-3, 2007
Submission deadline: 11:00 AM Friday, 6 April 2007, Samoan time,
Satellite events:

IFL07, 19th International Symposium on Implementation and Application of Functional Languages IFL 2007. 27th-29th September 2007, Freiburg, Germany co-located with ICFP 2007
Submission deadline: 31 August 2007
ML Workshop 2007 The 2007 ACM SIGPLAN Workshop on ML Friday, October 5, 2007 Freiburg, Germany (To be held in conjunction with ICFP '07)

SEFM 2007, The 5th IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS London, United Kingdom, September 10-14, 2007

TFP07 Symposium on Trends in Functional Programming, Apr 2-4 , 2007, New York;
Submission deadline: March 9, 2007
Refereeing deadline: June 15th, 2007

RDP07 Federated Conference on Rewriting, Deduction, and Programming Monday, June 25, 2007 to Friday, June 29, 2007, Paris.
Satellite events:

WFLP 2007 16th International Workshop on Functional and (Constraint) Logic Programming Monday, June 25, 2007, Paris

CSL 07 11-15 September, 2007 Lausanne (CH)

PAPP07 Fourth International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007) part of The International Conference on Computational Science May 27-30, 2007, University of Beijing, China
Submission deadline: December 12th, 2006

HIPS07 International Workshop on High-Level Parallel Programming Models and Supportive Environments (held in conjunction with IPDPS07). March 26th, 2007, Renaissance Long Beach Hotel, Long Beach, California USA
Submission deadline: December 22nd, 2006

AISC06 International Conference on Artificial Intelligence and Symbolic Computation Beihang University, Beijing, China, September 20-22, 2006

IFL06, September 4th-6th 2006, Budapest, Hungary
Submission deadline: Aug 4, 2006

ICMS06 International Congress on Mathematical Software ICMS'2006 Castro Urdiales, Spain, September 1-3 2006

JPDC Special Issue on Security in Grid Computing

> CCGrid'06 Singapure, May 16-19, 2006.

DSM 2006 Fifth International Workshop on Distributed Shared Memory
Submission deadline: Nov, 2005

HIPS'06 11th International Workshop on High-Level Parallel Programming Models and Supportive Environments, Rhodes Island, Greece, April 26 2006
Submission deadline: November 18th, 2005

ETAPS'06, Vienna, Austria, 25.3.-2.4.

CC'06 Compiler Construction, submission page
Submission deadline: Oct 14, 2005

PLDI'06 ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation Ottawa, Canada, June 11-16, 2006
Submission deadline: Nov 11, 2005

NWPT'05 The 17th Nordic Workshop on Programming Theory 19-21 October, 2005, Copenhagen, Denmark
Submission deadline: Sep 19, 2005

IAT'05 Intelligent Agent Technology.

Special Issue of Theoretical Computer Science Semantic and Logical Foundations of Global Computing,
Submission deadline: July 1, 2005

APLAS 2005 The Third Asian Symposium on Programming Languages and Systems November 3-5, 2005, Tsukuba, Japan
Submission deadline: 10 June, 2005

SYNASC 2005 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, Romania, September 25 - 29, 2005.

SGC 2005, 2nd Symbolic Grid Computing Workshop
Submission deadline: May 30, 2005

FORMATS'05 International Conference on Formal Modelling and Analysis of Timed Systems September 26-28, 2005, Uppsala, Sweden.
Submission deadline: May 20, 2005

FORTE'05 International Conference on Formal Techniques for Networked and Distributed Systems National Taiwan University Sunday 2 October - Wednesday 5 October 2005.
Submission deadline: April 20, 2005

ICFP'05 International Conference on Functional Programming Tallinn, Estonia, September 26-28, 2005
Submission deadline: April 13, 2005
Co-located with:

TFP05 Submission deadline: June 24, 2005
GPCE'05 4th International Conference on Generative Programming and Component Engineering Sep 29 - Oct 1, 2005, Tallinn (Estonia) Submission deadline: Apr 15, 2005
ML Workshop Submission deadline: June 24, 2005

SAS'05 The 12th International Static Analysis Symposium 7-9 September 2005, London, UK
Submission deadline: 11 April, 2005

Older Announcements

Bad Honnef Workshop der FG "Programmiersprachen und Rechenkonzepte" im Physikzentrum Bad Honnef (Mo-Mi, 2--4. Mai 2005).
FM'05 Formal Methods 2005 18-22 July 2005 Newcastle upon Tyne, UK
HLPP05 High-level Parallel Programming and Applications, July 4-5, 2005, Warwick University, Coventry, United Kingdom Submission deadline: 14 March 2005
SBLP05 Brasilian Symposium on Programming Languages, Recife, Brasil, May 23-25, 2005. Submission: March 6th, 2005
MSP'05 3rd ACM SIGPLAN Workshop on Memory Systems Performance (MSP 2005) June 12, 2005 Chicago, Illinois USA Co-located with the ACM SIGPLAN PLDI. Submission: Friday February 25, 2005
TPHOLs 2005 Oxford, UK, 22-25 August 2005. Submission deadline: Friday 18 February 2005
PPDP05 Principles and Practice of Declarative Programming Lisboa, Portugal, 11-13 July 2005. Submission dedaline: February 13, 2005
ICALP05 32nd International Colloquium on Automata, Languages and Programming and affiliated Workshops July 11-15, 2005, Lisboa, Portugal Submission deadline: February 13 2005
Euro-Par 2005 The 11th International Euro-Par Conference, Universidade Nova de Lisboa, Portugal, August 30 - September 2, 2005. Submission Deadline: January 31, 2005
PaCT 05 Parallel Architectures and Compilation Techniques, Saint Louis, Missouri, September 17-21, 2005. Submission deadline: March 30, 2005 (Abstracts: March 23, 2005)
CSFW 18 18th IEEE Computer Security Foundations Workshop, Aix-en-Provence, France, June 20 - 22, 2005. Submission deadline: 28 January 2005
PaCT'05 Parallel Computing Technologies, Krasnoyarsk, Russia, September 17-21, 2005. Submission deadline: January 20, 2005
CCGrid'05 International Symposium on Cluster Computing and the Grid, May 9-12, 2005, Cardiff, UK Submission: December 1, 2004
- DSM05 Submission: December 1, 2004
CAV'05 Computer Aided Verification, July 6--10, 2005 The University of Edinburgh, Scotland, UK Submission: January 21, 2005
ETAPS'05 European Joint Conferences on Theory and Practice of Software (ETAPS), Edinburgh, Scotland, 2-10 April 2005
- Bytecode05 The first Workshop on Bytecode Semantics, Verification, Analysis and Transformation April 9, 2005, Edinburgh, Scotland (co-located with ETAPS'05) Submission: December 19, 2004
PAPP 2005 Second International Workshop on Practical Aspects of High-level Parallel Programming Submission: December 21, 2004
COORDINATION 2005 Seventh International Conference on Coordination Models and Languages, Namur, Belgium April 20-23, 2005 Submission deadline: December 21, 2004
- MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems April 23, 2005, Namur, Belgium Submission deadline: March 8, 2005
CCGrid05 5th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid05), Cardiff, UK, May 9-12, 2005. Submission: November 15, 2004
PLDI05 ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI), Chicago, Illinois, USA , June 12-15, 2005. Submission: November 11, 2004
- PPoPP 2005: Symposium on Principles and Practice of Parallel Programming
ICCS'05 The International Conference on Computational Science May 22-25, 2005, Atlanta, USA
- PAPP 2005 - Second International Workshop on Practical Aspects of High-level Parallel Programming, Submission: November 7, 2004
VMCAI'05 Sixth International Conference on Verification, Model Checking and Abstract Interpretation January 17-20, 2005. Paris, France Submission: September 6, 2004
AISC 2004 7th International Conference on Artificial Intelligence and Symbolic Computation, Theory, Implementations and Applications September 22(We)-24(Fr), 2004, RISC (Research Institute for Symbolic Computation), Castle of Hagenberg, Austria
GI Jahrestagung Ulm, 20-24 Sep, 2004.
SYNASC 2004 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, Romania September 26 - 30, 2004
IFL04 16th International Workshop on Implementation and Application of Functional Languages (IFL'04) September 8th -- 10th, 2004, Luebeck, Germany Submission: Aug 20, 2004
HICSS'04 Thirty-Eighth Annual Hawaii International Conference on System Sciences 3-6 January 2005, Hilton Waikoloa Village, Big Island of Hawaii, USA
- HICSS-AESS Adaptive and Evolvable Software Systems: Techniques, Tools, and Applications Submission: June 15, 2004
CONCUR'04 Fifteenth International Conference on Concurrency Theory London, U.K, 31 Aug - 3 Sep, 2004.
- FGC'04 Foundations of Global Ubiquitous Computing, Friday 3rd and Saturday 4th September, London 2004 Submission: June 4, 2004
- PDMC04 3rd International Workshop on Parallel and Distributed Techniques in Verification Submission: June 3, 2004
APLAS 2004 ASIAN Symposium on Programming Languages and Systems Taipei, Taiwan, November 4-6, 2004 Submission: June 6, 2004
MPC'04 Seventh International Conference on Mathematics of Program Construction (MPC 2004) 12-14 July, 2004, Stirling, Scotland, UK
- AMAST'04 10th International Conference on Algebraic Methodology And Software Technology AMAST'2004
- CMPP 2004 4th International Workshop on "Constructive Methods for Parallel Programming" Stirling, Scotland, UK, 14/15 July 2004 Submission: May 2, 2004
ICFP'04 International Conference on Functional Programming (ICFP) Snowbird, Utah, September 19-22, 2004 Submission: April 1, 2004
- PPDP04 ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming Verona, Italy, August 24 - 26, 2004 Submission: 4 April 2004 (Intention to submit by 28 March 2004)
- SAS'04 Static Analysis Symposium - SAS 2004 Verona, Italy, August 26 - 28, 2004 Submission: April 4, 2004
- LOPSTR'04
- PEPM'04
RDP 2004 Federated Conference on Rewriting, Deduction, and Programming May 31 - June 5, 2004, Aachen, Germany
- RTA 2004 15th International Conference on Rewriting Techniques and Applications June 3 - 5, 2004, Aachen, Germany Submission: January 22, 2004
- WFLP04 13th International Workshop on Functional and (Constraint) Logic Programming, June 1 - 2, 2004, Aachen, Germany
  WST 2004 7th International Workshop on Termination June 1 - 2, 2004 Aachen, Germany Submission: March 17, 2004
HPDC-13 Thirteenth IEEE International Symposium on High-Performance Distributed Computing June 4-6 2004 Honolulu, Hawaii USA Submission: February 8, 2004 (Abstracts: February 1, 2004)
PACT'04 13th International Conference on Parallel Architectures and Compilation Techniques September 29 - October 3, 2004 Hotel Ambassadeur, Antibes Juan-les-Pins, France Submission: March 21, 2004
PADL'04 Sixth International Symposium on Practical Aspects of Declarative Languages 2004 Dallas, Texas, USA Jun 18-19, 2004 Submission: February 8, 2004
EuroPar04 Pisa, Italy, 31 Aug - 3 Sep, 2004 Submission: 30th January, 2004
ASE'04 19th IEEE International Conference Automated Software Engineering, Linz, Austria, September 20-25, 2004 Submission:
IPDPS 2004, Santa Fe, New Mexico, USA, April 26 2004
- HIPS 2004 9th International Workshop on High-Level Parallel Programming Models and Supportive Environments Submission: December 5, 2003
ICCS 2004 The International Conference on Computational Science June 7-9, 2004, Krakow, Poland.
- PAPP 2004 Workshop on Practical Aspects of High-level Parallel Programming Submission: December 8, 2003
- PPGaMS'04 First International Workshop on Programming Paradigms for Grids and Metacomputing Systems, Kraków, Poland, June 7-9, 2004 Submission: December 1, 2003
PLDI Conference on Programming Language Design and Implementation Washington, DC, June 9-11, 2004 Submission: November 15th, 2003
HPCS 2004 The 18th International Symposium on High Performance Computing Systems and Applications May 16-19, 2004 Delta Hotel, Winnipeg, Manitoba, Canada Submission:
COORDINATION 2004 Sixth International Conference on Coordination Models and Languages 24-27 February 2004, Pisa, Italy Submission:
CCGrid'04 4th IEEE/ACM International Symposium on Cluster Computing and the Grid Chicago, Illinois, USA, April 19-22, 2004 Submission: November 10, 2003
Journal Special Issue of Computer Languages, Systems and Structures on Semantics and Cost Models for High-Level Parallel Programming Submission: November 3, 2003
FLOPS 2004 The Seventh International Symposium on Functional and Logic Programming, Nara, Japan, April 7-9, 2004 Submission: October 1, 2003
Special Issue of Journal of Functional Programming on Functional Approaches to High-Performance Parallel Programming Submission: September 26, 2003
COORDINATION 2004 Sixth International Conference on Coordination Models and Languages, 24-27 February 2004, Pisa, Italy. (coordination conference series) Submission: September 29, 2003
IFL'03 Int. Workshop on the Implementation of Functional Languages Edinburgh, Scotland, Sep 8-10, 2003. Submission: August 22, 2003
TFP'03 Int. Symposium on Trends in Functional Programming Edinburgh, Scotland, Sep 11-12, 2003. Submission: August 2, 2003
ETAPS 2004 Barcelona, SPAIN, March 27 - April 4, 2004.
FLOPS 2004 Seventh International Symposium on Functional and Logic Programming Nara-Ken New Public Hall, Nara, Japan April 7-9, 2004 Submission: October 1, 2003
POPL 2004 Symposium on Principles of Programming Languages, January 14-16, 2004, Venice, Italy. Submission: July 18, 2003
FMCO'03 The Second International Symposium on Formal Methods for Components and Objects (FMCO 2003) 4 - 7 November, 2003, Lorentz Center, Leiden University, Leiden, The Netherlands Submission: ???
APLAS'03 The First Asian Symposium on Programming Languages and Systems November 27-29, 2003 Beijing, China. (or Kanazawa, Japan or Nanjing, China. See below.) Submission: June 20, 2003
Foclasa 2002 2nd International Workshop on Foundations of Coordination Languages and Software Architectures (Foclasa 2002) September 2, 2003, Marseille, France. Workshop affiliated to CONCUR'2003, 02 - 06 September 2003. Submission: June 9, 2003
IS 2003 Multiconference on Information Society 2003, Oct. 13-17, 2003.
- TCS2003 Subconference on Theoretical Computer Science, Cankarjev Dom - Conference Centre, Ljubljana, SLOVENIA October 16, 2003 Submission (abstract): May 1, 2003
- ISPDC'03 Second International Symposium on Parallel and Distributed Computing, October 16-18, 2003, Ljubljana, Slovenia. Submission: August 1, 2003
Cluster 2003 IEEE International Conference on Cluster Computing December 1-4, 2003, Hong Kong Submission: June 1, 2003
HiPC 2003 10th International Conference on High Performance Computing, December 17-20, 2003, Hyderabad, India Submission: May 09, 2003
HICSS Thirty-Seventh Annual Hawaii International Conference on System Sciences 5-8 January 2004, Hilton Waikoloa Village, Big Island of Hawaii, USA. Submission: June 1, 2003 (1-page Abstract: March 31)
- HICSS-AESS Mini-track on Adaptive and Evolvable Software Systems: Techniques, Tools, and Applications. Submission: June 1, 2003 (1-page Abstract: March 31)
PPAM 2003, Fifth International Conference on Parallel Processing and Applied Mathematics. Czestochowa, Poland, September 7-10, 2003. Submission: May 08, 2003
FGC'03 Foundations of Global Computing, 2nd EATCS Workshop, co-located with ICALP2003 28-29 June 2003, Eindhoven, The Netherlands Submission: 27 April, 2003
PACT'03 12th International Conference on Parallel Architectures and Compilation Techniques, September 27 - October 1, 2003 Chateau Sonesta Hotel, New Orleans, LA Submission: April 11, 2003
ECOOP 2003 European Conference on Object-Oriented Programming July 21-25, Darmstadt, Germany.
- POOSC03 Workshop on Parallel/High-Performance Object-Oriented Scientific Computing, July 22, 2003 Submission: April 8, 2003 (Abstract)
HLPP 2003 Second International workshop on High-level parallel programming and applications, Monday/Tuesday 16-17 June, 2003 Paris, France Submission: April 18, 2003
Program Transformation (SCP Special Issue) Special Issue of The Journal of the Science of Computer Programming Submission: April 1, 2003
RDP'03 Federated Conference on Rewriting, Deduction and Programming (RDP) Valencia, Spain, June 8 - 14, 2003, Federated Conference on Rewriting, Deduction and Programming Submission:
- WFLP'03 12th Int'l Workshop on Functional and (Constraint) Logic Programming June 12-13, 2003, Valencia (Spain) Submission: March 23, 2003
PaCT'03 Parallel Computing Technologies (PaCT-2003), Seventh International Conference, September 15-19, 2003, Nizhny Novgorod, Russia Submission (extended abstract): February 5, 2003
PLI03
- Haskell Workshop ACM SIGPLAN 2003 Haskell Workshop Uppsala, Sweden, August 28, 2003 Submission: May 22, 2003
- ICFP03 8th ACM SIGPLAN International Conference on Functional Programming (ICFP 2003) Uppsala, Sweden: 25-29 August 2003 Submission: March 20, 2003
- PPDP03 5th International Conference on Principles and Practice of Declarative Programming PPDP 2003 Uppsala, Sweden, 25th - 29th August, 2003 Submission: 29 March 2003
FCRC'03 2003 Federated Computing Research Conference, June 7-14, 2003, San Diego, California. Workshops:
- PLDI'03 ACM SIGPLAN Conference on Programming Language Design and Implementation
- PPoPP'03 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
- SAS'03 Static Analysis Symposium 2003 Submission: February 15, 2003
- LCTES'2003 ACM SIGPLAN 2003 Conference on Languages, Compilers, and Tools for Embedded Systems. June 11-13, 2003, San Diego, California, USA
PDPTA'03 International Conference on Parallel and Distributed Processing Techniques and Applications, June 23 - 26, 2003, Monte Carlo Resort, Las Vegas, Nevada, USA. Submission: February 17, 2003
HPDC-12 12th International Symposium on High Performance Distributed Computing Seattle, June 22-24 2003 Submission: February 4, 2003
EuroCast'03, International Conference on Computer Aided Systems Theory, February 24-28, 2003, Casa de Colón, Las Palmas de Gran Canaria, Canary Islands, Spain. Extended Abstract by: October 31, 2002
ICCS'03, 3rd International Conference on Computational Science, June 2-4 2003. Submission: December 10, 2002
ACSC, Australasian Computer Science Conference Adelaide, South Australia, 4 - 7 February, 2003. Submission: 6 September 2002
IFL'02, International Workshop on the Implementation of Functional Languages Madrid, Spain, September 16-18, 2002. Submission for draft proceedings: August 26, 2002
POPL'03, Symposium on Principles of Programming Languages New Orleans, LA, January 15-17, 2003. Submission: July 19, 2002.
- PADL'03, Practical Aspects of Declarative Languages, Submission: 31 July 2002
SBAC-PAD 2002, Symposium on Computer Architecture and High Performance Computing, Vitoria/ES - Brazil - October 28-30, 2002. Submission: June 25, 2002
CONCUR 2002, 13th International Conference on Concurrency Theory, August 20-23, 2002, Brno, Czech Republic. Satellite workshops:
- Foclasa, 1st International Workshop on Foundations of Coordination Languages and Software Architectures (Foclasa 2002), August 24, 2002, Brno, Czech Republic (Workshop affiliated to CONCUR'2002, 20 - 23 August 2002). Submission: May 25, 2002
SAS'02, International Static Analysis Symposium, September 17 - 20 2002, Madrid, Spain. Submission: May 5, 2002
PACT 2002, International Conference on Parallel Architectures and Compilation Techniques, Charlottesville, Virginia, September 22-25, 2002. Submission: March 26 (Abstracts), April 2 (Papers)
PLI'02, Principles, Logics and Implementations of High-Level Programming Languages, Pittsburgh, PA, USA, Oct 3-8, 2002, including:
- WAAAPL 2002, Workshop on Algorithmic Aspects of Advanced Programming Languages, Part of PLI'02, Pittsburgh, PA, USA. Submission: 3rd June 2002
- ICFP 2002, International Conference on Functional Programming October 4-6, 2002, Pittsburgh, PA, USA. Submission: 21 March, 2002
HPDC'02 High Performance Distributed Computing, Edinburgh, Scotland, July 24-26, 2002
VECPAR'02 High Performance Computing in Computational Science, Porto, Portugal, June 26-28, 2002.
WFLP'02 International Workshop on Functional and (Constraint) Logic Programming, Grado, Italy, June 20 - 22, 2002. Submission: March 20, 2002
ISC2002 International Supercomputer Conference, Heidelberg, June 19 - 22, 2002.
MPC 2002 - Sixth International Conference on Mathematics of Program Construction, 8 - 13 July 2002. Submission: 8 April 2002
Attached workshops:
- CMPP'02, 3rd International Workshop on "Constructive Methods for Parallel Programming", 10 July 2002, Dagstuhl, Germany.
- WCGP'02, IFIP TC2 Working Conference on Generic Programming, Dagstuhl, Germany, July 8 - July 13, 2002. Submission: February 16, 2002
FLOPS 2002, International Symposium on Functional and Logic Programming, University of Aizu, Aizu, Japan, September 15--17, 2002. Submission: March 8, 2002
HPDC-11 The International Symposium on Grid Computing July 24 - 26, 2002. Submission: February 22, 2002
Euro-Par 2002, Paderborn, Germany, August 27-30, 2002. February 8th, 2002
PLDI'02 Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17 - 19, 2002. Submission: November 16, 2001 Attached Workshops:
- ISMM 2002, Symposium on Memory Management, Berlin, Germany, June 20-21, 2002.
CCGrid 2002 IEEE International Symposium on Cluster Computing and the Grid, May 21 - 24, 2002, Berlin, Germany.
- DSM 2002, International Workshop on Distributed Shared Memory on Clusters. Submission: December 1, 2001
Coordination'02, Fifth International Conference on Coordination Models and Languages, York, UK, 8-11 April 2002. Deadline for submissions: Nov 9, 2001
ICCS'2002 International Conference on Computational Science, April 21 -- 24, 2002 Amsterdam, The Netherland. Submission: November 1, 2001
ETAPS 2002, April 8 - 12, 2002, Grenoble, France. Deadline for submissions: October 19, 2001
HIPS'02 7th International Workshop on High-Level Parallel Programming Models and Supportive Environments. (in conjunction with IPDPS 2002, Intl. Parallel and Distributed Processing Symposium, Ft. Lauderdale, April 15-19, 2002. Submission: September 21, 2001). Submission: November 21, 2001
SAC 2002 Symposium on Applied Computing, Special Track on Coordination Models, Languages and Applications, March 10-14, 2002, Madrid, Spain. Deadline for submission: September 1, 2001
IFL'01, 13th International Workshop on the Implementation of Functional Languages Stockholm, Sweden, September 24th - 26th, 2001. Submission for draft proceedings: Sep 1, 2001
SFP'01 3rd Scottish Functional Programming Workshop, August 22nd to 24th, 2001, University of Stirling, Scotland. Paper Submission: Aug 10, 2001
PADL'02 Fourth International Symposium on Practical Aspects of Declarative Languages, Portland, Oregon, USA, Jan 19-20, 2002. Co-located with POPL 2002 Deadline for submissions: Aug. 10, 2001
2001 Haskell Workshop, Firenze, Italy, 2nd September 2001. Deadline for submissions: June 1, 2001
ICFP'01
PPAM'2001, Fourth International Conference on Parallel Processing and Applied Mathematics, Naleczow, Poland September 9-12, 2001. Deadline for submissions: May 31, 2001
WFLP 2001, International Workshop on Functional and (Constraint) Logic Programming, Kiel, Germany September 13-15, 2001. Deadline for submissions: May 15, 2001
HPCN'01, University of Amsterdam, June 25--27, 2001.
CPC 2001, 9th Workshop on Compilers for Parallel Computers, June 27-29 Edinburgh, Scotland UK.
PACT'2001 International Conference on Parallel Architectures and Compilation Techniques, September 8-12, 2001, Barcelona, Catalunya, Spain
PPAM'2001 Fourth International Conference on Parallel Processing and Applied Mathematics, Naleczow, Poland, September 9-12, 2001. Deadline for submissions: May 15, 2001
HLPP2001, International workshop on High-level parallel programming and applications 26-27 March 2001, Université d'Orléans, France Deadline for submissions: Dec 22, 2000
HIPS'2001 6th International Workshop on High-Level Parallel Programming Models and Supportive Environment
EUROCAST'2001 (news) Deadline for submissions: Nov 17, 2000
POPL'2000 --- Principles of Programming Languages, January 19-21, 2000. Fairmont Hotel, Boston, MA, USA
PLDI'2000 --- Conference on Programming Language Design and Implementation, Vancouver, British Columbia, Canada, June 18-21, 2000.
SFP'2000 --- Second Scottish Functional Programming Workshop, University of St Andrews, Scotland, 26th -- 28th July, 2000.
EuroPar'2000 --- European Conference on Parallel Computing, Munich, Germany, August 29th -- September 1st, 2000.
IFL'2000 --- 12th International Workshop on the of Functional Languages, Aachen, Germany, Sept 4th - Sept 7th, 2000.
PACT'2000
CLUSTER'2000 --- IEEE International Conference on Cluster Computing, Technische Universität Chemnitz, Saxony, Germany, Nov 28 -- Dec 2, 2000.

Series of conferences

TFP Symposium on Trends in Functional Programming
ICFP The International Conference on Functional Programming
IFL
PLDI Programming Language Design and Implementation
PPDP Principles and Practice of Declarative Programming
CCGrid IEEE International Symposium on Cluster Computing and the Grid
EuroPar (EuroPar)
EAPLS European Association for Programming Languages and Systems
EACSL European Association for Computer Science Logic
ETAPS European Joint Conferences on Theory and Practice of Software (including ESOP, CC)
ICALP International Colloquium on Automata, Languages and Programming
ASE International Conference Automated Software Engineering

Workshops & Seminars

Informal workshops/seminars etc:

Past conferences

Impact Ratings

Summer Schools

UPMARC Summer School on Multicore Computing 2009, Uppsala, Sweden, 15-17 June, 2009
APPSEM05 Summer School International Summer School On Applied Semantics 2005 Frauenchiemsee, Germany, 8-12 September 2005
Marktoberdorf, Aug 2-14, 2005.
ESSLLI 2006 18th European Summer School in Logic, Language and Information ESSLLI 2006 31 July - 11 August, 2006, Malaga, Spain (ESSLLI general)
TypesSS05 TYPES Summer School 2005, Proofs of Programs and Formalisation of Mathematics August 15-26 2005, Goteborg, Sweden
PAT2005 Summer School on Program Analysis and Transformation Copenhagen, Denmark, 6.-10. June, 2005
FOSAD 2005 Fifth International School on Foundations of Security Analysis and Design 19-24 September 2005, Bertinoro, Italy
SFM-03:SA 3rd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture 22-27 September 2003 - Bertinoro (Italy). Submission: 06 June 2003
FOSAD 2002 Third International School on Foundations of Security Analysis and Design, 23-27 September 2002, Bertinoro, Italy
Advanced course on Principles of Program Analysis, 8 - 13 November 1998 at Schloss Dagstuhl, organised by Flemming Nielson, Hanne Riis Nielson, Chris Hankin.
Partial Evaluation: Practice and Theory, DIKU International Summer School '98, June 29 - July 10, 1998 (Jesper Jögensen)
Dagstuhl Conference Center

Hans-Wolfgang Loidl <hwloidl@cee.hw.ac.uk>

Last modified: Mon Jan 13 14:34:07 2014