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: Dezember 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 Dezember 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: Dezember 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: Dezember 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: Dezember 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, 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/

• 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/

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

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/