[apologies for multiple copies] *** Please note that the EARLY REGISTRATION has been extended until 25th August 2012 ! ***
Last Call for Participation ====================== 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: - Expressiveness in Concurrency and Structural Operational Semantics, EXPRESS/SOS - Games for Design, Verification and Synthesis, GASICS - Hybrid Systems and Biology, HSB - Trustworthy Cyber-Physical Systems, TCPS - Young Researchers Workshop on Concurrency Theory, YR-CONCUR - Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA - Membrane Computing and Biologically Inspired Process Calculi, MeCBIC - Trends in Concurrency Theory preceded by the annual meeting of IFIP WG 1.8 on Concurrency Theory REGISTRATION Please visit: http://conferences.ncl.ac.uk/tnc/registration.html Early registration deadline (extended): 25th August 2012 For registration-related queries, including any visa letter requirements, please contact: [email protected] ====================== ---- [[ 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] ]]
