Call for Workshop Papers
======================
THE NEWCASTLE CONNECTION 2012
3rd-8th September 2012
http://conferences.ncl.ac.uk/tnc/
======================
The Newcastle Connection 2012 (taking place from 3rd to 8th September 2012) is
a week-long series of meetings for academic and industrial researchers working
on topics relating to the formal modelling, analysis and engineering of complex
computing systems, including those involving high degree of concurrency in
their dynamic behaviour.
The Newcastle Connection 2012 consists of three main conferences:
23rd International Conference on Concurrency Theory, CONCUR 2012
22nd International Workshop on Power and Timing Modeling, Optimization and
Simulation, PATMOS 2012
7th Symposium on Trustworthy Global Computing, TGC 2012
and several workshops to which research paper can still be submitted (please
follow the links in http://conferences.ncl.ac.uk/tnc/):
Expressiveness in Concurrency and Structural Operational Semantics,
EXPRESS/SOS
submission deadlines: 1 June 2012 (abstracts) and 8 June 2012 (full papers)
Games for Design, Verification and Synthesis, GASICS
submission deadline: 22 June 2012
Hybrid Systems and Biology, HSB
submission deadlines: 15 June 2012 (abstracts) and 22 June 2012 (full papers)
Trustworthy Cyber-Physical Systems, TCPS
submission deadline: 15 June 2012
Young Researchers Workshop on Concurrency Theory, YR-CONCUR
submission deadline: 29 June 2012
Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA
submission deadlines: 25 May 2012 (abstracts) and 1 June 2012 (full papers)
Membrane Computing and Biologically Inspired Process Calculi, MeCBIC
submission deadlines: 11 June 2012 (abstracts) and 16 June 2012 (full papers)
======================
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
