Conferences
Current and Recent Conferences
Members of the Computer Systems Engineering Centre have been or are currently members of the Steering or Program Committees of the following conferences:
- CPN'09 - Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 19-21, 2009.
- ATVA 2009 - 7th International Symposium on Automated Technology for Verification and Analysis, Macao SAR, China, October 13-16, 2009.
- MOCA'09 - Fifth International Workshop on Modelling of Objects, Components, and Agents, Hamburg, Germany, September 11, 2009.
- Petri Nets 2009 - 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Paris, France, June 22-26, 2009.
- MSVVEIS 2009 - 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Milan, Italy, May 6-7, 2009.
- ATVA 2008 - 6th International Symposium on Automated Technology for Verification and Analysis, Seoul, Korea, October 20-23, 2008.
- ACSD 2008 - 8th International Conference on Application of Concurrency to System Design, Xi'an, China, June 23-27, 2008.
- Petri Nets 2008 - 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Xi'an, China, June 23-27, 2008.
- MSVVEIS 2008 - 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Barcelona, Spain, June 12-13, 2008.
-
FORTE 2008 - 28th IFIP
WG6.1 International Conference on Formal Techniques for Networked and
Distributed Systems, Tokyo, Japan, June 10-13, 2008. - PNTAP 2008 - International Workshop on Petri Nets Tools and Applications, Marseille, France, March 3, 2008.
- ATVA 2007 - 5th International Symposium on Automated Technology for Verification and Analysis, Tokyo, Japan, October 22-25, 2007.
- CPN'07 - Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007.
- ACSD 2007 - 7th International Conference on Application of Concurrency to System Design, Bratislava, Slovak Republic, July 10-13, 2007.
- PNS 2007 - Workshop on Petri Net Standards 2007 (Satellite workshop of Petri Nets 2007), Siedlce, Poland, June 26, 2007.
- PNSE 2007 - International Workshop on Petri Nets and Software Engineering (Satellite workshop of Petri Nets 2007), Siedlce, Poland, June 25-26, 2007.
- Petri Nets 2007 - 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Siedlce, Poland, June 25-29, 2007.
- TACAS 2007 - 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Braga, Portugal, March 24 - April 1, 2007.
Hosted Conferences
In 2002, the Computer Systems Engineering Centre hosted the 23rd International Conference on the Application and Theory of Petri Nets (ICATPN), Adelaide, Australia, June 24-28, 2002.