science.mathematics.petri-nets (date)

science.mathematics.petri-nets (date)

September 24, 2007

ProM 4.2 released, Verbeek, H.M.W.
Call-for papers: ACSD'08 in Xi'an, China, maciej koutny
did anyone have the attached papers?, Eman Hossny
ISORC 2008 Call for Papers, Robert Pettit

September 21, 2007

PhD position on Testing Methods Applied to the Verification of Behavioral Models at LAAS-CNRS in Toulouse (France), Nicolas Rivière
FMCAD 2007 Early Registration, jasonb

September 20, 2007

2nd call for papers: idpt2008 petri net session, 趙玉
ESM2007, October 22-24, St.Julians Malta, Preliminary Programme, phil
CFP: GT-VMT 2008, Claudia Ermel
CfP: MOMPES 2008 (published by IEEE CS Press), Ricardo Jorge Silvério Magalhães Machado
CfPart: VALUETOOLS 2007 (early registration deadline September 23), Armin Zimmermann

September 18, 2007

MMB2008: CFP (Submission Deadline: 01. Oct 2007), Falko Bause
1st CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07), Demis

September 17, 2007

CFP: RV'08, Martin Leucker
Call for Papers: 41th Annual Simulation Symposium, Helen Karatza
Call for Papers: MAS² 2008, Daniel Moldt

September 14, 2007

Postdoc Position on the "Design and Analysis of Data Paths Using Petri Nets" in Eindhoven, Aalst, W.M.P. van der
CFP: 2008 International Conference on Networking, Sensing and Control, Wang, Jiacun

September 12, 2007

QoSim 2008 - Call for Papers, info
sad news, Lucia Pomello
CiE 2008 - 1st Call for Papers, Arnold Beckmann
Call for Papers - PNTAP'08, Laure Petrucci

September 11, 2007

ICALP 2008 - Second Call for Workshops, Icalp08
PEPM 2008: abstracts due Oct 12, Oege . de . Moor
Book announcement: Modelling Distributed Systems, Wan Fokkink

September 04, 2007

Call for Editorial Boards Members, M.E. Fayad
Call for Participation: Workshop on Automata and Logic (December 14 - 15, 2007, Aachen, Germany), Klaas Ole Kürtz

September 03, 2007

Diagrams 2008: First Call for Papers, Andrew . Fish
FMCAD 2007 Call for Participation, jasonb

News | FAQ | advertise