Conferences

• 2011:
  • 12th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2011), Austin, TX, USA, January 23-25, 2011.
  • 14th International Conference on Hybrid Systems: Computation and Control (HSCC 2011), Chicago, IL, USA, April 11-14, 2011.
  • 16th IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS 2011), Las Vegas, NV, USA, April 27-29, 2011.
• 2010:
  • 11th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2010), Madrid, Spain, January 17-19, 2010.
  • 19th European Symposium on Programming (ESOP 2010), Paphos, Cyprus, March 22-26, 2010.
• 2009:
  • 10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009), Savannah, GA, USA, January 18-20, 2009.
  • 12th International Conference on Hybrid Systems: Computation and Control (HSCC'09), San Francisco, April 15-17, 2009.
  • Structural Operational Semantics (SOS 2009), Bologna, Italy, August 31, 2009.
  • 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), Eindhoven, The Netherlands, November 2-3, 2009.
  • 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009), Hanoi, Vietnam, November 23-27, 2009.
  • The Tenth International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009.
  • The 12th International Conference on Hybrid Systems: Computation and Control (HSCC'09), San Francisco, April 15-17 2009
• 2008:
  • 6th IEEE International Conferences on Software Engineering and Formal Methods (SEFM 2008), Cape Town, South Africa, November 10-14, 2008.
  • The Ninth International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2008, San Francisco, USA, January 7-9, 2008.
  • 30 Years of Abstract Interpretation, San Francisco, USA, January 9, 2008.
  • The 35th Annual ACM SIGPLAN - SIGACT Symposium onPrinciples of Programming Languages, POPL 2008,San Francisco, USA, January 10-12, 2008.
  • The Ninth International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2008, San Francisco, USA, January 7-9, 2008.
  • FICS'2008, Shanghai, China, June 3-6, 2008.
  • First Workshop on Numerical Abstractions for Software Verification, Princeton, NJ, July 8th, 2008.
  • The 15th International Static Analysis Symposium (SAS 2008), Valencia, Spain, 16-18 July, 2008.
  • Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE'08, Toronto, Canada, 6th-9th of October 2008.
• 2007:
  • EMSOFT 2007, Salzburg, Austria, Oct. 1 - Oct. 3, 2007
  • 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007, London, UK. September 10-14, 2007.
  • 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering, June 5 - 8, 2007 Shanghai, China
  • TOOLS-EUROPE 2007, ETH Zurich, Switzerland, 24-28 June 2007.
  • Structural Operational Semantics 2007, SOS'07, Wroclaw, Poland, July 9, 2007
  • The 14th International Static Analysis Symposium SAS 2007 Kongens Lyngby, Denmark, 22-24 August 2007.
  • ESOP'07, Braga, Portugual, 26th - 30th March 2007
  • The Thirteenth ASTReNet Workshop on Formal Aspects of Source Code Analysis and Manipulation, BCS, London, UK, 21st March 2007. h - 30th March 2007.
  • POPL'07, Nice, France, January 17-19, 2007
• 2006:
  • Logic and Al orithms, Isaac Newton Institute for Mathematical Sciences at Cambridge, UK, May 8-12, 2006
  • PLDI'06, Ott awa, Canada, June 11-16, 2006.
  • EAAI 2006: International Workshop on Emerging Applications of Abstract Interpretation, March 26th 2006, Vienna, Austria
  • SAS'06, Seoul, Korea, 29-31 August 2006
  • ERTS2006: Embedded Real Time Software, Toulouse, 25/01/2006 to 27/01/2006
  • VMCAI'06, Charleston, South Carolina, U.S.A., January 8-10, 2006
  • APLAS'06, Sydney, A ustralia, November 8-10, 2006
  • ASIAN'06, Tokyo, Japan, Decem ber 6-8, 2006.
• 2005:
  • VSTTE 2005 (Zurich, 10-14 Oct, 2005)
  • APLAS 05, November 3-5, 2005 Tsukuba, Japan
  • VMCAI'05, 17-19 January 2005, Industrial day on Automatic Tools for Program Verification, 20 January 2005, NSAD'05, Paris, France, 21 January 2005, Paris, France.
  • ESOP'05, Edinburgh, Scotland, March 14-18, 2005
• 2004:
  • Topical day on abstract interpretation at WCC 2004, Toulouse, France, Tuesday 24 August 2004
  • SAS'04, Verona, Italy, 25-27 August, 2004
  • APLAS 2004, Taipei, Taiwan, November 4-6 2004
  • POPL'04, Venice, Ita ly, January 14-16, 2004
  • VMCAI' 04, Venice, Italy, January 11-13, 2004
  • Workshop on Robustness, Abstractions and Computations, Sunday March 28, 2004, University of Pennsylvania, Philadelphia, PA, USA (co-located with HSCC'04)
  • AVIS'04, Barcelona, Spain, 3r d-4th April 2004 (colocated with ETAPS'04
  • SAS'04, Verona, Italy, 25-27 August, 2004
  • Prole 2004, IV Jornadas de Programación y Lenguajes, Málaga, Espagne, 11-12 Nov. 2004.
• 2003:
  • FCRC'03, June 7-14, 2003, San Diego, California
    • PLDI'03
    • SAS'03
  • International Symposium on Verification (Theory & Practice), Zohar Manna Event, Sunday, June 29 - Friday, July 4, 2003, Taormina, Sicily, Italy
  • EJC Programmation, jeudi 29 mai 2003
  • VMCAI'03, January 9--11, 2003 Courant Institute of Mathematical Sciences, New York University, New York
  • 8^th EWSCS, Palmse, Estonia, March 2--7, 2003
  • ETAPS'03, April 5 - 13, 2003, Warsaw, Poland (ESOP'03)
  • SAS'03, part of FCRC'03, June 7-14, 2003, San Diego, California
• 2002:
  • AMAST'2002
  • ASIA-PEPM'02
  • FLOC'02 (CADE, CAV'02 (July 27-31, 2002), FME, ICLP'02, LICS, & and TABLEAUX))
  • LPAR'2002, October 14-18th, 2002, Tbilisi, Georgia
  • PADL'02, Jan 19-20, 2002, Portland, Oregon, USA
  • PEPM'02, Portland, Oregon, USA, January 14-15, 2002
  • ETAPS'2002, April 8 - 12, 2002, Grenoble, France; Conferences: CC 2002, FASE 2002,
  • MFPS 18, March 20 - March 26, 2002
  • ETAPS'02, April 6 - 14, 2002
    • CC 2002, 8 - 12 April 2002
    • SPIN 2002, April 11-13, 2002
    • FOSSACS 2002,
    • TACAS 2002,
    • events: ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN 2002, TPTS, VISS.
  • ISCA'2002
  • POPL'02, January 16-18, 2002
  • SAS'02 , 17 - 20 September 2002, Madrid, Spain
  • SARA-2002
  • SPIN 2002,
• 2001:
  • CHARME 2001, 4-7 September 2001
  • CMCS2001, 6-7 April 2001
  • CSL'01
  • Euro-Par 2001, August 28 - 31, 2001
  • EMSOFT 2001
  • ETAPS'2001 (CC 2001, ESOP 2001, FASE 2001, FOSSACS 2001, TACAS 2001), 2 - 6 April 2001
  • FEMSYS'2001, 21-23 March 2001, Forum der Technik, Deutsches Museum, Munich, Germany.
  • ICALP 2001
  • ICECCS 2001, June 11-13, 2001
  • ICLP'01, Nov 26 - Dec 1, 2001, Paphos, Cyprus
  • ICSM2'001, 6-10 November 2001
  • ICTCS0'1, October 4-6, 2001
  • JFPLC'2001, April 24-27, 2001  
  • LPAR 2001 (8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning December 3-7th, 2001, Havana, Cuba)
  • PACT 01, September 8-12, 2001
  • PADO II, 21-23 May 2001
  • PASTE '01, June 18-19, 2001
  • PLI 2001, 2-7 september 2001, Erlang workshop, September 2, 2001
  • POPL'01, 17-19 January, 2001 (CW'01, Jan. 16, 2001)
  • PPDP 2001, 5-7 September 2001
  • SPIN'2001, Toronto, 2001, May 19-20, 2001
  • Static Analysis Symposium, SAS'01, La Sorbonne, Paris, 16-18 July, 2001
  • SPIN'2001, May 19-20, 2001
  • SSGRR'2001, August 06 - 12, 2001 L'Aquila (Italy)
  • TACS 2001, October 29-31, 2001
• 2000:
  • LPAR'2000, La Réunion, 6-10 Nov. 2000
  • Journées ASPROM   
  • ICSSEA '2000
  • Dagstuhl Anniversary Conference, August 28-31, 2000
  • PLI'2000, Montréal, Canada, 17-22 sep 2000
  • LPAR'2000, La Réunion, November 11-12, 2000.
  • Workshop on Semantic Approximation, Granularity, and Vagueness, April 11, 2000, Breckenridge, Colorado, USA
  • SAS'2000, 29 June-1 July, 2000, Santa Barbara, USA
  • SARA'2000, July 26-29, 2000
  • SSGRR 2000, July 31-- August 6, 2000.
  • 2nd Workshop on Geometric and Topological Methods in Concurrency Theory, August 21, 2000.
  • Dagstuhl Anniversary Conference, August 28-31, 2000.
  • FICS, 22 and 23, 2000, Paris
  • SPIN'2000
  • AADEBUG'2000
  • CAV 2000
  • Concur 2000
  • CP'2000
  • Euro-Par 2000
  • FICS 2000
  • LICS'2000 (Call for papers)
  • PLI'2000: ICFP'2000 (Scheme and Functional Programming), PPDP 2000
  • POPL '00 & POPL'00 (Dynamo'00, FOOL 7, PADL'00, PEPM'00)
  • RTS'2000 20-30 mars 2000
  • SAS'2000
  • TCS'2000
  • WAGA'2000
• 1999:
  • FLoC'99 (CADE, CAV, LICS, RTA), June 30 - July 12, 1999 Trento, Italy
  • CSL'99 (EACSL
  • PEPM'99
  • CONCUR'99
  • ETAPS'99 (CC+ESOP+FASE+FOSSACS+TACAS)
  • FM'99: World Congress on Formal Methods
  • LOPSTR'99 (Venezia, Italy, 22-24 September 1999)
  • ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'99)
  • PEPM'99
  • POPL'99
  • SAS'99 (Venezia, Italy, 22-24 September 1999)
  • ECOOP Workshop FTfJP99, June 14 1999
• 1998:
  • AMAST'98
  • EAPLS'98
  • FMPPTA'98
  • FST & TCS '98
  • ICFP'98
  • ALP/PLILP 98, plilpalp98@cse.psu.edu
  • POPL'98
  • SAS'98 (Pisa, Italy), sas98@di.unipi.it, registration
• 1997:
  • AMAST'97 (Sydney, Australia)
  • CAV'97 (Haifa)
  • ESSLLI'97
  • Euro-Par'97
  • FMPPTA'97
  • FST & TCS
  • ICALP'97
  • ICFP'97 (International Conference on Functional Programming)
  • ILPS'97 (International Logic Programming Symposium)
  • LICS'97
  • MFPS'97 (Thirteenth Conference on the Mathematical Foundations of Programming Semantics)
  • PLILP/ALP/DPLE/HOA 1997
  • POPL'97 US, EU, local organization; Workshops: AAS'97, CW'97, DSL'97, FOOL'4 and meetings The LOMAPS meeting
  • RenPar9
  • SAS'97, International Static Analysis Symposium, Paris, 8-10 September 1997
  • SOSP'97 (16th ACM Symposium on Operating Systems Principles)
  • TACAS'97
  • TAPSOFT'97
  • Third Northeastern Conference on Topological Methods in Programming Language Semantics
  • WSFLP'97
• 1996:
  • ALP'96 / PLILP'96 / SAS'96 (SAS'96 call for papers)
  • CAAP'96 / CC'96 / ESOP'96
  • ESSLLI'96, European Summer School in Logic, Language, and Information, Prague, Aug. 12--23, 1996; Computation Programme (with courses on abstract interpretation).
  • JFPLC'96
  • CAV'96
  • LICS'96
  • MFPS'96
  • Workshop on "Program Correctness: abstract interpretation vs. classical verification methods", Venezia 10-12 June 1996.
  • Strategic Directions in Computing Research, MIT, June 14-15, 1996 (Programming Languages Working Group, P. Cousot Statement)
• 1995:
  • ADT'95
  • FPCA'95
  • GULP-PRODE'95
  • PLILP'95
  • SAS'95
  • Abstract Interpretation in Eilat - June 1995
• 1994:
  • ICCL'94
  • SAS'94
• 1993:
  • WSA'93
• 1992:
  • PLILP'92
• 1991:
  • ICLP'91
  • JTASPEFL/WSA'91

• How to Have Your Abstract Rejected

• WSL (World of congress) (Add Congress)
• ACM Calendar of Events
• EAPLS Calendar of Events
• InterNIC
• M. Leone at CMU
• DIKU
• The Fraunhofer-IAO Conference Announcement Archive
• LICS (IEEE Symposium on Logic in Computer Science)
• OOLP WWW Page
• ACM SIGPLAN
• Web Science Libraries Congress Calendar