http://www.cs.famaf.unc.edu.ar/~mpagano/cfp.htmlAnnouncemente of Call for Papershttp://qpq.csl.sri.com/vsr/vstte-08 Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments -- October 6--10, 2008 -- Toronto, Canada http://www.cse.yorku.ca/concur08August 19-22, 2008 -- Toronto, Canada -- 19th International Conference on Concurrency Theoryhttp://www.icfpconference.org/icfp2008Victoria, BC, Canada, 22-24 September 2008 -- ICFP 2008: International Conference on Functional Programming http://aiml08.loria.fr/ September 9-12, 2008 -- LORIA, Nancy, France -- AiML-2008 Advances in Modal Logic http://events.cs.bham.ac.uk/calculemus08/July 30-August 1, 2008 -- University of Birmingham, UK -- Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning, the interactive theorem provers or proof assistants (PA) and the automated theorem provers (ATP). http://www.st.cs.ru.nl/AFP_TFP_2008/May 26-28, 2008 -- Radboud University Nijmegen, The Netherlands -- Trends in Functional Programming 2008 http://places08.di.fc.ul.pt/June 7, 2008 - Oslo, Norway -- Programming Language Approaches to Concurrency and Communication-cEntric Softwarehttp://www.ru.is/icalp08/July 6 - 13, 2008 -- Reykjavik - Iceland -- 35th International Colloquium on Automata, Languages and Programming http://tools.ethz.ch/June 30 - July 4, 2008 -- ETH Zurich, Switzerland -- TOOLS EUROPE 2008 - 46th International Conference - Objects, Models, Components, Patterns http://www.aicanet.it/wcc2008/TCS2008cfp1.pdfSeptember 7-10, 2008 -- Milano, Italy -- 5th IFIP International Conference on Theoretical Computer Science (TCS-2008) http://www.dsic.upv.es/~sas2008 July 16-18, 2008 -- Valencia, Spain -- Static Analysis Symposium (co-located with LOPSTR 2008) http://www.cylab.cmu.edu/CSF2008/June 23-25, 2008 -- Pittsburgh, PA, USA, -- 21st IEEE Computer Security Foundations Symposium http://www/cs.kent.ac.uk/~rej/ismm2008 June 7-8, 2008 -- Tucson, Arizona, USA. -- International Symposium on Memory Management 2008 http://discotec08.ifi.uio.no/Coordination08/June 4 - 6, 2008 -- Oslo, Norway -- 10th International Conference on Coordination Models and Languages Member of the Confederated Conferences on Distributed Computing Techniques (DisCoTec 2008) http://www.cs.swan.ac.uk/cie08/June 15-20, 2008 -- University of Athens, Athens -- Computability in Europe 2008: Logic and Theory of Algorithms http://www.sei.ecnu.edu.cn/~fics08/June 3-6, 2008 -- Shanghai, China -- The First International Conference on Foundations of Informatics, Computing, and Software http://ecoop08.cs.ucy.ac.cy/July 7 - 11, 2008 -- Paphos, Cyprus -- European Conference on Object Oriented Programming http://csie.ntu.edu.tw/~tfit08Taipei, Taiwan, March 3-5, 2008 -- The Fourth Taiwanese-French Conference on Information Technology (TFIT 2008) http://www.grlmc.com/March 13 - 19, 2008 - Tarragona, Spain -- 2nd International Conference on Language and Automata Theory and Applications http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/April 14-16, 2008 -Ise, Japan -- International Symposium on Functional and Logic Programming http://www.acm.org/conferences/sac/sac2008/March 16 - 20, 2008, Fortaleza, Ceará, Brazil -- The 23rd ACM Symposium on Applied Computing http://www.ist.unomaha.edu/padl2008/January 7-8, 2008 -- San Francisco, USA -- Tenth International Symposium on Practical Aspects of Declarative Languages 2008 (Co-located with ACM POPL'08) http://www-sop.inria.fr/everest/tgc/tgc07November 5-6, 2007 - Sophia-Antipolis, France -- Trustworthy Global Computing 2007 http://www.cs.ucsd.edu/popl/08January 10-12, 2008 - San Francisco, California, USA -- ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages http://flint.cs.yale.edu/aplas2007/November 29 - December 1, 2007 - Singapore -- The Fifth ASIAN Symposium on Programming Languages and Systems http://www.fsttcs.org/New Delhi, India -- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science http://www.cs.kent.ac.uk/events/conf/2007/lopstr/22-24 August 2007, Kongens Lyngby, Denmark -- International Symposium on Logic-Based Program Synthesis and Transformation (co-located with SAS 2007) http://www.swa.hpi.uni-potsdam.de/dls07/October 22, 2007 - Montreal, Quebec, Canada -- Dynamic Languages Symposium 2007 (at ooPSLA 2007) http://www.yt.cs.titech.ac.jp/atva2007/October 22-24, 2007 - Tokyo, Japan -- Fifth International Symposium on Automated Technology for Verification and Analysis http://www.ulb.ac.be/di/formats07/ October 3-5, 2007 - Salzburg, Austria -- 5th International Conference on Formal Modelling and Analysis of Timed Systems (Co-Located with Embedded Systems Week) http://www.gpce.org/07/October 1-3, 2007 - Salzburg, Austria -- Sixth International Conference on Generative Programming and Component Engineering (co-located with ESWEEK'07) http://www.disp.uniroma2.it/ictcs07/October 3-6, 2007 - Rome, Italy -- The 10th Italian Conference on Theoretical Computer Science http://www.informatik.uni-bonn.de/~ralf/icfp07.htmlOctober 1-3, 2007 - Freiburg, Germany -- ICFP 2007: International Conference on Functional Programming http://concur07.di.fc.ul.pt/ September 4-7, 2007 - Lisbon, Portugal -- 18th International Conference on Concurrency Theory http://www.unil.ch/csl07/September 11-15, 2007 - Lausanne, Switzerland -- 16th EACSL Annual Conference on Computer Science and Logic http://www.comsec.spb.ru/mmm-acns07/September 13-15, 2007 - St. Petersburg, Russia -- International Conference "Mathematical Methods, Models and Architectures for Computer Networks Security" http://www.imm.dtu.dk/sas200722-24 August 2007 - Kongens Lyngby, Denmark -- Static Analysis Symposium (co-located with LOPSTR 2007) http://rsg.informatik.uni-kl.de/TPHOLs-200711-13 September 2007 - Kaiserslautern, Germany -- 20th International Conference on Theorem Proving in Higher Order Logics http://www.cs.bham.ac.uk/~mmk/events/MKM07/June 27-30, 2007 -Hagenberg, Austria -- Sixth International Conference on Mathematical Knowledge Management http://www.cadeconference.org/meetings/cade21July 17-20, 2007 (workshops July 15-16)- International University Bremen, Germany -- 21st International Conference on Automated Deduction http://www.loria.fr/~sustreto/stus07/August 6-17 2007 - Dublin, Ireland -- 19th European Summer School in Logic, Language and Information (ESSLLI 2007) Student Session http://www.ifm2007.orgJuly 2nd - 6th, 2007 - Oxford, UK -- Sixth International Conference on Integrated Formal Methods http://tableaux2007.univ-cezanne.fr/July 3-6, 2007 -Aix en Provence, France -- Automated Reasoning with Analytic Tableaux and Related Methods http://www.discotec07.cs.ucy.ac.cy/June 6 - 8, 2007 - Paphos, Cyprus -- 9th International Conference on Coordination Models and Languages: New directions in Coordination http://www.mat.unisi.it/newsito/cie07.htmlJune 18 - 23, 2007 - University of Siena - Siena, Italy -- Computability in Europe 2007: Computation and Logic in the Real World http://www.discotec07.cs.ucy.ac.cy/June 6 - 8, 2007 - Paphos, Cyprus -- 7th IFIP International Conference on Distributed Applications and Interoperable Systems "Towards Sustainability" http://www.discotec07.cs.ucy.ac.cy/June 6 - 8, 2007 - Paphos, Cyprus -- 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems http://www.lsv.ens-cachan.fr/rdp07/June 26-28, 2007 - Paris, France -- Typed Lambda Calculi and Applications (Part of RDP 07) http://www.math.tulane.edu/~mfps/April 11 - 14, 2007 - New Orleans (LA), USA -- 23rd Conference on the Mathematical Foundations of Programming Semantics http://2007.ecoop.org/ July 30 - August 3, 2007 - Berlin, Germany -- 21st European Conference on Object-Oriented Programming, ECOOP 2007 http://www.grammars.grlmc.com/LATA2007/ March 29 - April 4, 2007 - Tarragona, Spain -- 1st International Conference on Language and Automata Theory and Applications (LATA 2007) http://www.ares-conf.org/April 10 -April 13, 2007 - Vienna University of Technology, Austria -- The Second International Conference on Availability, Reliability and Security (AReS) ARES 2007 - "The International Security and Dependability Conference" http://www.doc.ic.ac.uk/tacas07/March 24 - April 1, 2007, Braga, Portugal -- Thirteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Part of ETAPS 2007) http://www2.in.tum.de/~seidl/fossacs07/(Part of ETAPS 2007) March 24 - April 1, 2007, Braga, Portugal -- Tenth International Conference on Foundations of Software Science and Computation Structures http://oops.disi.unige.it/OOPS07/March 11 - 15, 2007 -Seoul, Korea -- Object-Oriented Programming Languages and Systems Special Track at the 22nd ACM Symposium on Applied Computing, SAC 2007. http://www.cgo.orgMarch 11-14, 2007 -- San Jose, California (USA). -- Fifth Annual IEEE/ACM International Symposium on CODE GENERATION and OPTIMIZATION (CGO-5) http://fmco.liacs.nl/fmco06.htmlCWI, Amsterdam, The Netherlands - November 7 - 10, 2006 -- 5th International Symposium on Formal Methods for Components and Objects (Call for Tutorial Papers)