Meetings with Related Topics

For latest information on individual events, please consult the respective Web pages of the events in question.

Conferences and Workshops

Call for Papers (sorted by submission deadline)

• The 2005 International Symposium on Collaborative Technologies and Systems
• May 15-19, 2005, Saint Louis, Missouri, USA
• EXTENDED submission deadline: January 14, 2005
• Relevance: modeling and simulation of collaboration
• URL: http://www.engr.udayton.edu/faculty/wsmari/CTS05

• Workshop on Computational Methods in Systems Biology
• April 3-5, 2005, Edinburgh, Scotland
• Submission deadline: January 14, 2005
• Relevance: formal methods to analyse biomolecular systems; biologically-inspired extensions to concurrency theory, constraint programming or logical methods
• URL: http://homepages.inf.ed.ac.uk/v1bklin/cmsb05/

• 4th International Workshop on Efficient and Experimental Algorithms
• May 10-13, 2005, Santorini Island, Greece
• EXTENDED submission deadline: January 20, 2005
• Relevance: analysis of algorithms; simulation
• URL: http://ru1.cti.gr/wea05/

• First International Workshop on Performance Evaluation of Networks for Parallel, Cluster and Grid Computing Systems
• June 14-17, 2005, Oslo, Norway
• Submission deadline: January 21, 2005
• Relevance: simulation; performance evaluation
• URL: http://www.ipm.ac.ir/IPM/news/ViewNewsInfo.jsp?NTID=170

• 1st Conference on Algebra and Coalgebra in Computer Science
• September 3-6, 2005, Swansea, Wales, UK
• Submission deadline (abstract): January 21, 2005
• Submission deadline (full): January 31, 2005
• Relevance: calculi and models of concurrent, distributed, mobile, and context-aware computing; validation and verification
• URL: http://www.cs.swan.ac.uk/calco/

• 13th International Symposium on Formal Methods
• July 18-22, 2005, Newcastle upon Tyne, UK
• Submission deadline: January 24, 2005
• Relevance: various topics on formal methods
• URL: http://www.csr.ncl.ac.uk/fm05/

• International Workshop on Performance Modeling and Analysis of Communication in Parallel, Distributed, and Grid Networks
• July 20-22, 2005, Fukuoka, Japan
• EXTENDED submission deadline: January 24, 2005
• Relevance: simulation techniques; performance evaluation techniques
• URL: http://www.dcs.gla.ac.uk/~mohamed/pmac05/PMAC-PDG05.htm

• IEEE Conference on Automation Science and Engineering
• August 1-2, 2005, Edmonton, Canada
• Submission deadline: January 31, 2005
• Relevance: discrete event dynamic systems
• URL: http://www.ieee-case.org/

• 32nd International Colloquium on Automata, Languages and Programming
• July 11-15, 2005, , Lisboa, Portugal
• Submission deadline: February 13, 2005
• Relevance: models of concurrent, distributed, and mobile systems; logics, formal methods and model checking
• URL: http://icalp05.di.fct.unl.pt/

• The 2005 International Multiconference in Computer Science and Computer Engineering
• June 27-30, 2004, Las Vegas, Nevada, USA
• Submission deadline: February 16, 2005
• Relevance: PDPTA'05, SERP'05
• URL: http://www.world-academy-of-science.org

• 2005 International Workshop on the Applications of UML/MDA to Software Systems
• June 27-30, 2005, Las Vegas, Nevada, USA
• Submission deadline: February 16, 2005
• Relevance: formal specifications of UML models; UML and domain specific modeling languages
• URL: http://people.cs.und.edu/~reza/MUSS05/UML.htm

• The 2005 High Performance Computing & Simulation Conference
• June 1-4, 2005, Riga, Latvia
• EXTENDED submission deadline: February 17, 2005
• Relevance: applications of HPC systems and simulation
• URL: http://www.engr.udayton.edu/faculty/wsmari/hpc05

• The 2005 International Conference on Software Engineering Research and Practice
• June 27-30, 2005, Las Vegas, Nevada, USA
• Submission deadline: February 26, 2005
• Relevance: formal methods in software engineering
• URL: http://www.cs.und.edu/~reza/SERP05.htm

• Third IEEE International Conference on Software Engineering and Formal Methods
• September 7-9, 2005, Koblenz, Germany
• Submission deadline: March 18, 2005
• Relevance: integration of formal and informal methods
• URL: http://sefm2005.uni-koblenz.de

• ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems
• October 2-7, 2005, Montego Bay, Jamaica
• Submission deadline (abstract): March 21, 2005
• Submission deadline (full): April 4, 2005
• Relevance: model-driven development methodologies, approaches, and languages
• URL: http://www.modelsconference.org/

• Sixth International Workshop on Computational Logic in Multi-Agent Systems
• June 27-29, 2005, London, UK
• Submission deadline: April 7, 2005
• Relevance: formal approaches to multi-agent systems
• URL: http://clima.deis.unibo.it/

• Ninth Italian Conference on Theoretical Computer Science
• October 12-14, 2005, Siena, Italy
• Submission deadline: April 15, 2005
• Relevance: formal languages and automata; theory of concurrency
• URL: http://ictcs05.dsmi.unisi.it/

• CALCO Young Researchers Workshop
• September 2005, Swansea, UK
• Submission deadline (abstract): April 30, 2005
• Submission deadline (full): September 30, 2005
• Relevance: calculi and models of concurrent, distributed, mobile, and context-aware computing; validation and verification
• URL: http://www.cs.swan.ac.uk/calco-jnr/

• Argentine Symposium on Information Systems
• August 29, 2005, Rosario, Argentina
• Submission deadline: May 2, 2005
• Relevance: formal methods
• URL: Posting on mailing list

• 13th Annual Meeting of the IEEE / ACM* International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
• September 26-29, 2005, Atlanta, Georgia, USA
• EXTENDED submission deadline: May 13, 2005
• Relevance: modeling and simulation; analysis techniques and formal methods; performance analysis and validation techniques; discrete event simulation methodology and tools
• URL: http://www.masctos-conference.org

• 17th European Simulation Symposium and Exhibition
• October 20-22, 2005, Marseilles, France
• EXTENDED Submission deadline: May 18, 2005
• Relevance: simulation techniques to solve challenging problems
• URL: http://www.i-m-cs.org/ESS2005

• Graph Transformation for Verification and Concurrency, Satellite workshop to CONCUR 2005
• August 21-22, 2005, San Francisco, California, USA
• Submission deadline: June 5, 2005
• Relevance: application of concurrency theory to traditional questions of semantics and verification in graph transformation, and, vice versa, the application of graph transformation to process calculi and other models of concurrency
• URL: http://trese.cs.utwente.nl/gtvc2005

• Fifth International Workshop on Automated Verification of Critical Systems
• September 12-13, 2005, Warwick, UK
• Submission deadline: June 13, 2005
• Relevance: specification, model checking, verification, case studies
• URL: http://www.dcs.warwick.ac.uk/~avocs05

• Workshop on Visual Modeling for Software Intensive Systems at the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)
• September 24, 2005, Dallas, Texas, USA
• Submission deadline: June 20, 2005
• Relevance: modeling, analysis, and validation of software intensive systems
• URL: http://vmsis05.upb.de/

• 7th International Workshop on Performability Modeling of Computer and Communication Systems
• September 23-24, 2005, Torino, Italy
• Submission deadline:June 20, 2005
• Relevance: topics in integrated performance and dependability modeling, with emphasis on bridging theory and practice
• URL: http://www.di.unito.it/~horvath/PMCCS

• 3rd International Conference on Service-Oriented Computing
• December 12-15, 2005, Amsterdam, the Netherlands
• Submission deadline:July 1, 2005
• Relevance: web services and service oriented computing, from theoretical and foundational results to empirical evaluations as well as practical and industrial experiences
• URL: http://www.icsoc.org/

• 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems
• October 13-14, 2005, Paderborn, Germany
• Submission deadline: July 15, 2005
• Relevance: modeling (of embedded real-time systems)
• URL: http://omer3.uni-paderborn.de

• Workshop Enterprise Modelling and Information Systems Architectures
• October 24-25, 2005, Klagenfurt, Austria
• Submission deadline: August 8, 2005
• Relevance: Modelling and Validation, Analysis, Verification of Models
• URL: www.wi-inf.uni-essen.de/emisa2005

• International Conference on Computational Intelligence for Modelling, Control and Automation
• November 28-30, 2005, Vienna, Austria
• Submission deadline: August 31, 2005
• Relevance: modelling
• URL: http://www.ise.canberra.edu.au/conferences/cimca05/

• International Conference on Intelligent Agents, Web Technologies and Internet Commerce
• November 28-30, 2005, Vienna, Austria
• Submission deadline: August 31, 2005
• Relevance:
• URL: http://www.ise.canberra.edu.au/conferences/iawtic05/

• Workshop Methods for Modalities 2005
• December 1-2, 2005, Berlin - Adlershof, Germany
• Submission deadline: September 1, 2005
• Relevance: algorithms, verification methods and tools based on modal logic
• URL: http://m4m.loria.fr/

• 13th GI/ITG Conference on Measurement, Modeling and Evaluation of Computer and Communication Systems
• March 27-29, 2006, Nürnberg, Germany
• Submission deadline: October 1, 2005
• Relevance: Stochastic Petri Nets (among others).
• URL: http://www.mmb2006.org

• 12th. International Conference on Tools and Algorithms for the Construction and Analysis of Systems
• March 27-31, 2006 , Vienna ,Austria
• Submission deadline: October 14, 2005
• Relevance: Specification and verification techniques for finite and infinite state systems
• URL: http://depend.cs.uni-sb.de/tacas06

• 39th Annual Simulation Symposium
• April 2-6, 2006, Huntsville, AL
• Submission deadline: October 30, 2005 (extended)
• Relevance: all areas of modeling and simulation are welcome
• URL: http://agent.csd.auth.gr/~karatza/ANSS39

• 4th Symposium on Design, Analysis, and Simulation of Distributed Systems
• April 2-6, 2006, Huntsville, Alabama, USA
• Submission deadline: October 31, 2005.
• Relevance: One of the major topics is Petri Net modelling.
• URL: http://wwwteo.informatik.uni-rostock.de/DASD

• 12th IFAC Symposium on Information Control Problems in Manufacturing
• May 17-19, 2006, Saint-Etienne, France
• Submission deadline: November 15, 2005
• Relevance: Special session on Petri Nets and the e-enterprise
• URL: http://www.emse.fr/incom2006

• 9. Fachtagung Entwurf komplexer Automatisierungssysteme
• 29-31 May, 2006, Braunschweig, Germany
• Submission deadline: November 25, 2005
• Relevance: modeling (i.e. Petri nets)
• URL: http://www.iva.ing.tu-bs.de/eka

• 13th International SPIN Workshop on Model Checking of Software
• March 30 - April 1, 2006, Vienna, Austria
• Submission deadline: December 2, 2005
• Relevance: state space-based techniques for the validation and analysis of software and hardware systems, including communication protocols
• URL: http://www.cs.tut.fi/SPIN2006/

• 5th International Workshop on Graph Transformation and Visual Modeling Techniques (A satellite event of ETAPS 2006)
• April 1-2, 2006, Vienna, Austria
• Submission deadline: December 12, 2005
• Relevance: graph-based notation, techniques and tools for the specification, modeling, validation, manipulation and verification of complex systems like Petri nets
• URL: http://www.inf.mit.bme.hu/GT-VMT2006

• 4th Conference on Communication Networks and Services Research
• May 23-25, 2006, Moncton, New Brunswick
• Submission deadline: January 5, 2006 (extended)
• Relevance: -
• URL: http://www.cnsr.info

• 4th Workshop on Quantitative Aspects of Programming Languages
• April 1-2, 2006, Vienna, Austria
• Submission deadline: December 22, 2005 (extended)
• Relevance: performance analysis
• URL: http://www.di.unipi.it/~qapl06/

• 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
• May 23-24, 2006, Paphos, Cyprus
• Submission deadline: January 16, 2006
• Relevance: Petri Nets (business/industry applications), Business process modelling & simulation, Workflow modelling and simulation, Information systems modelling
• URL: http://www.iceis.org

• IEEE International Conference on Pervasive Services 2006
• June 26-29, 2006, Lyon, France
• Submission deadline: January 23, 2006
• Relevance:
• URL: http://www.ens-lyon.fr/LIP/RESO/icps2006/

• High Performance Computing & Simulation Conference
• May 28-31, Bonn, Germany
• Submission deadline: January 30, 2006
• Relevance: modeling and simulation, design and use of high performance and large scale computing systems
• URL: http://www.engr.udayton.edu/faculty/wsmari/hpc06

• First International Workshop on Coordination of Inter-Organizational Workflow: Agent and Semantic Web based Models
• May 8-12, 2006, Hakodate, Japan (within AAMAS'06)
• Submission deadline: February 1, 2006
• Relevance: workflow
• URL: http://www.irit.fr/ciow

• Computability in Europe 2006: Logical Approaches to Computational Barriers
• June 30 - July 5, 2006, Swansea University, UK
• Submission deadline: February 9, 2006
• Relevance: computability
• URL: http://www.cs.swansea.ac.uk/cie06/

• 30th Annual International Computer Software and Applications Conference
• September 18-21, 2006, Chicago, US
• Submission deadline: February 20, 2006 (abstracts until February 6)
• Relevance:
• URL: http://conferences.computer.org/compsac/2006/

• The 2006 International Conference on Software Engineering Research and Practice
• June 26-29, 2006, Monte Carlo Resort, Las Vegas, Nevada, USA
• Submission deadline: February 20, 2006
• Relevance: formal methods in software engineering
• URL: http://www.cs.und.edu/~reza/SERP06.htm

• The 2006 International Conference on Programming Languages and Compilers
• June 26-29, 2006, Las Vegas, Nevada, USA
• Submission deadline: February 20, 2006
• Relevance:
• URL: http://www.cs.und.edu/~reza/PLC06.html

• 3rd European Performance Engineering Workshop
• June 21-22, 2006, Budapest, Hungary
• Submission deadline: March 8, 2006 (extended)
• Relevance: Stochastic Petri Nets
• URL: http://webspn.hit.bme.hu/~epew2006

• 2006 3rd International Workshop on the Applications of UML/MDA to Software Systems
• June 26-29, 2006, Las Vegas, Nevada, USA
• Submission deadline: February 23, 2006
• Relevance: formal specifications of UML models; UML and domain specific modeling languages
• URL: http://www.cs.und.edu/~reza/MUSS06/UML.htm

• 2nd Workshop on Quality Assurance and Software Testing
• June 26-29, 2006, Las Vegas, Nevada, USA
• Submission deadline: February 23, 2006
• Relevance: Formal Verification methods for component-based software engineering
• URL: http://people.cs.und.edu/~reza/QAST-06/QAST06.htm

• 14th International Symposium on Formal Methods
• August 21-27, 2006, McMaster University, Hamilton, Ontario, Canada
• Submission deadline: February 24, 2006 (technical papers, workshops, tutorials)
  May 22, 2006 (posters and tools, doctoral symposium)
• Relevance: various topics on formal methods
• URL: http://fm06.mcmaster.ca

• Invited session on Performance Evaluation and Analysis of Petri Net Time Extensions and special session on Discrete Event modelling for exploitation of transport systems for CESA'06 the multiconference on Computational Engineering in Systems Applications
• October 4-6, 2006, Beijing, China
• Submission deadline: March 1, 2006 (draft papers)
• Relevance: Petri Nets and especially time extensions. Theorem proofs and computational issues will be particulary welcome.
• URL: http://cesa2006.ec-lille.fr

• 2006 IEEE Symposium on Visual Languages and Human-Centric Computing
• September 4-8, 2006, Brighton, UK
• Submission deadline: March 10, 2006
• Relevance: Business Processes Modeling
• URL: http://www.cmis.brighton.ac.uk/vlhcc

• Workshop on Logics for Resource Bounded Agents 2006
• August 7-11, 2006, Malaga, Spain
• Submission deadline: March 8, 2006
• Relevance:
• URL: http://www.cs.nott.ac.uk/~nza/LRBA06/

• Workshop on Rationality and Knowledge
• August 7-11, 2006, Malaga, Spain
• Submission deadline: March 8, 2006
• Relevance:
• URL: http://esslli2006.lcc.uma.es/

• 25th International Conference on Computer Safety, Reliability and Security
• September 26-29, 2006, Gdansk, Poland
• Submission deadline:March 10, 2006
• Relevance: -
• URL: http://kio.pg.gda.pl/safecomp2006

• 8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming
• July 10-12, 2006, Venice, Italy
• Submission deadline: March 15, 2006
• Relevance: visual programming, AI and Knowledge Representation Languages, Concurrent Extensions to Declarative Languages
• URL: http://www.dsi.unive.it/ppdp2006

• International Workshop on Visual Languages and Computing
• August 30 - September 1, 2006, Grand Canyon, USA
• Registration deadline: March 30, 2006
• Relevance: visual computing
• URL: http://www.labgis.dmi.unisa.it/VLC06/

• 11th International Conference on Implementation and Application of Automata
• August 21-23, 2006, Taipei, Taiwan
• Submission deadline: March 31, 2006
• Relevance: Computer-aided verification, Concurrency, formal methods
• URL: http://cobra.ee.ntu.edu.tw/ciaa2006/

• 13th ISPE International Conference on Concurrent Engineering: Research and Applications
• September 18-22, 2006, Ambassadeur Hotel, Antibes, French Riviera
• Submission deadline: March 31, 2006
• Relevance: many topics centered around concurrency
• URL: http://www.ce2006.org

• I-Know 2006 Special Track on Business Process Oriented Knowledge Infrastructures 2006
• September 6, 2006, Graz, Austria
• Submission deadline: April 17, 2006 (extended)
• Relevance: workflow
• URL: http://www.i-know.at/BPOKI

• I-Know 2006 - 6th International Conference on Knowledge Management
• September 6 - 8, 2006, Graz, Austria
• Submission deadline: April 17, 2006 (extended)
• Relevance: knowledge management, project management
• URL: http://www.i-know.at

• First International Conference on Performance Evaluation Methodologies and Tools
• October 11-13, 2006, Pisa, Italy
• Submission deadline: May 2, 2006 (extended)
• Relevance: Petri nets as discrete event systems
• URL: http://www.valuetools.org/

• Workshop on Interdisciplinary Systems. Approach in Performance Evaluation and Design of Computer & Communication Systems
• October 14, 2006, Pisa Italy
• Submission deadline: April 10, 2006
• Relevance: -
• URL: http://www.inter-perf.org

• 3rd International Conference on Graph Transformation
• September 17-22, 2006, Natal, Rio Grande do Norte, Brazil
• Submission deadline (title and abstract):April 10, 2006
• Submission deadline (complete paper):April 14, 2006
• Relevance: graphs, graph transformation, theoretical and practical issues
• URL: http://www.dimap.ufrn.br/icgt2006

• 2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems
• June 14-16, 2006, Bologna, Italy
• Submission deadline:April 14, 2006 (extended)
• Relevance: model checking techniques and compositional and refinement-based methodologies
• URL: http://www.discotec06.cs.unibo.it/index.htm

• 6th International Workshop on Innovative Internet Community Systems
• June 26-28, 2006, Neuchatel, Switzerland
• Submission deadline:April 24, 2006 (extended)
• Relevance: distributed simulation models, graph theory
• URL: http://www.i2cs-conference.org

• 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems
• September 26-29, 2006, Paris, France
• Submission deadline: April 25, 2006 (short abstracts due to April 18) (extended)
• Relevance: theoretical aspects and use of formal methods, semantics of domain specific languages
• URL: http://forte2006.cnam.fr

• International Conference on Formal Methods in Computer-Aided Design
• November 12-16, 2006, San Jose, California
• Submission deadline: April 24, 2006
• Relevance: theory and applications of formal methods in hardware and system verification
• URL: http://fmcad.org/2006

• 3rd International Colloquium on Theoretical Aspects of Computing
• November 20-24, 2006, Tunisia, Gammarth/Tunis
• Submission deadline:May 8, 2006 (extended)
• Relevance: models of object and component systems,
  integration of formal and engineering methods,
  models of concurrency
  
• URL: http://www.iist.unu.edu/ICTAC2006

• First International Conference on Communications and Networking in China
• October 25-27, 2006, Beijing, China
• Submission deadline:May 1, 2006
• Relevance: many aspects of communications, networks and internet applications
• URL: http://www.chinacom.org

• First International Workshop on Agent Technology and Autonomic Computing
• September 18-21, 2006, Erfurt, Germany
• Submission deadline:May 15, 2006
• Relevance:
• URL: http://www.netobjectdays.org/en/conf/atac.html

• 3rd International Workshop on Rapid Integration of Software Engineering techniques
• September 13-15, 2006, University of Geneva, Switzerland
• Submission deadline:May 19, 2006 (extended)
• Relevance: novel software engineering approaches
• URL: http://smv.unige.ch/rise06

• Second Workshop on Graph Transformation for Verification and Concurrency, Satellite workshop of CONCUR 2006
• August 31, 2006, Bonn, Germany
• Submission deadline: May 22, 2006
• Relevance: application of concurrency theory to traditional questions of semantics and verification in graph transformation, and, vice versa, the application of graph transformation to process calculi and other models of concurrency
• URL: http://www.fmi.uni-stuttgart.de/szs/events/gtvc2006/

• 8th International Conference on Formal Engineering Methods
• October 29 - November 3, 2006, Macao SAR, China
• Submission deadline:May 26, 2006 (extended)
• Relevance: scale up formal methods and integrate them into engineering development processes for the correct construction and maintenance of computer systems
• URL: http://www.iist.unu.edu/icfem06

• 14th International Symposium on Formal Methods
• August 21-27, 2006, Hamilton, Canada
• Submission deadline: May 26, 2006
• Relevance: various topics on formal methods;
  features a Doctoral Symposium this year
• URL: http://fm06.mcmaster.ca/

• 5th International Workshop on Parallel and Distributed Methods in Verification
• August 31, 2006, Bonn, Germany
• Submission deadline:June 2, 2006 (abstracts due to May 26)
• Relevance: parallel and distributed methods, software platforms for distributed verification
• URL: http://pdmc.informatik.tu-muenchen.de/PDMC06/

• 11th International Workshop on Formal Methods for Industrial Critical Systems
• August 26-27, 2006, Bonn, Germany
• Submission deadline: June 5, 2006 (abstracts due to May 26)
• Relevance: development and application of formal methods in industry
• URL: http://fmics06.informatik.tu-muenchen.de

• Workshop Formal Methods in the Teaching Lab
• August 26, 2006, McMaster University, Hamilton, Ontario, Canada
• Submission deadline: June 9, 2006
• Relevance: formal methods in teaching
• URL: http://www.di.uminho.pt/FME-SoE/FMEd06

• International Workshop on Software Certification
• August 26-27, 2006, McMaster University, Hamilton, Ontario, Canada
• Submission deadline:June 16, 2006 (extended)
• Relevance:
• URL: http://fm06.mcmaster.ca/certsoft

• 4th International Conference on Service-Oriented Computing
• December 4-7, 2006, Chicago, USA
• Submission deadline:June 19, 2006 (abstracts due to June 12)
• Relevance: web services and service oriented computing, from theoretical and foundational results to empirical evaluations as well as practical and industrial experiences
• URL: http://www.icsoc.org/

• 19th Symposium on Simulation Technique
• September 12-14, 2006, University of Hanover, Germany
• Submission deadline: June 19, 2006.
• Relevance: siumulation
• URL: http://www.sim.uni-hannover.de/asim2006/index.html

• 1st Asian Working Conference on Verified Software
• October 29-31, 2006, Macao SAR, China
• Submission deadline:July 10, 2006
• Relevance:
• URL: http://www.iist.unu.edu/www/workshop/AWCVS2006/

• International Workshop on Middleware and Performance
• December 1-4, 2006, Sorrento, Italy
• Submission deadline: July 10, 2006
• Relevance:
• URL: http://womp.uib.es/

• 8th International Middle Eastern Simulation Multiconference
• August 28-30, 2006, Alexandria, Egypt
• Submission deadline: July 15, 2006 (abstracts due to April 5)
• Relevance: modelling and simulation
• URL: http://biomath.ugent.be/~eurosis/conf/mesm/mesm2006/index.html

• 2nd International Workshop on Automated Specification and Verification of Web Systems
• November 15-19, 2006, Cyprus
• Submission deadline: July 16, 2006 (abstracts due to July 3)
• Relevance:
• URL: http://www.dsic.upv.es/workshops/wwv06

• International Conference on Intelligent Agents, Web Technologies and Internet Commerce
• November 28-30, 2006, Sydney, Australia
• Submission deadline: July 27, 2006
• Relevance:
• URL: http://www.ise.canberra.edu.au/conferences/iawtic06/

• Sixth International Workshop on Software and Performance
• February 5-8, 2007, Buenos Aires, Argentina
• Submission deadline: July 31, 2006
• Relevance: modelling tools and techniques; performance measurement, modelling, and management for software systems
• URL: http://www.wosp-conference.org/

• 1st International Workshop on Formal Methods for Interactive Systems
• October 31, 2006, Macau SAR China
• Submission deadline: August 6, 2006 (extended)
• Relevance:
• URL: http://fmis.iist.unu.edu/

• International Conference on Computational Intelligence for Modelling, Control and Automation
• November 28 to December 1, 2006, Sydney, Australia
• Submission deadline: July 27, 2006 (extended)
• Relevance: modelling
• URL: http://www.ise.canberra.edu.au/conferences/cimca06/

• 6. Symposium Formal Methods for Automation and Safety in Railway and Automotive Systems
• Januar 25-26, 2007, Braunschweig, Germany
• Submission deadline: September 29, 2006 (for extended abstracts)
• Relevance: Formal description means and methods (e.g. Petri Nets)
• URL: http://www.Forms-Format.net

• 6th Conference on Aspect-Oriented Software Development
• March 12 - 16, 2007, Vancouver, British Columbia
• Submission deadline:September 29, 2006 (abstracts due to September 22)
• Relevance: The program committee especially welcomes submissions from researchers in Petri nets on any topic relating to aspect-oriented composition of petri nets
• URL: http://www.aosd.net/2007/cfc/research.php

• Tenth International Conference on Foundations of Software Science and Computation Structures
• March 24 - April 1, 2007, Braga, Portugal
• Submission deadline: October 13, 2006 (abstracts due to October 6)
• Relevance: models of concurrent, reactive, distributed, and mobile systems, verification of programs and software systems
• URL: http://www2.in.tum.de/~seidl/fossacs07/

• 3rd International Workshop on Automated Specification and Verification of Web Systems
• December 14, 2007, San Servolo island, Venice, Italy
• Submission deadline: October 21, 2007 (abstracts due to October 14)
• Relevance:
• URL: http://wwv07.dimi.uniud.it/

• 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software
• March 31, 2007, Braga, Portugal
• Submission deadline: October 23, 2006
• Relevance: This workshop focuses on the theoretical and practical aspects related with the adoption of MDA and other MBD methodologies (notation, process, methods, and tools) for supporting the construction of computer-based systems, and more specifically, pervasive and embedded software.
• URL: http://www.di.uminho.pt/mompes

• 40th Annual Simulation Symposium
• March 26-28, 2007, Norfolk, VA
• Submission deadline: October 30, 2006 (extended)
• Relevance: all areas of modeling and simulation are welcome
• URL: http://agent.csd.auth.gr/~karatza/ANSS40

• International Conference on Measurement and Modeling of Computer Systems
• June 12-16, 2007, San Diego, California
• Submission deadline: November 3, 2006 (abstracts due to October 27)
• Relevance: modeling
• URL: http://www.cs.cmu.edu/~sigm07/

• 1st International Conference on Language and Automata Theory and Applications
• March 29 - April 4, 2007, Tarragona, Spain
• Submission deadline: November 30, 2006
• Relevance: LATA 2007 intends to become a major yearly conference in theoretical computer science and its applications. LATA 2007 will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).
• URL: http://www.grlmc.com

• 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering
• June 6-8, 2007, Shanghai, China
• Submission deadline: January 28, 2007 (extended)
• Relevance: Model-driven Development; Component-based Development; Specification and Validation
• URL: http://www.sei.ecnu.edu.cn/TASE2007/

• Computability in Europe 2007: Computation and Logic in the Real World
• June 18 - 23, Siena, Italy
• Submission deadline: January 12, 2007
• Relevance: computability
• URL: http://www.mat.unisi.it/newsito/cie07.html

• 14th Annual European Concurrent Engineering Conference
• April 25 - 27, Delft, The Netherlands
• Submission deadline: January 20, 2007 (February 20 for late submission)
• Relevance: concurrency
• URL: http://85.255.195.219/cms/?q=node/123

• First International Workshop on Verification and Evaluation of Computer and Communication Systems
• May 5 - 6, Algiers
• Submission deadline: January 31, 2007
• Relevance: Simulation techniques of discrete-event systems, abstraction techniques
• URL: http://www.isps2007.org/VECoS/site/home.php

• The 2007 International Conference on Software Engineering Research and Practice
• June 25-28, 2007, Monte Carlo Resort, Las Vegas, Nevada, USA
• Submission deadline: February 20, 2007
• Relevance: formal methods in software engineering
• URL: http://www.cs.und.edu/~reza/SERP07.html

• 5th Annual Industrial Simulation Conference
• June 11-13, 2007, Delft, The Netherlands
• Submission deadline: February 25, 2007
• Relevance: simulation
• URL: http://www.tudelft.nl

• 14th Workshop on Logic, Language, Information and Computation
• July 2-5, 2007, Rio de Janeiro, Brazil
• Submission deadline: March 2, 2007 (February 23 for paper title and abstract)
• Relevance: inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
• URL: http://www.cin.ufpe.br/~wollic/wollic2007

• 2007 IEEE Symposium on Visual Languages and Human-Centric Computing
• September 22-26, 2007, Coeur d'Alene, Idaho, USA
• Submission deadline: March 20, 2007 (abstracts due to March 6)
• Relevance: Software visualization and algorithm animation; Model-driven engineering
• URL: http://vlhcc07.eecs.wsu.edu/

• Second International Conference on Performance Evaluation Methodologies and Tools
• October 23-25, 2007, Nantes, France
• Submission deadline: April 20, 2007 (extended)
• Relevance: Petri nets as discrete event systems
• URL: http://www.valuetools.org/

• 2nd Conference on Algebra and Coalgebra in Computer Science
• August 20-24, 2007, Bergen, Norway
• Submission deadline (abstract): January 28, 2007
• Submission deadline (full): February 7, 2007 (technical paper, February 17 for Tools Day submission)
• Relevance: calculi and models of concurrent, distributed, mobile, and context-aware computing; validation and verification
• URL: http://www.ii.uib.no/calco07/

• First IEEE International Workshop on Software Patterns: Addressing Challenges
• July 24-27, 2007, Beijing, China
• Submission deadline: February 23, 2007
• Relevance: patterns
• URL: http://conferences.computer.org/compsac/2007/workshops/SPAC

• 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems
• June 26-29, 2007, Tallinn University of Technology, Estonia
• Submission deadline: March 4, 2007 (extended)
• Relevance: use of formal methods (formally based design of communication protocols, formal verification); theoretical and practical aspects of formal methods
• URL: http://cs.ttu.ee/FORTE07

• 2nd International Workshop on Middleware and Performance
• August 28 - September 1, 2007, Niagara Falls, ON, Canada
• Submission deadline: April 1, 2007
• Relevance:
• URL: http://womp.uib.es

• I-Know 2007 - 7th International Conference on Knowledge Management
• September 5 - 7, 2007, Graz, Austria
• Submission deadline: May 21, 2007 (extended)
• Relevance: knowledge management, project management
• URL: http://www.i-know.at

• Special Session on Behavioural Models for Embedded Systems
• July 4 - 6, 2007, Lisbon, Portugal
• Submission deadline: April 4, 2007
• Relevance: different formalisms for behavioural models
• URL: http://www.uninova.pt/sies2007

• CALCO Young Researchers Workshop
• August 20, 2007, Bergen, Norway
• Submission deadline (abstract): April 10, 2007
• Submission deadline (full): September 30, 2007
• Relevance: calculi and models of concurrent, distributed, mobile, and context-aware computing; validation and verification
• URL: http://www.ii.uib.no/calco07/

• 15th Annual Meeting of the IEEE / ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
• October 24-26, 2007, Istanbul, Bogazici University, Istanbul, Turkey
• Submission deadline: May 11, 2007 (extended!)
• Relevance: modeling and simulation; analysis techniques and formal methods; performance analysis and validation techniques; discrete event simulation methodology and tools
• URL: http://www.masctos-conference.org

• 3rd IEEE Conference on Automation Science and Engineering
• September 22-25, 2007, Scottsdale, Arizona, U.S.A
• Submission deadline: April 30, 2007
• Relevance: discrete event dynamic systems; Track of Planning, Scheduling, and Coordination
• URL: http://www.ieee-case.org/

• International Workshop on Network Simulation Tools
• October 22, 2007, Nantes, France
• Submission deadline: June 1, 2007 (extended)
• Relevance: parallel and distributed simulations
• URL: http://www.nstools.org/

• International Conference on High Performance Computing and Communications
• September 26-28, Houston, Texas, USA
• Submission deadline: April 30, 2007
• Relevance: Networking protocols, routing, algorithms; Parallel and distributed system architectures; Parallel and distributed algorithms; Tools and environments for software development;
• URL: http://www.tlc2.uh.edu/hpcc07/

• International Conference on Computational Methods in Systems Biology
• September 20-21, 2007, Edinburgh, Scotland
• Submission deadline: May 7, 2007
• Relevance: concurrency theory
• URL: http://conferences.inf.ed.ac.uk/cmsb07/

• International Conference on Formal Methods in Computer-Aided Design
• November 11-14, 2007, Austin, Texas
• Submission deadline: May 7, 2007 (Abstracts due to April 30)
• Relevance: theory and applications of formal methods in hardware and system verification
• URL: http://fmcad.org/2007

• Third Workshop on Aspect-Oriented and Model-Driven Software Development
• June 12, 2007, Haifa, Israel
• Submission deadline: May 9, 2007
• Relevance: use of visual languages
• URL: http://trese.cs.utwente.nl/AOMD-2007/

• 6th International Workshop on Parallel and Distributed Methods in Verification
• July 8, 2007, Berlin, Germany
• Submission deadline:May 13, 2007 (abstracts due to May 6)
• Relevance: parallel and distributed methods, software platforms for distributed verification
• URL: http://pdmc.informatik.tu-muenchen.de/PDMC07/

• Fifth International Symposium on Automated Technology for Verification and Analysis
• October 22-24, 2007, Tokyo, Japan
• Submission deadline: May 14, 2007
• Relevance: Petri-nets as a useful theory for providing designers with automated support for obtaining correct software or hardware systems
• URL: http://www.yt.cs.titech.ac.jp/atva2007/

• Third Workshop on Graph Transformation for Verification and Concurrency
  Satellite workshop of CONCUR 2007
• September 3, 2007, Gulbenkian Foundation, Lisbon, Portugal
• Submission deadline: June 1, 2007 (abstracts due to May 30) (extended)
• Relevance: application of concurrency theory to traditional questions of semantics and verification in graph transformation, and, vice versa, the application of graph transformation to process calculi and other models of concurrency
• URL: http://www.ti.inf.uni-due.de/events/gtvc2007/

• 3rd International Workshop on Grid and Peer-to-Peer based Workflows
• September 24, 2007, Brisbane, Australia
• Submission deadline: June 8, 2007
• Relevance: Grid; Workflow
• URL: http://www.ict.swin.edu.au/conferences/gpww/

• 12th International Workshop on Computer-Aided Modeling and Design of Communication Links and Networks
• September 7, 2007, Athens, Greece
• Submission deadline: June 15, 2007
• Relevance: modeling, simulation, analysis
• URL: http://www.pimrc2007.org

• 4th International Conference on Grid Services Engineering and Management
• September 24-26, 2007, Leipzig, Germany
• Submission deadline: June 15, 2007
• Relevance: modelling of services on the Grid; Workflow planning and composition for Grid services
• URL: http://www.ict.swin.edu.au/conferences/gsem2007

• 8th International Workshop on Performability Modeling of Computer and Communication Systems
• September 20-21, 2007, Edinburgh, Scotland
• Submission deadline:June 22, 2007 (extended)
• Relevance: topics in integrated performance and dependability modeling, with emphasis on bridging theory and practice
• URL: http://www.pmccs.net

• International Conference on Principles of Information Technology and Applications
• October 15-17, 2007, Hotel Golebiewski, Wisla, Poland
• Submission deadline: June 25, 2007
• Relevance: Modeling and simulation; Formal methods; Parallel and distributed processing
• URL: http://www.pita.imcsit.org

• 2nd International Workshop on Formal Methods for Interactive Systems
• September 4, 2007, Lancaster, UK
• Submission deadline: July 1, 2007 (extended)
• Relevance:
• URL: http://www.dcs.qmul.ac.uk/research/imc/hum/fmis2007/

• First International Workshop on Synthesis and Analysis of Component Connectors
• September 3-4, 2007, Dubrovnik, Croatia
• Submission deadline: July 1, 2007 (extended abstracts)
• Relevance: models, methods, logics, tools, techniques, middleware, and systems for formal synthesis and analysis of coordination glue code used to connect back-box components and services in parallel and distributed environments
• URL: http://wwwtcs.inf.tu-dresden.de/ALGI/syancoworkshop

• Second International Workshop on Coordination of Inter-Organizational Workflow: Agent and Semantic Web based Models
• December 3, 2007, Nancy, France
• Submission deadline: July 15, 2007 (abstracts due to June 30, 2007)
• Relevance: workflow
• URL: http://www.irit.fr/ciow/2007

• 9th ACM International Workshop on Web Information and Data Management
• November 9, 2007, Lisbon, Portugal
• Submission deadline:July 21, 2007
• Relevance: Formal Models for Web Data and Knowledge Management
• URL: http://workshops.inf.ed.ac.uk/WIDM2007

• 14th GI/ITG Conference on Measurement, Modeling and Evaluation of Computer and Communication Systems
• March 31 - April 2, 2008, Dortmund, Germany
• Submission deadline: October 23, 2007 (extended)
• Relevance: Stochastic Petri Nets (among others).
• URL: http://www.mmb2008.org

• International Workshop on Multi-Agent Systems as Middleware and Architectures for Business Systems
• February 26-28, 2008, München, Germany
• Submission deadline: October 14, 2007
• Relevance:
• URL: http://vsis-www.informatik.uni-hamburg.de/events/mas2/

• 41th Annual Simulation Symposium
• April 13-16, 2008, Ottawa, Canada
• Submission deadline: October 30, 2007 (extended)
• Relevance: original contribution in all areas of modeling and simulation are welcome
• URL: http://agent.csd.auth.gr/~karatza/ANSS41

• 11th Communications and Networking Simulation Symposium
• April 13-16, 2008, Ottawa, Canada
• Submission deadline: November 27, 2007 (extended)
• Relevance: design principles and applications pertinent to communications and networks with special emphasis on modeling and simulation
• URL: http://www.scs.org/confernc/springsim/springsim08/cfp/cns08.htm

• 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software
• April 5, 2008, Budapest, Hungary
• Submission deadline: October 29, 2007
• Relevance: This workshop focuses on the theoretical and practical aspects related with the adoption of MBD methodologies (notation, process, methods, and tools) for supporting the construction of computer-based systems, and more specifically, pervasive and embedded software.
• URL: http://www.di.uminho.pt/mompes

• 5th Annual Conference on Theory and Applications of Models of Computation
• April 25 - 29, 2008, Xi'an, China
• Submission deadline: November 10, 2007
• Relevance: Models of Computation
• URL: http://ictt.xidian.edu.cn/tamc2008/

• 2nd International Conference on Language and Automata Theory and Applications
• March 13 - 19, 2008, Tarragona, Spain
• Submission deadline: November 16, 2007
• Relevance: yearly conference in theoretical computer science and its applications.
• URL: http://www.grlmc.com

• International Conference on Measurement and Modeling of Computer Systems
• June 2-6, 2008, Annapolis, Maryland, USA
• Submission deadline: November 16, 2007 (abstracts due to November 9)
• Submission deadline for demonstrations: March 14, 2008
• Relevance: modeling
• URL: http://www.cs.columbia.edu/~sigmet08/

• 11th World Conference on Integrated Design and Process Technology
• June 3-8, 2008, Taichun, Taiwan
• Submission deadline: December 1, 2007
• Relevance: special session on Petri nets on parallel and distributed systems
• URL: -

• 7th International Workshop on Graph Transformation and Visual Modeling Techniques (A satellite event of ETAPS 2008)
• March 29-30, 2008, Budapest, Hungary
• Submission deadline: December 14, 2007 (abstracts due to December 9)
• Relevance: graph-based notation, techniques and tools for the specification, modeling, validation, manipulation and verification of complex systems like Petri nets
• URL: http://tfs.cs.tu-berlin.de/GTVMT08/

• Sixth Workshop on Quantitative Aspects of Programming Languages
• March 29 - 30, 2008, Budapest, Hungary
• Submission deadline: December 17, 2007
• Relevance: Distributed Systems, Concurrent Systems, Performance Analysis, ...
• URL: http://wwwtcs.inf.tu-dresden.de/ALGI/qapl08/

• Workshop on Domain-Specific Modeling Languages
• March 14, 2008, Berlin, Germany
• Submission deadline: December 31, 2007
• Relevance: modelling
• URL: http://www.modellierung2008.org

• Computability in Europe 2008: Logic and Theory of Algorithms
• June 15 - 20, Athens, Greek
• Submission deadline: January 14, 2008 (extended)
• Relevance: computability
• URL: http://www.cs.swan.ac.uk/cie08/

• Modeling in Education
• March 13, 2008, Berlin, Germany
• Submission deadline: January 4, 2008
• Relevance: modeling. The language of this workshop is German, but papers (and presentations) in English will also be considered.
• URL: http://141.78.96.4/cms/mod08

• 1st Pacific-Asia Workshop on Web Mining and Web-based Application
• May 20 - 21, Osaka, Japan
• Submission deadline: January 5, 2008
• Relevance:
• URL: http://www.iita-conference.org/wmwa/

• 15th Annual European Concurrent Engineering Conference
• April 9 - 11, Porto, Portugal
• Submission deadline: January 10, 2008
• Relevance: concurrency
• URL: http://www.eurosis.org/cms/index.php?q=node/433

• 3rd International Workshop on Workflow Management and Applications in Grid Environments
• May 25-28, 2008, Kunming, China
• Submission deadline: January 15, 2008 (extended)
• Relevance: workflow
• URL: http://www.swinflow.org/confs/WaGe08/WaGe08.htm

• 19th IEEE/IFIP International Symposium on Rapid System Prototyping
• June 2-5, 2008, Monterey Bay, CA, USA
• Submission deadline: January 12, 2008
• Relevance: Interoperability of distributed systems, ...
• URL: http://www.rsp-symposium.org

• 7th International Workshop on Software and Performance
• June 23-26, 2008, Princeton, NJ
• Submission deadline (title and abstract): January 13, 2008
• Submission deadline (complete paper): January 20, 2008
• Submission deadline (fast abstract): April 15, 2008
• Relevance: modelling tools and techniques; performance measurement, modelling, and management for software systems
• URL: http://www.inf.pucrs.br/wosp/

• 9th International Conference on Mathematics of Program Construction
• July 15 - 18, 2008, Marseille, France
• Submission deadline: January 21, 2008 (abstracts due to January 14)
• Relevance: Papers are solicited on mathematical methods and tools put to use in program construction.
• URL: http://mpc08.lri.fr

• 5th workshop on Coordination, Organization, Institutions and Norms in agent systems
• May 12-13, 2008, Estoril, Portugal
• Submission deadline: January 25, 2008
• Relevance: Models, ontologies and standards of COIN (Coordination, Organisation, Institutions and/or Norms) for MAS.
• URL: http://www.emse.fr/coin08

• 2nd IEEE & IFIP Symposium on Theoretical Aspects of Software Engineering
• June 17-19, 2007, Nanjing, China
• Submission deadline: January 28, 2008 (title and abstract due to January 21)
• Relevance: Specification and Validation, Model Checking for Software, Software Processes and Workflows, Parallel and Distributed Computing, Program Analysis
• URL: http://seg.nju.edu.cn/tase08/

• Chaotic Modeling and Simulation International Conference
• June 3 - 6, 2008, Chania, Crete, Greece
• Submission deadline: March 10, 2008 (extended)
• Relevance: modeling, simulation
• URL: http://www.asmda.net/chaos2008/

• 35th International Colloquium on Automata, Languages and Programming
• July 7-11, 2008, Reykjavik, Iceland
• Submission deadline: February 10, 2008
• Relevance: broad coverage of many aspects of Theoretical Computer Science
• URL: http://www.ru.is/icalp08

• 6th Annual Industrial Simulation Conference
• June 9-11, 2008, Lyon, France
• Submission deadline: February 15, 2008 (early submission deadline January 15)
• Relevance: simulation
• URL: http://www.eurosis.org/cms/?q=taxonomy/term/103

• European Conference on Modelling and Simulation
  Modelling and Simulation Methodologies (Track)
• June 3-6, 2008, Nicosia, Cyprus
• Submission deadline: February 26, 2008 (extended)
• Relevance: simulation, modelling
• URL: http://www.scs-europe.net/conf/ecms2008/meth.html

• 15th Workshop on Logic, Language, Information and Computation
• July 1-4, 2008, Edinburgh, Scotland
• Submission deadline: February 24, 2008
• Relevance: inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
• URL: http://wollic.org/wollic2008/

• 5th International Workshop on the Applications of UML/MDA to Software Systems
• July 14-17, 2008, Las Vegas, Nevada, USA
• Submission deadline: March 1, 2008
• Relevance: formal specifications of UML models; UML and domain specific modeling languages
• URL: http://www.cs.und.edu/~reza/MUSS08/UML.htm

• 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
• June 12-13, 2008, Barcelona, Spain
• Submission deadline: March 3, 2008
• Relevance: Petri Nets (business/industry applications), Software process modelling and simulation
• URL: http://www.iceis.org/workshops/msvveis/msvveis2008-cfp.html

• 2008 IEEE Symposium on Visual Languages and Human-Centric Computing
• September 16-20, 2008, Herrsching am Ammersee, Germany
• Submission deadline: March 6, 2008 (abstracts due to February 21)
• Relevance: Software visualization and algorithm animation; Model-driven development of interactive systems
• URL: http://vlhcc08.cs.unibw.de/

• Workshop on Logics for Agents and Mobility
• August 4 - 8, 2008, Hamburg, Germany
• Submission deadline: March 27, 2008 (extended)
• Relevance:
• URL: http://www.dur.ac.uk/berndt.farwer/lam08

• Formal Aspects of Virtual Organisations
• May 26, 2008, Aabo Akademi University, Turku, Finland
• Submission deadline: March 14, 2008
• Relevance:
  • Modelling and analysis of VO
  • Applications of formal methods in VO development
• URL: http://www.cs.ncl.ac.uk/events/FAVO2008/

• Second International Workshop From Biology To Concurrency and back
  a Satellite Workshop of ICALP 2008
• July 12, 2008, Reykjavik, Iceland
• Submission deadline: March 30, 2008 (extended - abstracts due on March 19, 2008)
• Relevance: Applications of computer science formalisms with concurrency flavour (such as Petri Nets)
• URL: http://www.cs.le.ac.uk/events/FBTC2008

• SPEC International Performance Evaluation Workshop 2008
• June 27-28 2008, Darmstadt, Germany
• Submission deadline: March 24, 2008 (extended)
• Relevance: Modeling formalisms
• URL: http://www.sipew2008.org/

• First Workshop on Hot Topics in Measurement & Modeling of Computer Systems
• June 6, 2008, Annapolis, Maryland, USA
• Submission deadline: March 24, 2008
• Relevance: modeling, emerging research challenges
• URL: http://www.cs.columbia.edu/~sigmet08/

• 2nd International Workshop on Verification and Evaluation of Computer and Communication Systems
• July 2 - 3, 2008, Leeds, UK
• Submission deadline: March 28, 2008
• Relevance: model-checking, verification, performance and robustness evaluation (e.g. stochastic Petri nets)
• URL: http://www.comp.leeds.ac.uk/vecos08/

• Structural Operational Semantics 2008
  An Affiliated Workshop of ICALP 2008
• July 6, 2008, Reykjavik, Iceland
• Submission deadline: March 28, 2008
• Relevance: operational semantics, process algebras, higher-order formalisms
• URL: http://homepages.inf.ed.ac.uk/bklin/SOS2008/

• Track on Industrial Automated Systems and Control
  at 13th IEEE International Conference on Emerging Technologies and Factory Automation
• September 15 - 18, 2008, Hamburg, Germany
• Submission deadline: March 31, 2008
• Relevance: Formal Modeling of Manufacturing and Process Systems, Simulation, Queueing Systems, Petri Nets; Synthesis and Analysis Techniques;
• URL: http://www.etfa2008.org

• The 10th IEEE International Conference on High Performance Computing and Communications
• September 25-27, Dalian, China
• Submission deadline: March 31, 2008
• Relevance: Networking protocols, routing, algorithms; Parallel and distributed system architectures; Parallel and distributed algorithms; Tools and environments for software development;
• URL: http://hpcc08.dlut.edu.cn/

• 16th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
• September 8-10, 2008, Baltimore, Maryland, USA
• Submission deadline (title and abstract):March 24, 2008 (extended)
• Submission deadline (complete paper):April 1, 2008
• Relevance: measurement, modeling, and performance analysis of computer networks distributed/parallel systems, wireless/cellular telecommunication networks, and Web-based systems
• URL: http://www.mascots-conference.org/index-2008.html

• 5th International Conference on the Theory and Application of Diagrams
• September 19-21, 2008, Herrsching, Germany
• Submission deadline: April 1, 2008 (abstracts due to March 20, 2008)
• Relevance: many topics connected to diagrams
• URL: www.cmis.brighton.ac.uk/diagrams2008

• International Conference on Complex Open Distributed Systems
• July 21 - July 24, 2008, Glasgow, UK
• Submission deadline: April 2, 2008
• Relevance: distributed systems, distributed workflow management
• URL: http://siwn.org.uk/2008/flyer_CODS08.pdf

• 5th International Colloquium on Theoretical Aspects of Computing
• September 1-3, 2008, The Marmara, Istanbul, Turkey
• Submission deadline:April 11, 2008
• Relevance: integration of theories, formal and engineering methods and tools;
  models of concurrency
• URL: http://www.ictac.net/ictac08

• 4th International Conference on Graph Transformation
• September 7-13, 2008, Leicester, United Kingdom
• Submission deadline (title and abstract):April 10, 2008
• Submission deadline (complete paper):April 17, 2008
• Relevance:
  • Among others Graph transformation and Petri nets, Workflows and business processes
  • Workshop on Graph Based Tools (GraBaTs). URL: http://www.fots.ua.ac.be/events/grabats2008/
• URL: http://www.cs.le.ac.uk/events/icgt2008

• 1st Interaction and Concurrency Experience
  Synchronous and Asynchronous Interactions in Concurrent Distributed Systems
  a Satellite Workshop of ICALP 2008
• July 6, 2008, Reykjavik, Iceland
• Submission deadline (title and abstract): April 14, 2008
• Submission deadline (complete paper): April 18, 2008
• Relevance: synchronous and asynchronous interaction mechanisms
• URL: http://ice08.dimi.uniud.it/

• 10th Workshop on MAthematical performance Modeling and Analysis
• June 2, 2008, Annapolis, Maryland, USA
• Submission deadline: April 18, 2008 (abstract submission deadline)
• Relevance: mathematical, methodological and theoretical aspects of performance analysis, modeling and optimization
• URL: http://www.cs.columbia.edu/~sigmet08/MAMAindex.html

• 2nd Artist Workshop on Models of Computation and Communication
• July 3-4, 2008, Eindhoven, Netherlands
• Submission deadline: April 19, 2008
• Relevance: Synthesis, analysis and verification of embedded systems
• URL: http://www.artist-embedded.org/artist/MoCC-2008.html

• Third International Workshop on Probabilistic Automata and Logics
  Affiliated with ICALP 2008
• July 6, 2008, Reykjavik, Iceland
• Submission deadline: April 28, 2008 (extended)
• Relevance: probabilistic automata and variants thereof as formal models
• URL: http://wwwtcs.inf.tu-dresden.de/~groesser/PAuL08/index_paul08.html

• 24th UK Performance Engineering Workshop
• July 3 - 4, 2008, Department of Computing, Imperial College London, UK
• Submission deadline: May 14, 2008 (extended)
• Relevance: Stochastic modelling of computer systems and networks
• URL: http://ukpew.org/

• 4th International Workshop on Automated Specification and Verification of Web Systems
• July 4, 2008, Siena, Italy
• Submission deadline (title and abstract):May 5, 2008 (extended)
• Submission deadline (complete paper):May 12, 2008 (extended)
• Relevance: formal models for describing and reasoning about Web sites
• URL: http://wwv08.dimi.uniud.it/

• 3rd International Workshop on Semantic Business Process Management
• June 2, 2008, Tenerife, Spain
• Submission deadline: May 1, 2008 (extended)
• Relevance: semantic modeling of business processes
• URL: http://sbpm2008.fzi.de/

• International Conference on Computational Methods in Systems Biology
• October 12-15, 2008, Rostock, Germany
• Submission deadline (title and abstract): May 5, 2008
• Submission deadline (complete paper): May 12, 2008
• Relevance: concurrency theory, modeling, simulation, analysis
• URL: http://wwwmosi.informatik.uni-rostock.de/cmsb08/

• 8th International Conference on Formal Methods in Computer-Aided Design
• November 17-20, 2008, Portland, Oregon
• Submission deadline: May 19, 2008 (extended)
• Relevance: theory and applications of formal methods in hardware and system design and verification
• URL: http://fmcad.org/2008

• The British Computer Society International Academic Research Conference Visions of Computer Science & Engineering
• September 22-24, 2008, Imperial College London, UK
• Submission deadline: May 20, 2008 (extended)
• Relevance: Networks, Distributed and Pervasive Systems
• URL: http://www.bcs.org/visions

• First International Colloquium on Foundations of Mobile Systems Security and Reliability
• September 13, 2008, Nice, France
• Submission deadline: May 31, 2008 (extended)
• Relevance:
  • Formal models for mobile and wireless networks
  • Formal verification of wireless communication protocols
  • Distributed algorithm design for wireless systems
• URL: http://www.lifl.fr/MOSAR2008/

• 1st Annual North American Simulation Technology Conference
• August 13-15, 2008, McGill University, Montreal, Canada
• Submission deadline: July 15, 2008 (extened)
• Relevance: modelling and simulation
• URL: http://www.eurosis.org/cms/?q=taxonomy/term/145

• First Workshop on Formal Methods for Wireless Systems
• August 23, 2008, Toronto, Canada
• Submission deadline (title and abstract): June 12, 2008 (extended)
• Submission deadline (complete paper): June 15, 2008 (extended)
• Relevance: algebraic and probabilistic models, mobility, model checking
• URL: http://www.itu.dk/events/FMWS08/

• OpenCert 2008: 2nd International Workshop on Foundations and Techniques for Open Source Software Certification
  FLOSS-FM 2008: International Workshop on Foundations and Techniques bringing together Free/Libre Open Source Software and Formal Methods
• September 10, 2008, Milan, Italy
• Submission deadline: June 7, 2008
• Relevance: formal modelling, formal verification
• URL:
  • OpenCert 2008: http://opencert.iist.unu.edu
  • FLOSS-FM 2008: http://floss-fm.it.uc3m.es

• 9th International Middle Eastern Simulation Multiconference
• August 26-28, 2008, Philadelphia University, Amman, Jordan
• Submission deadline: June 15, 2008 (abstracts due to May 30)
• Relevance: modelling and simulation
• URL: http://www.eurosis.org/cms/index.php?q=node/205

• Second International Workshop on Layout of (Software) Engineering Diagrams
• September 15, 2008, Herrsching am Ammersee, Germany
• Submission deadline: June 16, 2008
• Relevance: Visual language theory, Layout styles and modeling purposes
• URL: http://www.cmis.brighton.ac.uk/led2008/

• International Workshop on Quality Aspects of Coordination
• August 31, 2008, Istanbul, Turkey
• Submission deadline (title and abstract): June 20, 2008
• Submission deadline (complete paper): June 27, 2008
• Relevance: Specification and modeling formalisms and methodologies (e.g. petri nets)
• URL: http://www.cwi.nl/qac08

• RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms
• November 17-19, 2008, Newcastle upon Tyne, UK
• Submission deadline: June 23, 2008
• Relevance: Formal and semi-formal modelling of resilience properties;
  Verification and validation of resilient systems
• URL: http://serene2008.uni.lu

• 2nd Meeting on Membrane Computing and Biologically Inspired Process Calculi
• September 3-4, 2008, Iasi, Romania
• Submission deadline: June 29, 2008
• Relevance: biologically inspired models and calculi
• URL: http://www.info.uaic.ro/~mecbic

• First International Workshop on UML & Formal Methods
• October 27, 2008, Kitakyushu-City, Japan
• Submission deadline: July 8, 2008 (extended)
• Relevance: informal, semi-formal and formal notation for modelling and software engineering
• URL: http://www.artist-embedded.org/artist/UML-FM-08.html

• First International Workshop on Formal Methods
  held in conjunction with XXVII International Conference of the Chilean Computer Science Society
• November 10-15, 2008, Punta Arenas, Chile
• Submission deadline: July 25, 2008 (extended)
• Relevance: Tools for and applications of formal methods; specification and modelling; refining; static analysis; model-checking; verification; teaching of formal methods
• URL: http://wfm.usach.cl

• Workshop on Global Computing Models and Technologies
• September 27-28, 2008, Timisoara, Romania
• Submission deadline: August 3, 2008 (extended)
• Relevance: models for distributed and global computing
• URL: http://synasc08.info.uvt.ro/globalcomp

• 3rd International Workshop Models@run.time
  At the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems
• September 30, 2008, Toulouse, France
• Submission deadline: August 15, 2008 (extended)
• Relevance: runtime models
• URL: http://www.comp.lancs.ac.uk/computing/users/bencomo/MRT

• 24th Annual ACM Symposium on Applied Computing
• March 8-9, 2009, Waikiki Beach, Honolulu, Hawaii, USA
• Submission deadline: August 16, 2008 (strict!)
• Relevance: Software Verification and Testing Track
• Symposium URL: http://www.acm.org/conferences/sac/sac2009/
  Track URL: http://www-sop.inria.fr/everest/Tamara.Rezk/SAC-SVT-09

• 35th International Conference on Current Trends in Theory and Practice of Computer Science
• January 24-30, 2009, Hotel Arnika, Spindleruv mlyn, Czech Republic
• Submission deadline (title and abstract): August 17, 2008
• Submission deadline (complete paper): August 24, 2008
• Relevance: The conference consists of four different tracks:
  • Foundations of Computer Science
  • Theory and Practice of Software Services
  • Game Theoretic Aspects of ecommerce
  • Techniques and Tools for Formal Verification
• URL: http://www.sofsem.cz

• International Conference on Computational Intelligence for Modelling, Control and Automation
• December 10-12, 2008, Vienna, Austria
• Submission deadline: August 29, 2008
• Relevance: modelling
• URL: http://community.ise.canberra.edu.au/conference/cimca08/

• 5th International Conference on Innovations in Information Technology
• December 16-18, 2008, Al Ain, United Arab Emirates
• Submission deadline: September 1, 2008
• Relevance: Diverse IT topics
• URL: http://www.it-innovations.ae/

• 23rd International Conference on Advanced Information Networking and Applications
• May 26-29, 2009, University of Bradford, Bradford, UK
• Submission deadline: October 6, 2008
• Relevance: theory, design and application of computer networks and distributed computing systems
• URL: http://www.inf.brad.ac.uk/~iawan/aina/

• The European Joint Conferences on Theory and Practice of Software
• March 22-29, 2009, York, United Kingdom
• Submission deadline (title and abstract): October 2, 2008
• Submission deadline (complete paper): October 9, 2008
• Relevance: Among the five main conferences three might be of particular relevance:
  • FOSSACS (Foundations of Software Science and Computation Structures)
  • FASE (Fundamental Approaches to Software Engineering)
  • TACAS (Tools and Algorithms for the Construction and Analysis of Systems)
• URL: http://www.cs.york.ac.uk/etaps09/

• 12th International Conference on Hybrid Systems: Computation and Control
• April 13-15, 2009, San Francisco, USA
• Submission deadline: October 10, 2008
• Relevance: analysis, design, control, optimization, implementation, and applications of hybrid dynamical system
• URL: http://www.ee.ucla.edu/hscc09

• The Fifth International Conference on Networking and Services
• April 21-25, 2009, Valencia, Spain
• Submission deadline: November 10, 2008 (extended)
• Relevance: Network modeling & simulation
• URL: http://www.iaria.org/conferences2009/ICNS09.html

• First International Conference on Intensive Applications and Services
• April 21-25, 2009, Valencia, Spain
• Submission deadline:November 1, 2008
• Relevance: among others: communications intensive and transaction IAS
• URL: http://www.iaria.org/conferences2009/INTENSIVE09.html

• Symposium on Automatic Program Verification
• February 14-15, 2009, Río Cuarto, Argentinia
• Submission deadline: November 8, 2008
• Relevance: program verification, model checking, tools, case studies
• URL: http://se.ethz.ch/apv/

• 11th Join International Conference on Measurement and Modeling of Computer Systems
• June 15-19, 2009, Seattle, Washington, USA
• Submission deadline (full papers): November 17, 2008
• Submission deadline (demonstrations): May 1, 2009
• Relevance: performance-oriented design of distributed systems; algorithms for analytic modeling
• Workshops (see http://conferences.sigmetrics.org/sigmetrics/2009/workshops.shtml)
  • GreenMetrics
  • Advances in Learning for Networking
  • MAMA
• URL: http://conferences.sigmetrics.org/sigmetrics/2009

• 14th International Conference on Reliable Software Technologies
• June 8-12, 2009, Brest, France
• Submission deadline: December 15, 2008 (extended)
• Relevance: theory and practice of distributed systems
• URL (CfP in PDF format): http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090608-aec-cfp.pdf

• Seventh Workshop on Quantitative Aspects of Programming Languages
• March 28 - 29, 2008, York, UK
• Submission deadline (titel + abstract): December 18, 2008
• Submission deadline (regular paper): December 20, 2008
• Submission deadline (presentation (ongoing work)): January 28, 2009
• Relevance: probabilistic, timing and general quantitative aspects in: Distributed Systems, Concurrent Systems, Performance Analysis, ...
• URL: http://wwwtcs.inf.tu-dresden.de/ALGI/qapl09/

• Spring Simulation Multiconference 2009
• March 22-27, 2009, San Diego, CA, USA
• Submission deadline: various (depending on conference - see link below)
• Relevance: covers state-of-the-art developments in computer simulation technologies, as well as scientific, industrial, and business applications.
• URL: http://www.scs.org/confernc/springsim/springsim09/springsim09.htm

• 2nd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
• March 22, 2009, York, UK
• Submission deadline (title and abstract): January 13, 2009
• Submission deadline (complete paper): January 18, 2009
• Relevance: foundations of programming languages for concurrency and distribution
• URL: http://places09.di.fc.ul.pt/

• 4th International Workshop on Workflow Management
• May 4-8, 2009, Geneva, Switzerland
• Submission deadline: January 25, 2009 (extended)
• Relevance: workflow modelling
• URL: http://www.swinflow.org/confs/ICWM2009/ICWM2009.htm

• 2nd IFAC Workshop on Dependable Control of Discrete Systems
• June 10-12, 2009, Bari, Italy
• Submission deadline:January 18, 2009 (extended)
• Relevance: Formal methods for timed and probabilistic systems
• URL: http://dcds09.poliba.it

• 6th International Workshop on Model-based Methodologies for Pervasive and Embedded Software
• May 16, 2009, Vancouver, Canada
• Submission deadline: January 15, 2009
• Relevance: This workshop focuses on the theoretical and practical aspects related with the adoption of MBD methodologies (notation, process, methods, and tools) for supporting the construction of software for pervasive and embedded software.
• URL: http://www.di.uminho.pt/mompes

• 34th International Symposium on Symbolic and Algebraic Computation
• July 28-31, 2009, Seoul, Korea
• Submission deadline: January 17, 2009
• Relevance: computer science of creating software for doing mathematics
• URL: http://issac2009.kias.re.kr/

• Computability in Europe 2009: Mathematical Theory and Computational Practice
• July 19 - 24, Heidelberg, Germany
• Submission deadline: February 1, 2009 (extended)
• Submission deadline (informal presentations): June 1, 2009
• Relevance: concurrency and distributed computation
• URL: http://www.math.uni-heidelberg.de/logic/cie2009/

• Fourteenth IEEE International Conference on Engineering of Complex Computer Systems
• June 2-4, 2009, Potsdam, Germany
• Submission deadline: February 2, 2009
• Relevance: Formal Methods and Approaches to Manage and Control Complex Systems
• URL: http://www.iceccs.org

• 6th Annual Future Business Technology Conference - Simulation for Sustainability
• April 15-17, 2009,Novotel, Bruges, Belgium
• Submission deadline: January 20, 2009 (February 5 for Late Submissions)
• Relevance: simulation in a variety of settings, discrete event simulation, tools
• URL: http://www.eurosis.org/cms/?q=taxonomy/term/173

• 7th Annual Industrial Simulation Conference
• June 1-3, 2009, Loughborough, United Kingdom
• Early Submission deadline: January 25, 2009
• Submission deadline: February 20, 2009
• Relevance: simulation (related to industry)
• URL: http://www.eurosis.org/cms/?q=node/905

• 11th IEEE Conference on Commerce and Enterprise Computing
• July 20-23, 2009, Vienna, Austria
• Submission deadline: February 15, 2009 (extended)
• Relevance: Business Process Management
• URL (CfP in PDF format): http://cec2009.isis.tuwien.ac.at/wp-content/uploads/2008/10/cec09cfp_short_version_20081006.pdf

• 6th Annual Conference on Theory and Applications of Models of Computation
• May 18 - 22, 2009, ChangSha, China
• Submission deadline: February 1, 2009
• Relevance: Models of Computation
• URL: http://netlab.csu.edu.cn/TAMC09/

• 5th International Workshop on Automated Specification and Verification of Web Systems
• July 17, 2008, Castle of Hagenberg, Austria
• Submission deadline (title and abstract):February 2, 2009
• Submission deadline (complete paper):February 9, 2009
• Relevance: formal models for describing and reasoning about Web sites
• URL: http://www.risc.uni-linz.ac.at/conferences/wwv09/

• ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems
• June 19-20, 2009, Dublin, Ireland
• Submission deadline: February 9, 2009
• Relevance: Tools for analysis, specification, design and implementation of embedded systems
• URL: http://www.cse.psu.edu/lctes09/

• 1st Central-European Workshop on Services and their Composition
• March 2 - 3, 2009, Stuttgart, Germany
• Submission deadline: February 15, 2009
• Relevance: engineering services, their orchestration and choreography;
  modeling, specification, verification;
  establish contacts between young researchers in the region
• URL: http://www.iaas.uni-stuttgart.de/zeus

• 12th European Workshop on Dependable Computing
• May 14-15, 2009, Toulouse, France
• Submission deadline: February 25, 2009 (extended)
• Relevance: formal verification of code or models
• URL: http://www.laas.fr/EWDC2009

• 3rd IEEE Symposium on Theoretical Aspects of Software Engineering
• July 29-31, 2009, Tianjin, China
• Submission deadline (title + abstract): February 20, 2009
• Submission deadline (full paper): February 27, 2009
• Submission deadline (posters): April 22, 2009
• Relevance: Specification and Verification, Software Model Checking, Software Processes and Workflows, Program Analysis
• URL: http://www.dur.ac.uk/ieee.tase2009

• First International Workshop on the Critical Computer Based Systems
• July 13-17, 2009, Las Vegas, Nevada, USA
• Submission deadline: March 2, 2009
• Relevance: construction of dependable and complex computer-based systems
• URL: http://people.cs.und.edu/~reza/CCBS09.htm

• 16th Workshop on Logic, Language, Information and Computation
• June 21-24, 2009, Tokyo, Japan
• Submission deadline (title and abstract): February 28, 2009
• Submission deadline (complete paper): March 8, 2009
• Rele vance: inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
• URL: http://wollic.org/wollic2009/

• 9th International Workshop on Runtime Verification
• June 26 - 28, 2009, Grenoble, France
• Submission deadline (abstract): March 25, 2009 (extended)
• Submission deadline (paper): March 25, 2009 (extended)
• Relevance: monitor and analyze the execution of programs
• URL: http://www-rv2009.imag.fr

• 7th International Conference on Computational Methods in Systems Biology
• August 31 - September 1, 2009, Bologna, Italy
• Submission deadline (title and abstract): March 20, 2009 (extended)
• Submission deadline (complete paper): March 27, 2009 (extended)
• Submission deadline (poster): May 30, 2009
• Relevance: concurrency theory, modeling, simulation, analysis
• URL: http://cmsb09.cs.unibo.it/

• Second Workshop on Hot Topics in Measurement & Modeling of Computer Systems
• June 19, 2009, Seattle, Washington, USA
• Submission deadline: April 1, 2009 (extended)
• Relevance: emerging challenges in performance evaluation
• URL: http://conferences.sigmetrics.org/sigmetrics/2009/

• 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems
• July 2 - 3, 2009, Rabat, Morocco
• Submission deadline: April 10, 2009 (extended)
• Relevance: model-checking, verification, performance and robustness evaluation (e.g. stochastic Petri nets)
• URL: http://www.vecos-world.org/

• 17th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
• September 21-23, 2009, South Kensington Campus, Imperial College London, UK
• Submission deadline (title and abstract): March 27, 2009
• Submission deadline (complete paper): April 3, 2009
• Relevance: measurement, modeling, and performance analysis of computer systems and communications networks
• URL: http://mascots2009.doc.ic.ac.uk/

• 14th IEEE International Conference on Emerging Technologies and Factory Automation
• September 22-26, 2009, Palma de Mallorca, Spain
• Submission deadline (papers for ETFA 2009): March 31, 2009
• Submission deadline (papers for special sessions): May 10, 2009
• Relevance:
  • recent advances and developments in the newly emerging areas of technology, as well as actual and potential applications to industrial and factory automation
  • various special sessions
• URL: http://www.etfa2009.org

• 14th International Workshop on Formal Methods for Industrial Critical Systems
• November 2-3, 2009, Eindhoven, The Netherlands
• Submission deadline (abstracts): April 16, 2009 (extended)
• Submission deadline (full papers): April 20, 2009 (extended)
• Submission deadline (posters): June 5, 2009
• Relevance: development and application of formal methods in industry; design and specification based on formal methods; methods, techniques and tools to support e.g. automated analysis of complex, distributed systems; verification and validation methods;
• URL: http://www.dsic.upv.es/workshops/fmics2009

• 6th International Colloquium on Theoretical Aspects of Computing
• August 16-20, 2009, Malaysia, University Kebangsaan Malaysia
• Submission deadline (full papers):April 12, 2009 (extended)
• Relevance: integration of theories, formal and engineering methods and tools;
  models of concurrency
• URL: http://www.ictac.net/ictac09

• Seventh Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
• July 19-20, 2009, Chicago, Illinois, USA
• Submission deadline: April 19, 2009
• Relevance: techniques and systems that aid in the testing, analysis, and debugging of multi-threaded/parallel/distributed applications systems
• URL: http://www.haifa.il.ibm.com/Workshops/padtad2009/index.shtml

• Second International Workshop on Logics for Agents and Mobility
  organised as satellite workshop at the Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2009)
• August 9 - 10, 2009, Los Angeles, California, USA
• Submission deadline: May 17, 2009 (extended)
• Relevance: mobile systems, modeling
• URL: http://www.dur.ac.uk/berndt.farwer/lam09

• 11th Workshop on MAthematical performance Modeling and Analysis
  Workshop of SIGMETRICS 2009
• June 15, 2009, Seattle, Washington, USA
• Abstract Submission deadline: May 1, 2009
• Relevance: mathematical, methodological and theoretical aspects of performance analysis, modeling and optimization
• URL: http://conferences.sigmetrics.org/sigmetrics/2009/

• 16th International Symposium on Formal Methods
• November 2 - November 6, 2009, Eindhoven, The Netherlands
• Submission deadline: May 4, 2009
• Relevance:
  • various topics on formal methods
  • Doctoral Symposium (deadline July 24)
  • there also are several satellite workshops (with slightly differnt dates, some start on October 30, some end on November 7)
• URL: http://www.win.tue.nl/fm2009
  Also see: http://www.win.tue.nl/fmweek

• 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
• October 25-28, 2009, Singapore
• Submission deadline: May 25, 2009 (extended)
• Relevance: large scale distributed simulations, concurrent systems
• URL: http://www.cs.unibo.it/ds-rt2009/

• 9th International Conference on Formal Methods in Computer-Aided Design
• November 15-18, 2009, University of Texas, Austin, Texas, USA
• Submission deadline (titel + abstracts): May 29, 2009 (extended)
• Submission deadline (full papers): June 5, 2009 (extended)
• Relevance: theory and application of formal methods in hardware and system design and verification
• URL: http://fmv.jku.at/fmcad09

• 5th International Workshop on Graph-Based Tools
  The Contest Part of TOOLS 2009
• July 1-2, 2009, Zurich, Swiss
• Submission deadline: May 22, 2009
• Relevance: Graph-based tools
• URL: http://is.tm.tue.nl/staff/pvgorp/events/grabats2009/

• 2nd Int. FME Conference on Teaching Formal Methods
  co-located with FM2009
• November 2 - November 6, 2009, Eindhoven, The Netherlands
• Submission deadline: June 8, 2009 (extended)
• Relevance: teaching
• URL: http://www.di.uminho.pt/tfm09

• Second International Workshop on Dynamic and Declarative Business Processes
  in conjuction with the 13th IEEE International EDOC Conference
• September, 2009, Auckland, New Zealand (exact date to be announced)
• Submission deadline: May 31, 2009
• Relevance: business process modelling
• URL: http://www.leduotang.com/sylvain/ddbp2009

• 5th International Symposium on Domain Theory
• September 12-14, 2009, Shanghai, China
• Submission deadline (abstracts): May 22, 2009
• Submission deadline (full papers): June 5, 2009
• Relevance: concurrency theory
• URL: http://sites.sei.ecnu.edu.cn/isdt2009/Conferences/~isdt2009/

• 2nd Annual North American Simulation Technology Conference
• August 26-28, 2009, Georgia Tech Global Learning Center, Atlanta, USA
• Submission deadline: June 5, 2009
• Relevance: modelling and simulation, petri nets are explicitly mentioned in the CfP
• URL: http://www.eurosis.org/cms/?q=node/988

• 3rd Workshop on Membrane Computing and Biologically Inspired Process Calculi
  An Affiliated Workshop of CONCUR 2009
• September 5, 2009, Bologna, Italy
• Submission deadline (titel + abstract): June 1, 2009
• Submission deadline (full paper): June 7, 2009
• Relevance: biologically inspired models and calculi
• URL: http://www.info.uaic.ro/~mecbic

• Second International Workshop on Formal Methods for Wireless Systems
  Satellite workshop of CONCUR 2009
• August 31, 2009, Bologna, Italy
• Submission deadline (title and abstract): June 5, 2009
• Submission deadline (complete paper): June 12, 2009
• Relevance: algebraic and probabilistic models, mobility, model checking
• URL: http://www.itu.dk/events/FMWS09

• 9th International Workshop on Performability Modeling of Computer and Communication Systems
• September 17-18, 2009, Eger, Hungary
• Submission deadline:June 8, 2009
• Relevance: topics in integrated performance and dependability modeling, with emphasis on bridging theory and practice
• URL: http://webspn.hit.bme.hu/~pmccs2009/

• 6th International Workshop on Formal Aspects of Component Software
• November 2-3, 2009, Eindhoven, the Netherlands
• Submission deadline: June 26, 2009 (extended)
• Relevance: formal models for software components and component interaction
• URL: http://www.iist.unu.edu/facs09/

• 2nd International Workshop on Computational Models for Cell Processes
  in conjunction with Formal Methods 2009
• November 3, 2009, Eindhoven, The Netherlands
• Submission deadline: July 15, 2009 (extended)
• Relevance: Formal models for cellular pathways
• URL: http://combio.abo.fi/compmod09/

• 18th International Conference on Applications of Declarative Programming and Knowledge Management
• November 5-7, 2009, Evora, Portugal
• Submission deadline: June 29, 2009
• Relevance: distributed systems and the web; agents and concurrent engineering
• URL: http://www.di.uevora.pt/inap2009/

• Ninth International Workshop on Automated Verification of Critical Systems
• September 23-25, 2009, Swansea, UK
• Submission deadline (full papers): June 26, 2009
• Submission deadline (short contributions): August 5, 2009 (extended)
• Relevance: specification, model checking, verification
• URL: http://www.cs.swan.ac.uk/avocs09

• First Joint WOSP/SIPEW International Conference on Performance Engineering
• January 28-30 2010, San Francisco Bay Area, USA
• Submission deadline (full papers): July 21, 2009
• Submission deadline (tutorials and posters): July 7, 2009
• Relevance: Performance modeling; Performance measurement and analysis
• URL: http://www.wosp-sipew.org

• 1st Workshop on Quantitative Formal Methods: Theory and Applications
  affiliated with Formal Methods 2009
• November 3, 2009, Eindhoven, The Netherlands
• Submission deadline: July 19, 2009 (extended)
• Relevance: formal modeling of quantitative behavior
• URL: http://www.win.tue.nl/QFM/

• Second International Workshop on Formal Methods
  Held in conjunction with XXVIII International Conference of the Chilean Computer Science Society
• November 9-13, 2009, Santiago de Chile, Chile
• Submission deadline: August 14, 2009 (extended)
• Relevance: topics center around formal methods
• URL: http://jcc2009.usach.cl

• 10th International Middle Eastern Simulation Multiconference
• September 27-29, 2009, Lebanese American University, Beirut, Lebanon
• Regular submission deadline: June 30, 2009
• Late submission deadline: July 30, 2009 (abstracts due on June 30)
• Relevance: modelling and simulation
• URL: http://www.eurosis.org/cms/?q=taxonomy/term/183

• 4th International Workshop Models@run.time
  In conjunction with MODELS Conference, Denver, Colorado, USA
• October, 2009, Denver, Colorado, USA (exact date is tba)
• Submission deadline: August 6, 2009
• Relevance: runtime models
• URL: http://www.comp.lancs.ac.uk/~bencomo/MRT/

• 8th International Workshop on Parallel and Distributed Methods in Verification
• November 4, 2009, Eindhoven, Netherlands
• Submission deadline:August 7, 2009 (abstracts due on August 1, 2009)
• Relevance: verification and analysis of very large computer systems (mostly in connection with issues in parallel and distributed programming)
• URL: http://pdmc.cz/PDMC09/

• 3rd International Workshop on Formal Methods for Interactive Systems
  affiliated with Formal Methods 2009
• November 2, 2009, Eindhoven, The Netherlands
• Submission deadline (title + abstract): August 10, 2009
• Submission deadline (full papers): August 20, 2009
• Relevance: interplay of formal methods and interactive system design
• URL: http://homepages.cs.ncl.ac.uk/michael.harrison/fmis/

• International Workshop on Formal Methods for Aerospace
  A satellite workshop of the 16th International Symposium on Formal Methods
• November 3, 2009, Eindhoven, The Netherlands
• Submission deadline: August 21, 2009
• Relevance: new modeling paradigms, formal verification
• URL: http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/FMA.htm

• 8th Australasian Symposium on Parallel and Distributed Computing
• January 18-22, 2010, Brisbane, Australia
• Submission deadline: September 7, 2009
• Relevance: all aspects of parallel and distributed computing
• URL: http://www.cse.unsw.edu.au/~rajivr/auspdc2010/

• 25th Annual ACM Symposium on Applied Computing
• March 22-26, 2010, Sierre, Switzerland
• Submission deadline: September 8, 2009 (strict!)
• Relevance:
  • Software Verification and Testing Track
  • Embedded Systems - Applications, Solutions, and Techniques Track
  • Enterprise Engineering Track
• Symposium URL: http://www.acm.org/conferences/sac/sac2010/

• Second International Workshop on UML & Formal Methods
• Decmeber 8, 2009, Rio de Janeiro, Brazil
• Submission deadline: October 12, 2009 (extended)
• Relevance: informal, semi-formal and formal notation for modelling and software engineering
• URL: http://www.artist-embedded.org/artist/UML-FM-2009.html

• The European Joint Conferences on Theory and Practice of Software
• March 20-28, 2010, Paphos, Cyprus
• Submission deadline (title and abstract): October 1, 2009 (strict!)
• Submission deadline (complete paper): October 8, 2009 (strict!)
• Relevance: Among the five main conferences three might be of particular relevance:
  • FOSSACS (Foundations of Software Science and Computation Structures)
  • FASE (Fundamental Approaches to Software Engineering)
  • TACAS (Tools and Algorithms for the Construction and Analysis of Systems)
  Furthermore, 19 workshops will take place at ETAPS 2010.
• URL: http://www.etaps10.cs.ucy.ac.cy/

• Symposium on Theory of Modeling and Simulation
  DEVS Integrative M&S Symposium (DEVS 2010)
• April 12-15, 2010, Orlando, Florida, USA
• Submission deadline: October 15, 2009
• Relevance: modelling
• URL: http://www.sce.carleton.ca/faculty/wainer/DEVS10

• 12th International Conference on Measurement and Modeling of Computer Systems
• June 14-18, 2010, Columbia University, New York, USA
• Submission deadline (abstracts): November 2, 2009
• Submission deadline (full papers): November 9, 2009
• Relevance:development and application of analytic, simulation and measurement-based performance evaluation techniques
• URL: http://www.sigmetrics.org/sigmetrics2010/

• 10th International Conference on Mathematics of Program Construction
• June 21 - 23, 2010, Quebec City, Canada
• Submission deadline (abstracts): December 7, 2009
• Submission deadline (full papers): December 14, 2009
• Relevance: Papers are solicited on mathematical methods and tools put to use in program construction.
• URL: http://mpc-amast2010.fsg.ulaval.ca/

• 7th Annual Future Business Technology Conference
• April 14-16, 2010, Gandia, Spain
• Submission deadline: January 20, 2010
• Relevance: simulation in a variety of settings, discrete event simulation
• URL: http://www.eurosis.org/cms/?q=taxonomy/term/209

• Eighth Workshop on Quantitative Aspects of Programming Languages
  a Satellite Event of ETAPS 2010
• March 27 - 28, 2010, Paphos, Cyprus
• Submission deadline (regular paper): December 21, 2009
• Relevance: probabilistic, timing and general quantitative aspects in: Distributed Systems, Concurrent Systems, Performance Analysis, ...
• URL: http://qav.comlab.ox.ac.uk/qapl10/

• 24th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation
• May 17-19, 2010, Atlanta, Georgia, USA
• Submission deadline (full paper): January 22, 2010 (extended)
• Relevance: Algorithms and methods for parallel or distributed simulation
• URL: http://www.pads-workshop.org/pads2010.html

• 6th International Conference on the Theory and Application of Diagrams
• August 9-11, 2010, Portland, Oregon, USA
• Submission deadline (full paper): January 25, 2010 (extended)
• Submission deadline (poster): February 1, 2010
• Relevance: many topics connected to diagrams
• URL: http://www.diagrams-conference.org/2010/

• 10th Annual International Conference on New Technologies of Distributed Systems
• May 31 - June 2, 2010, Tozeur, Tunisia
• Submission deadline: January 31, 2010 (extended)
• Relevance: distributed systems, modeling, tools for distributed systems
• URL: http://notere2010.redcad.org

• Computability in Europe 2010: Programs, Proofs, Processes
• June 30 - July 4, Ponta Delgada (Azores), Portugal
• Submission deadline: January 20, 2010
• Relevance: concurrency and distributed computation
• URL: http://www.cie2010.uac.pt/

• First International Conference on Complex Systems Design and Management
• October 27-29, 2010, Paris, France
• Submission deadline (abstract): January 4, 2010
• Submission deadline (full paper): January 22, 2010
• Relevance: system modelling, design, verification, ...
• URL: http://www.csdm2010.csdm.fr

• 7th IFIP Conference on Distributed and Parallel Embedded Systems
• September 20-23, 2010, Brisbane, Australia
• Submission deadline (full papers): February 15, 2010 (extended)
• Relevance: distributed embedded systems, specification and modeling
• URL: http://www.c-lab.de/dipes

• 2nd Central-European Workshop on Services and their Composition
• February 25-26, 2010, Berlin, Germany
• Submission deadline (paper and tool demonstration): February 5, 2010 (extended)
• Relevance: engineering services, their orchestration and choreography;
  modeling, specification, verification;
  establish contacts between young researchers in the region
• URL: http://www.informatik.hu-berlin.de/top/zeus

• 21st IEEE International Symposium on Rapid System Prototyping
• June 8-11, 2010, Fairfax, Virginia, USA
• Submission deadline (abstract): February 5, 2010
• Submission deadline (full paper): February 10, 2010
• Relevance: Applying formal methods to prototyping; System verification/validation
• URL: http://www.rsp-symposium.org

• First International Symposium on Architecting Critical Systems
• June 23-25, 2010, Prague, Czech Republic
• Submission deadline (full paper): March 1, 2010 (extended)
• Relevance: Safety-critical systems, model-checking, tools and case studies
• URL: http://www.isarcs.org/isarcs2010

• 8th ACM-IEEE International Conference on Formal Methods and Models for Codesign
• July 26-28, 2010, Grenoble, France
• Submission deadline (abstract): February 26, 2010
• Submission deadline (full paper): March 5, 2010
• Relevance: system- and transaction-level modeling and verification; design and verification methods for composition of concurrent systems; case studies
• URL: http://www.memocode-conference.com

• 17th Workshop on Logic, Language, Information and Computation
• July 6-9, 2010, Brasilia, Brazil
• Submission deadline (title and abstract): February 28, 2010
• Submission deadline (complete paper): March 7, 2010
• Relevance: inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.
• URL: http://wollic.org

• 1st International Symposium on Games, Automata, Logics, and Formal Verificatio
• June 17-18 2010, Minori, Amalfi Coast, Italy
• Submission deadline (title and abstract): March 21, 2010
• Submission deadline (full papers): March 28, 2010
• Relevance: Formal Methods for Complex Systems; Program Analysis and Software Verification; Specification and Verification of Finite and Infinite-state Systems
• URL: http://gandalf.dia.unisa.it/

• 4th International Workshop on Verification and Evaluation of Computer and Communication Systems
• July 1 - 2, 2010, Paris, France
• Submission deadline: April 12, 2010 (extended)
• Relevance: model-checking, verification, performance and robustness evaluation
• URL: http://www.vecos-world.org/

• Eighth IEEE International Conference on Software Engineering and Formal Methods
• September 13-18, 2010, Pisa, Italy
• Submission deadline (title and abstract): March 22, 2010
• Submission deadline (full paper): March 29, 2010
• Relevance: formal methods for miscellaneous systems (real-time, hybrid, embedded, ...)
• URL: http://www.sefm2010.isti.cnr.it

• 8th Annual International Industrial Simulation Conference
• June 7-9, 2010, Budapest, Hungary
• Early Submission deadline: February 20, 2010
• Late Submission deadline: March 30, 2010
• Relevance: simulation (related to industry)
• URL: to be announced

• 6th International Workshop on Developments in Computational Models
  ** Causality, Computation, and Physics **
  A satellite event of FLoC
• July 9 - 10, 2010, Edinburgh, Scotland
• Submission deadline: April 1, 2010
• Relevance: new computational models; general concurrent models including the treatment of mobility, trust, and security
• URL: http://www.amsta.leeds.ac.uk/~pmt6sbc/DCM10/

• Third Workshop on Hot Topics in Measurement & Modeling of Computer Systems
• June 18, 2010, Columbia University, New York, NY
• Submission deadline: April 14, 2010 (extended)
• Relevance: emerging challenges in performance evaluation
• URL: http://www.cs.caltech.edu/hotmetrics/

• Third International Workshop on Logics for Agents and Mobility
  organised as satellite workshop at the Twenty-Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2010)
• July 15, 2010, Edinburgh, Scotland, UK
• Submission deadline: April 18, 2010 (extended)
• Relevance: concurrency theory with a focus on mobility or dynamics in agent systems
• URL: http://www.dur.ac.uk/lam.10

• 17th International SPIN Workshop on Model Checking of Software
• September 27 - 29, 2010, University of Twente, The Netherlands
• Submission deadline (title and abstract): April 9, 2010
• Submission deadline (full paper): April 16, 2010
• Relevance: state space-based techniques for the validation and analysis of software systems
• URL: http://www.utwente.nl/spin2010/

• 15th International Workshop on Formal Methods for Industrial Critical Systems
• September 20-21, 2010, Antwerp, Belgium
• Submission deadline (abstracts): April 17, 2010 (extended)
• Submission deadline (full papers): April 25, 2010 (extended)
• Relevance: Design, specification, code generation and testing based on formal methods; Methods, techniques and tools to support automated analysis
• URL: http://es.fbk.eu/events/fmics2010

• 8th International Conference on Computational Methods in Systems Biology
• September 29 - October 1, 2010, Trento, Italy
• Submission deadline (title and abstract): April 25, 2010
• Submission deadline (complete paper): May 2, 2010
• Submission deadline (poster): June 23, 2010
• Relevance: concurrency theory, modeling, simulation, analysis
• URL: http://www.cosbi.eu/cmsb2010/

• 12th Workshop on MAthematical performance Modeling and Analysis
  Workshop of SIGMETRICS 2010
• June 18, 2010, Columbia University, New York, NY, USA
• Abstract Submission deadline: May 3, 2010
• Relevance: mathematical, methodological and theoretical aspects of performance analysis, modeling and optimization
• URL: http://www.sigmetrics.org/sigmetrics2010/mama10cfa.shtml

• 10th International Conference on Formal Methods in Computer-Aided Design
• October 20-23, 2010, Lugano, Switzerland
• Submission deadline (abstracts): May 5, 2010
• Submission deadline (full papers): May 12, 2010 (extended)
• Relevance: formal reasoning about computing systems
• URL: http://fmcad10.iaik.tugraz.at/

• 10th International Conference on Runtime Verification
• November 1 - 4, 2010, Sliema, Malta
• Submission deadline (tutorial proposals): May 1, 2010
• Submission deadline (regular and short papers): June 8, 2010 (extended)
• Submission deadline (tool demonstration proposals): June 15, 2010
• Relevance: monitoring and analysis of software or hardware system executions
• URL: http://www.rv2010.org

• 8th International Conference on Integrated Formal Methods
• October 11-14 2010, Nancy, France
• Submission deadline (abstracts): May 21, 2010 (extended)
• Submission deadline (full papers): May 28, 2010 (extended)
• Relevance: formal modeling, semi-formal modeling, anaylsis
• URL:

• 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software
• September 20, 2010, Antwerp, Belgium
• Submission deadline: May 31, 2010
• Relevance: This workshop focuses on the theoretical and practical aspects related with the adoption of MBD methodologies (notation, process, methods, and tools) for supporting the construction of software for pervasive and embedded software.
• URL: http://www.di.uminho.pt/~mompes/2010/

• 7th International Workshop on Web Services and Formal Methods
  co-located with the 8th Int. Conference on Business Process Management (BPM 2010)
• September 16-17, 2010, New Jersey, USA
• Submission deadline (title and abstract): May 28, 2010
• Submission deadline (full paper): June 4, 2010
• Relevance: Formal approaches to enterprise modeling and business process modeling
• URL: http://www.cs.ucsb.edu/~vlab/ws-fm10/

• 1st International Conference on Parallel, Distributed and Grid Computing
• October 28-30, 2010, Waknaghat, Solan (HP), India
• Submission deadline (full paper): June 14, 2010 (extended)
• Relevance: forum for researchers and practitioners interested in recent advances in the areas of parallel, distributed and grid computing
• URL: http://www.juit.ac.in/pdgc-2010/

• 3rd Annual North American Simulation Technology Conference
• August 25-27, 2010, Digipen Institute of Technology, Redmond-Seattle, USA
• Submission deadline: June 5, 2010
• Relevance: modelling and simulation, petri nets are explicitly mentioned in the CfP
• URL: http://www.eurosis.org/cms/?q=taxonomy/term/232

• 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi
  An Affiliated Workshop of CMC11
• August 23-24, 2010, Jena, Germany
• Submission deadline (titel + abstract): June 18, 2010 (extended)
• Submission deadline (full paper): June 25, 2010 (extended)
• Relevance: biologically inspired models and calculi
• URL: http://www.info.uaic.ro/~mecbic/mecbic2010

• 4th International Workshop on Testing, Analysis, and Verification of Web Software
• September 20-24, 2010, Antwerp, Belgium
• Submission deadline (abstracts): June 15, 2010
• Submission deadline (papers): June 22, 2010 (extended)
• Relevance: Distributed nature of Web accessible software components
• URL: http://www.tav-web.org/

• 9th International Workshop on Parallel and Distributed Methods in Verification
• September 30 - October 1, 2010, Twente, The Netherlands
• Submission deadline (title and abstract): June 14, 2010
• Submission deadline (full paper): June 21, 2010
• Relevance: verification and analysis of very large computer systems (mostly in connection with issues in parallel and distributed programming)
• URL: http://pdmc.cz/PDMC10/

• Tenth International Workshop on Automated Verification of Critical Systems
• September 21-23, 2010, Düsseldorf, Germany
• Submission deadline (full papers): July 2, 2010 (extended)
• Submission deadline (short contributions): August 27, 2010
• Relevance: specification, model checking, verification
• URL: http://www.formal-methods.de/avocs2010

• 7th International Workshop on Formal Aspects of Component Software
• October 14-16, 2010, Guimaraes, Portugal
• Submission deadline (title and abstract): July 28, 2010 (extended)
• Submission deadline (full paper): August 2, 2010 (extended)
• Relevance: formal models for software components and component interaction; formal aspects of Web services and business processes
• URL: http://www.di.uminho.pt/facs2010/

• 19th Euromicro International Conference on Parallel, Distributed and Network-based Processing
• February 9-11, 2011, Ayia Napa, Cyprus
• Submission deadline: July 16, 2010
• Relevance: distributed Systems
• URL: http://www.pdp2011.org

• 26th Annual ACM Symposium on Applied Computing
• March 21-25, 2011, TaiChung, Taiwan
• Submission deadline: August 31, 2010 (extended)
• Relevance:
  • Software Verification and Testing Track
  • Embedded Systems - Applications, Solutions, and Techniques Track
• Symposium URL: http://www.acm.org/conferences/sac/sac2011/

• Third International Workshop on UML & Formal Methods
• November 16, 2010, Shanghai, China
• Submission deadline: September 19, 2010 (extended)
• Relevance: informal, semi-formal and formal notation for modelling and software engineering
• URL: http://www.artist-embedded.org/artist/UML-FM-2010.html

• 2nd ACM/SPEC International Conference on Performance Engineering
  WOSP/SIPEW 2011
• Mardch 14-16, 2011, Karlsruhe, Germany
• Submission deadline (research papers): September 18, 2010
• Submission deadline (industrial/experience papers): October 18, 2010
• Submission deadline (poster and demo papers): October 15, 2010
• Submission deadline (work-in-progress and vision papers): January 15, 2011
• Relevance: Performance modeling; Performance measurement and analysis
• URL: http://www.icpe-conference.org/

• The European Joint Conferences on Theory and Practice of Software
• March 26 - April 3, 2011, Saarbruecken, Germany
• Submission deadline (title and abstract): October 1, 2010 (strict!)
• Submission deadline (complete paper): October 8, 2010 (strict!)
• Relevance: Among the five main conferences three might be of particular relevance:
  • FOSSACS (Foundations of Software Science and Computation Structures)
  • FASE (Fundamental Approaches to Software Engineering)
  • TACAS (Tools and Algorithms for the Construction and Analysis of Systems)
  Furthermore, many workshops and other events will take place at ETAPS 2011.
• URL: http://www.etaps.org

• Ninth Workshop on Quantitative Aspects of Programming Languages
  a Satellite Event of ETAPS 2011
• April 1 & 2, 2011, Saarbrucken, Germany
• Submission deadline (regular paper): December 17, 2010
• Relevance: probabilistic, timing and general quantitative aspects in: Distributed Systems, Concurrent Systems, Performance Analysis, ...
• URL: http://www.dcs.gla.ac.uk/qapl11/

• Computability in Europe 2011: Models of Computation in Context
• June 27 - July 2, 2011, Sofia, Bulgaria
• Submission deadline: January 14, 2010
• Relevance: concurrency and distributed computation
• URL: http://cie2011.fmi.uni-sofia.bg/

• 3rd Central-European Workshop on Services and their Composition
• February 21-22, 2011, Karslruhe, Germany (rescheduled!)
• Submission deadline (paper and tool demonstration): January 15, 2011
• Relevance: engineering services, their orchestration and choreography;
  modeling, specification, verification;
  establish contacts between young researchers in the region
• URL: http://zeus2011.aifb.kit.edu/

• 6th International Federated Conferences on Distributed Computing Techniques
• June 6-9, 2011, Reykjavik, Iceland
• Submission deadline (abstract): February 13, 2011 (extended)
• Submission deadline (full papers): February 20, 2011 (extended)
• Relevance: Different conferences with topics in distributed computing:
  • 13th International Conference on Coordination Models and Languages (COORDINATION 2011)
  • 11th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2011)
  • 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems (FMOODS & FORTE)
• URL: http://discotec.ru.is/

• 9th Annual International Industrial Simulation Conference
• June 6-8, 2011, Wenice, Italy
• Early Submission deadline: January 25/February 20, 2011
• Late Submission deadline: March 20, 2011
• Relevance: simulation (related to industry)
• URL: http://www.eurosis.org/cms/?q=node/1615

• 8th International Colloquium on Theoretical Aspects of Computing
• August 31 - September 2, 2011, Johannesburg, South Africa
• Submission deadline (abstracts):March 15, 2011
• Submission deadline (full papers):March 22, 2011
• Relevance: models of concurrency, theory of distributed computing, ...
• URL: http://www.ictac.net/ictac2011/

• Fourth International Workshop on UML & Formal Methods
• June 20, 2011, Limerick, Ireland
• Submission deadline: April 30, 2011 (extended)
• Relevance: informal, semi-formal and formal notation for modelling and software engineering
• URL: http://www.artist-embedded.org/artist/UML-FM-2011.html

• 9th International Conference on Computational Methods in Systems Biology
• September 21 - 23, 2011, Paris, France
• Submission deadline (title and abstract): April 29, 2011
• Submission deadline (complete paper): May 6, 2011
• Relevance: concurrency theory, modeling, simulation, analysis
• URL: http://contraintes.inria.fr/CMSB11/

• 5th International Workshop on Verification and Evaluation of Computer and Communication Systems
• September 15 - 16, 2011, Tuni, Tunisia
• Submission deadline: May 15, 2011
• Relevance: model-checking, verification, performance and robustness evaluation
• URL: http://www.vecos-world.org/

• 10th International Workshop on Parallel and Distributed Methods in Verification
• July 14, 2011, Cliff Lodge, Snowbird, Utah
• Submission deadline: May 16, 2011
• Relevance: verification and analysis of very large computer systems (mostly in connection with issues in parallel and distributed programming)
• URL: http://pdmc.cz/PDMC11/

• Fourth International Workshop on Logics for Agents and Mobility
  a satellite workshop of CONCUR 2011
• September 10, 2011, Aachen, Germany
• Submission deadline: June 13, 2011
• Relevance: concurrency theory with a focus on mobility or dynamics in agent systems
• URL: http://web.me.com/farwer/LAM11

• 3rd International Workshop on Computational Models for Cell Processes
  in conjunction with CONCUR 2011
• September 10, 2011, Aachen, Germany
• Submission deadline: May 23, 2011
• Relevance: Formal models for cellular pathways
• URL: http://combio.abo.fi/compmod11/

• 11th International Conference on Formal Methods in Computer-Aided Design
• October 30 - November 2, 2011, University of Texas at Austin, Texas, USA
• Submission deadline (abstracts): May 11, 2011
• Submission deadline (full papers): May 18, 2011
• Relevance: formal reasoning about computing systems
• URL: http://www.fmcad.org

• 9th International Workshop on Security Issues in Concurrency
  a satellite workshop of CONCUR 2011
• September 5, 2011, Aachen, Germany
• Submission deadline: June 3, 2011
• Relevance: cover the gap between the security and the concurrency communities
• URL: http://www.lix.polytechnique.fr/~kostas/SecCo2011/

Call for Participation (sorted by event date)

• Special Track on Embedded Systems: Applications, Solutions, and Techniques
• March 13-17, 2005, Santa Fe, New Mexico, USA
• Registration deadline: (visit URL below)
• Relevance: simulation techniques for embedded systems
• URL: http://www.ing.unipi.it/sac04

• Workshop on Verification of Infinite State Systems with Application to Security
• March 17-22, 2005, Timisoara, Romania
• Registration deadline: (visit URL below)
• Relevance: techniques for modeling and analysis of infinite-state systems
• URL: http://vissas.ieat.ro/

• 3rd Workshop on Quantitative Aspects of Programming Languages
• April 2-3, 2005, Edinburgh, Scotland
• Submission deadline: December 19, 2004
• Relevance: performance analysis
• URL: http://www.doc.ic.ac.uk/~qapl05/

• 38th Annual Simulation Symposium
• April 2-8, 2005, San Diego, California, USA
• Registration deadline: (visit URL below)
• Relevance: simulation based performance analysis; simulation languages, tools, and environments
• URL: http://agent.csd.auth.gr/~karatza/ANSS38

• The European Joint Conferences on Theory and Practice of Software
• April 2-10, 2005, Edinburgh, Scotland
• Early registration deadline: February 14, 2005
• Relevance: FOSSACS (models of concurrent, reactive, distributed, and mobile systems); FASE (rigorous approaches to modeling and specification); TACAS (integration of formal methods and static analysis in high-level hardware design)
• URL: http://www.etaps05.inf.ed.ac.uk/

• Conference on Foundations of Software Science and Computation Structures
• April 2-10, 2005, Edinburgh, UK
• Registration deadline: (visit URL below)
• Relevance: models of concurrent, reactive, distributed, and mobile systems
• URL: http://www.informatics.sussex.ac.uk/fossacs05

• 4th International Workshop on Performance Modeling, Evaluation, and Optimization of Parallel and Distributed Systems
• April 4-8, 2005, Denver, Colorado, USA
• Registration deadline: (visit URL below)
• Relevance: predictive performance models of parallel and distributed systems; simulation; software tools for system performance and evaluation
• URL: http://www.inf.brad.ac.uk/~gmin/PMEO-05.html

• 5th European Dependable Computing Conference
• April 20-22, 2005, Budapest, Hungary
• Registration deadline: (visit URL below)
• Relevance: "research dealing with the use of semi-formal and formal validation and modeling techniques is particularly relevant to the conference"
• URL: http://sauron.inf.mit.bme.hu/EDCC5.nsf

• 5th IEEE/ACM International Symposium on Cluster Computing and the Grid
• May 9-12, 2005, Cardiff, UK
• Registration deadline: (visit URL below)
• Relevance: performance evaluation and modeling
• URL: http://www.cs.cf.ac.uk/ccgrid2005/

• 19th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation
• June 1-3, 2005, Monterey, California, USA
• Registration deadline: (visit URL below)
• Relevance: the construction of simulation engines using advanced computer science technology; advanced modeling techniques that allow solution of previously difficult or impossible problem domains; simulation visualization techniques
• URL: http://www.pads-workshop.org/pads2005

• The International Conference on Dependable Systems and Networks
• June 28-July 1, 2005, Yokohama, Japan
• Registration deadline: (visit URL below)
• Relevance: analytical and simulation techniques for performance and dependability assessment
• URL: http://www.dsn.org

• 17th World Congress on Scientific Computation, Applied Mathematics and Simulation
• July 11-15, 2005, Paris, France
• Registration deadline: (visit URL below)
• Relevance: modeling, supervision and simulation of systems
• URL: http://imacs2005.ec-lille.fr

• Fifth International Workshop on Software and Performance
• July 11-15, 2005, Palma, Illes Balears, Spain
• Registration deadline: (visit URL below)
• Relevance: modelling tools and techniques; performance measurement, modelling, and management for software systems
• URL: http://wosp2005.uib.es/

• First Workshop on Visual Modeling for Software Intensive Systems
• September 24, 2005, Dallas, Texas, USA
• Registration deadline: (visit URL below)
• Relevance: visual modeling techniques
• URL: http://vmsis05.upb.de/