------------------------------------------------------------------ IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2012)
Saturday September 8, 2012 (9:00-13:00), Newcastle upon Tyne (UK) Affiliated with CONCUR 2012 and The Newcastle Connection http://www.win.tue.nl/trends12/ ------------------------------------------------------------------ TRENDS 2012 is an event organised by IFIP WG 1.8 on Concurrency Theory. It aims at bringing together researchers interested in concurrency theory and its applications to discuss recent trends, exchange ideas and discuss open problems. The event will take place in the morning of September 8, 2012 and will consist of talks by the following invited speakers: Silvia Crafa (Università di Padova, Italy) Ursula Goltz (TU Braunschweig, Germany) Kohei Honda (Queen Mary & Westfield College, United Kingdom) Bill Roscoe (University of Oxford, United Kingdom) For a detailed programme with titles and abstracts of talks we refer to http://www.win.tue.nl/trends12. PARTICIPATION: Please register for TRENDS 2012 via the registration page of The Newcastle Connection 2012: http://conferences.ncl.ac.uk/concur-2012/registration.html. Note that the deadline for early registration is August 3, 2012. ORGANISERS: Jos Baeten (CWI, NL) Bas Luttik (Eindhoven University of Technology, NL) IFIP WG 1.8: The aims of IFIP WG 1.8 on Concurrency Theory are: - To develop theoretical foundations of concurrency, exploring frontiers of existing theoretical models like process algebra and process calculi, so as to obtain a deeper theoretical understanding of concurrent and parallel systems. - To promote and coordinate the exchange of information on concurrency theory, exchanging ideas, discussing open problems, and identifying future directions of research in the area. The activities of this WG encompass all aspects of concurrency theory and its applications. ---- [[ 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] ]]
