http://www.cs.famaf.unc.edu.ar/~mpagano/cfp.htmlAnnouncemente of Call for Papers (Workshops)http://events.cs.bham.ac.uk/cicm08/workshops/plmms/Second Workshop on Programming Languages for Mechanized Mathematics (part of CICM / Calculemus 2008) -- 28-29 July 2008 - Birmingham, UK http://www.cs.purdue.edu/homes/wrigstad/iwaco08 International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (at ECOOP 2008) July 7 or 8, 2008 - Paphos, Cyprushttp://cl-informatik.uibk.ac.at/events/wrs08/8th International Workshop on Reduction Strategies in Rewriting and Programming -- July 14, 2008 - Castle of Hagenberg, Austria http://ice08.dimi.uniud.it/1st Interaction and Concurrency Experience Synchronous and Asynchronous Interactions in Concurrent Distributed Systems (Satellite workshop of ICALP 2008) -- July 6, 2008 - Reykjavik, Icelandhttp://www4.in.tum.de/~lfmtp/International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (Affiliated with LICS 2008) -- June 23, 2008 -- Pittsburgh, PA, USA, http://www.easychair.org/conferences/?conf=msfp2008Second Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING (A satellite workshop of ICALP 2008) -- July 6, 2008 - Reykjavik - Icelandhttp://compilers.cs.ucla.edu/spin0815th International SPIN Workshop on Model Checking of Software -- August 10-12, 2008 - Los Angeles, USA http://research.ihost.com/plas2008/ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (Co-located with PLDI'08) -- June 8, 2008 - Tucson, Arizona http://www.info.fundp.ac.be/MTCoord/4th International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (affiliated to DisCoTec) -- June 7, 2008 - Oslo, Norway http://www.cin.ufpe.br/~wollic/wollic2008/15th Workshop on Logic, Language, Information and Computation -- July 1-4, 2008 - Edinburgh, Scotland http://www.lang.osaka-u.ac.jp/~ogata/LENLS2008.htmlLogic and Engineering of Natural Language Semantics -- June 9-10, 2008 - Asahikawa Convention Bureau, Hokkaido, Japan http://www.cwi.nl/projects/cmcs08/9th International Workshop on Coalgebraic Methods in Computer Science April 4-6, 2008 -- Budapest, Hungary http://www.cs.cornell.edu/Conferences/space2008Fourth Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management - January 13, 2008 - San Francisco, California http://nicta.com.au/ssv08/3rd International Workshop on Systems Software Verification (SSV 08) Real Software, Real Problems, Real Solutions - February 25-26, 2008 - Sydney, Australia http://www.cliplab.org/Conferences/DAMP08Declarative Aspects of Multicore Programming - January 2008 - San Francisco, CA, USA http://fool08.kuis.kyoto-u.ac.jp/ 2008 International Workshop on Foundations of Object-Oriented Languages (Following POPL '08) -- January 13, 2008 - San Francisco, California, USA http://m4m.loria.fr/M4M55th Worskhop on "Methods for Modalities" -- November 29-30, 2007 - Ecole Normale Superieure de Cachan, France http://www.ifi.uio.no/flacos07First Workshop on Formal Languages and Analysis of Contract-Oriented Software -- 9-10 October, 2007 - Oslo, Norway http://www.ifi.uio.no/nwpt07 The 19th Nordic Workshop on Programming Theory -- October 10-12, 2007 - Oslo, Norway http://www.dcs.kcl.ac.uk/pg/cmu/plid07/The Third International Workshop on Programming Language Interference and Dependence -- 21 August, 2007, Kongens Lyngby, Denmark http://plosworkshop.org/2007/Fourth Workshop on Programming Languages and Operating Systems -- October 18, 2007 - Skamania Lodge / Stevenson, WA, USA http://sfp2007.ift.ulaval.ca/ 2007 Workshop on Scheme and Functional Programming -- September 30, 2007 - Freiburg, Germany http://www.dsi.uniroma1.it/~gorla/SecCo07/5th International Workshop on Security Issues in Concurrency (Affiliated to CONCUR 2007)--September 3rd, 2007 - Lisboa (Portugal) http://www.cs.ru.nl/~chaack/VAMP071st Workshop on Verification and Analysis of Multi-threaded Java-like Programs (a satellite workshop at Concur 2007) -- September 3, 2007 - Lisbon, Portugal http://express07.pps.jussieu.fr/14th International Workshop on Expressiveness in Concurrency EXPRESS'07 -- (Affiliated with CONCUR 2007) -- September 3, 2007 - Gulbenkian Foundation, Lisbon, Portugal http://www.mat.unb.br/lsfa2007Brazilian Workshop on Logical and Semantic Frameworks, with Applications (Satellite Event to SBMF'07) - August 28th, 2007 - Ouro Preto, Minas Gerais, Brazil -- http://www.sbras.ru/ws/domains/index.en.htmlJoint Workshop Domains VIII and Computability Over Continuous Data Types -- September 11 -- 15, 2007 - Novosibirsk, Russia http://www.csc.liv.ac.uk/~ftp07/ International Workshop on First-Order Theorem Proving -- September 12-13, 2007 - University of Liverpool, Liverpool, England (UK) http://www.cs.mcgill.ca/~bpientka/lfmtp07International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (Affiliated with CADE-21) -- July 16, 2007 - Bremen, Germany http://cs.nju.edu.cn/boyland/ftjp9th Workshop on Formal Techniques for Java-like Programs (in conjunction with ECOOP 2007) -- July 31, 2007 -Berlin, Germany http://www.cis.syr.edu/~royer/lcc/LCC07/Logic and Computational Complexity Workshop (satellite workshop of LICS'07) -- July 15, 2007 - Wroclaw, Poland http://www.pps.jussieu.fr/~danos/dcm07/Developments in Computational Models (satellite event of ICALP/LICS 2007) -- July 15, 2007 - Wroclaw, Poland http://www.rdp07.org/hor.html4th International Workshop on Higher-Order Rewriting (Part of RDP 2007) -- June 25, 2007 - Paris, France http://www.cas.mcmaster.ca/plmms07/Programming Languages for Mechanized Mathematics Workshop (part of Calculemus 2007) -- June 29-30, 2007 - Hagenberg, Austria http://www.rdp07.org/wst.html9th International Workshop on Termination (affiliated with RDP 2007) -- June 29, 2007 - Paris, France http://www.rdp07.org/secret.html2nd International Workshop on Security and Rewriting Techniques (affiliated with RDP 2007) -- June 29, 2007 - Paris, France http://www.illc.uva.nl/LORIWorkshop Logic, Rationality and Interaction -- August 5-9, 2007 - Beijing, China http://www.lix.polytechnique.fr/~dowek/tpr.htmlInternational Workshop on Type theory, proof theory, and rewriting -- June 29, 2007 - Paris, France, http://www.rdp07.org/pate.htmlProof Assistants and Types in Education (Part of RDP 2007) -- June 25, 2007 - Paris, France http://www.info.fundp.ac.be/MTCoord/3rd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems --June 4, 2007 - Paphos, Cyprus http://www.cs.umd.edu/~mwh/PLAS07/index.htmlACM SIGPLAN Workshop on Programming Languages and Analysis for Security (Co-located with PLDI'07) -- June 14, 2007 - San Diego, California. http://ls5-www.cs.uni-dortmund.de/~edelkamp/spin/14th International SPIN Workshop on Model Checking of Software -- July 1-3, 2007 - Berlin, Germany http://hylomol.ruc.dk/HyLo2007International Workshop on Hybrid Logic 2007 (part of ESSLLI) -- August 6-10, 2007 - Dublin, Ireland http://www.cs.swan.ac.uk/pcc07/The 6th International Workshop on Proof Theory, Computation, Complexity -- April 13-14, 2007 - Swansea, United Kingdom http://www.cin.ufpe.br/~wollic/wollic200714th Workshop on Logic, Language, Information and Computation -- July 2-5, 2007 - Rio de Janeiro, Brazil http://paste07.cs.washington.edu/7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (co-located with PLDI 2007, part of FCRC 2007) -- June 13-14, 2007 - San Diego, California http://www.dsi.unive.it/CSFW20/20th IEEE Computer Security Foundations Workshop (CSF) -- July 6 - 8, 2007 - Venice, Italy http://cs.shu.edu/tfp2007/Trends in Functional Programming 2007 -- April 2-4, 2007 - New York, USA http://www.cs.brown.edu/sites/finco07Foundations of interactive computation (satellite workshop of ETAPS 2007) -- March 31, 2007 -Braga, Portugal http://www.cs.iastate.edu/FOALFoundations of Aspect-Oriented Languages 2007 (affiliated with AOSD 2007) --13 March 2007 - Vancouver, British Columbia. http://www.termgraph.org.uk/ Workshop on Computing with Terms and Graphs (A satellite event of ETAPS 2007) -- March 31, 2007 - Braga, Portugal http://www.ares-conference.eu/conf/index.phpSecure Software Engineering (SecSE 2007) (Colocated with ARES) -- April 10 - April, 2007 -- Vienna University of Technology, Austria http://www.ares-conference.eu/conf/index.phpSecond International Workshop "Dependability Aspects on Data WArehousing and Mining applications" (DAWAM 2007) (Colocated with ARES) -- April 10 - April, 2007 -- Vienna University of Technology, Austria http://www.ares-conference.eu/conf/index.php Second Workshop on "Dependability and Security in e-Government" (DeSeGov 2007) (Colocated with ARES) -- April 10 - April, 2007 -- Vienna University of Technology, Austria http://www.cse.yorku.ca/qapl07 5th Workshop on Quantitative Aspects of Programming Languages(Satellite event of ETAPS 2007) -- March 24-25, 2007 - Braga, Portugal http://www.ares-conference.eu/conf/index.php Workshop on Foundations of Fault-tolerant Distributed Computing (FOFDC 2007) (Colocated with ARES) -- April 10 - April, 2007 -- Vienna University of Technology, Austria http://www.ares-conference.eu/conf/index.phpFirst International Workshop on Advances in Information Securit (Colocated with ARES) -- April 10 - April, 2007 -- Vienna University of Technology, Austria http://www.ares-conference.eu/conf/index.phpSecond International Workshop on Bioinformatics and Security (Colocated with ARES) -- April 10 - April, 2007 -- Vienna University of Technology, Austria http://www.ares-conference.eu/conf/index.phpSecond Workshop on Information Security Risk Management (Colocated with ARES) -- April 10 - April, 2007 -- Vienna University of Technology, Austria http://www.ares-conference.eu/conf/index.phpFirst International Workshop on Spoofing, Digital Forensics and Open Source Tools (Colocated with ARES) -- April 10 - April, 2007 -- Vienna University of Technology, Austria http://www.ares-conference.eu/conf/index.phpEvent-Based IT Systems, Modeling, Designing, and Testing Correct, Secure, and Dependable Event-Based System (Colocated with ARES) -- April 10 - April, 2007 -- Vienna University of Technology, Austria http://www.ares-conference.eu/conf/index.phpSecond International Workshop on Security and E-Learning (Colocated with ARES) -- April 10 - April, 2007 -- Vienna University of Technology, Austria http://www.ares-conference.eu/conf/index.phpDistributed Healthcare Availability, Reliability and Securit (Colocated with ARES) -- April 10 - April, 2007 -- Vienna University of Technology, Austria http://www.cs.cmu.edu/~damp/ DAMP 2007: Workshop on Declarative Aspects of Multicore Programming (colocated with POPL 2007) - 16 January 2007 - Nice, France. http://www.program-transformation.org/PEPM07ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (Co-located with POPL 2007) - January 15-16, 2007 - Nice, France http://www-lipn.univ-paris13.fr/~baillot/GEOCAL06/ICCworkshop.htmlWorkshop on Implicit Computational Complexity (as part of GEOCAL'06) -- February 13 - 17, 2006 - Marseille, Luminy (France) http://www.martes.org/2006/ Workshop on Modeling and Analysis of Real-Time and Embedded Systems -- October 2 or 3, 2006 - Genova, Italy