Dear Petri-netters, we are pleased to announce that the Call for Papers for the upcoming 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency is now available. It can be found at: http://www.informatik.uni-hamburg.de/TGI/PetriNets/meetings/pn2009/ The conference will be held in Paris, France on 22-26 June, 2009. Information will be regularly [...]
CALL FOR PAPERS ICLP’08 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it CONFERENCE SCOPE —————- Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers, position papers, and posters) are sought in all areas of logic programming [...]
[Apologies for multiple copies] *********************************************************************** CALL FOR Posters/Demos 22nd European Conference on Object-Oriented Programming Paphos, Cyprus July 7th – 11th, 2008 http://2008.ecoop.org *********************************************************************** POSTERS: http://2008.ecoop.org/poster.html A poster submission should include a short description of the poster content suitable for evaluation and a one paragraph summary (from 70 to 150 words) of the poster suitable for [...]
This is a multi-part message in MIME format. ————–040802080302020702060009 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D INFINITY 2008 10th International Workshop on Verification of Infinite-State Systems Toronto, Canada, 23rd of August 2008 (A Satellite Workshop of CONCUR 2008.) http://www.fit.vutbr.cz/events/infinity08/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Please note: the submission deadline (May 31, 2008) is coming fast. [...]
Apologies for multiple copies…. ——————- FMWS 2008 First Workshop on Formal Methods for Wireless Systems 23 August, 2008, Toronto, Canada Satelite workshop of CONCUR 2008 http://www.itu.dk/events/FMWS08/ Scope —– The FMWS workshop aims at bringing together researchers interested in formal methods for wireless systems. More specifically, it puts focus on theories for semantics, logics, and verification [...]
****************************************************************** Call for Participation SAS – LOPSTR – PPDP – PLID 2008 http://www.dsic.upv.es/~slp2008/ Valencia, Spain ****************************************************************** IMPORTANT DATES: Early registration: June 10, 2008 ****************************************************************** SAS 2008, July 16-18 Static Analysis Symposium http://www.dsic.upv.es/~sas2008/ LOPSTR 2008, July 17-18 Symposium on Logic-Based Program Synthesis and Transformation http://www.informatik.uni-kiel.de/%7Emh/lopstr08/ PPDP 2008, July 15-17 ACM SIGPLAN Symposium on Principles and Practice [...]
There are enough models of true concurrency by now as to make it difficult to find a single paper comparing them all from a common perspective. The following paper has the benefits of being relatively recent, avoiding category theory, and viewing the models it considers from a single unifying perspective. ——- Rob van Glabbeek, On [...]
There are enough models of true concurrency by now as to make it difficult to find a single paper comparing them all from a common perspective. The following paper has the benefits of being relatively recent, avoiding category theory, and viewing the models it considers from a single unifying perspective. ——- Rob van Glabbeek, On [...]
MERY Dominique mery@loria.fr Summary of the topics The aim of this project is to investigate the modelling of medical device software and systems using formal techniques and using proof assistants. Classical methods like tests have reached their limits and the development of medical device software and systems is a crucial issue, since the society should [...]
MERY Dominique mery@loria.fr Summary of the topics The aim of this project is to investigate the modelling of medical device software and systems using formal techniques and using proof assistants. Classical methods like tests have reached their limits and the development of medical device software and systems is a crucial issue, since the society should [...]