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, 200, 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
• Early registration deadline: May 6, 2005
• Relevance: modeling and simulation; analysis techniques and formal methods; performance analysis and validation techniques; discrete event simulation methodology and tools
• URL: http://www.mascots-conf.org

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/