Call for Papers and Other Useful Academic Information

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 published via the conference web site
at:
http://petrinet2009.lip6.fr/
The deadline […]

CALL FOR PAPERS
ICLP’08
24th International Conference […]

[Apologies for multiple copies]
***********************************************************************
CALL FOR Posters/Demos
22nd European Conference on Object-Oriented Programming
[…]

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.
=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
Aim:
The aim of the INFINITY workshop is to provide a forum for researchers=20
interested in the development […]

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 techniques for wireless systems. Wireless
systems are rapidly
increasing their success in real-world applications while […]

******************************************************************
Call for Participation
SAS - LOPSTR - PPDP - PLID 2008
[…]

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 the Expressiveness of Higher Dimensional […]

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 the Expressiveness of Higher Dimensional […]

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 […]

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 […]