science.mathematics.petri-nets (date)

science.mathematics.petri-nets (date)

February 28, 2006

2nd CFP - CIAA 2006 (11th Int'l Conf. on Implementation and Application of Automata), Hsu-Chun Yen

February 27, 2006

Parallel and Distributed Methods in Verification (PDMC06 1st cfp), Jaco van de Pol
MOCA'06: Call for Papers, Daniel Moldt
Indian Institute of Information Technology - M. Tech thesis student, lakshminarayana reddy

February 25, 2006

MESM2006, Alexandria, Egypt, August 28-30, 2006, CFP, phil
Full Professor position Business Process Management at TUe, Vonk, J.

February 23, 2006

RISE 2006 - Intl. Workshop. CFP on Rapid Integration of Software Engineering techniques, Nicolas Guelfi
2nd CFP: Visual Languages and Human-Centric Computing 2006, Judith Good

February 20, 2006

CfP: BPOKI'06 - "Business Process Oriented Knowledge Infrastructures" Deadline April 02 2006, Markus Strohmaier
CFP: INTER-PERF, Milan Vojnovic
Call for Papers CMSB06, Monika Heiner
CFP: IEEE CIT 2006, Hui Wang
which tool should I use?, Daniele Cucchi

February 15, 2006

cfp of EPEW'06, submission deadline has changed to March 1st, EPEW2006
Goedel Young Scholars' Competition - deadline 24 February, 2006, goedel2006

February 14, 2006

CFP: FOCA - Formal Ontologies for Communicating Agents, Carlos Areces
Postdoctoral position at LIAFA (Paris, France), Peter HABERMEHL

February 11, 2006

CMCS 06 Short Contributions final CFP, ajp
CFP: WORKSHOP ON LOGICS FOR RESOURCE BOUNDED AGENTS, Carlos Areces

February 10, 2006

CfPart: MMB 2006 in Nuremberg, Armin Heindl
CFP: special session on 'Discrete Event modelling for exploitation of transport systems ', Simon.Collart_dutilleul
RE: HIGH LEVEL PETRI NETS, PLC-CODE AND VALIDATION MODEL TOOLS, Armando . Colombo

February 09, 2006

Reminder: Call for paper of the Special Session on Petri Nets and Discrete Event Systems. IEEE SMC 2006, Maria Pia Fanti
RE: HIGH LEVEL PETRI NETS, PLC-CODE AND VALIDATION MODEL TOOLS, Ira Baxter

February 08, 2006

HIGH LEVEL PETRI NETS, PLC-CODE AND VALIDATION MODEL TOOLS, César J. Murillo
CONCUR 2006 Call for Papers, Frank Ciesinski
Last CFP: HPC&S'06: Track in ECMS 2006, Helen Karatza
CFP: Rationality and Knowledge Workshop, Carlos Areces
VALUETOOLS 2006 - Call for Papers, Giovanni Stea
QEST 2006: CFP (3rd International Conference on Quantitative Evaluation of SysTems), Alma . Riska

February 06, 2006

CFP: invited session on "Performance Evaluation and Analysis of Petri Net Time Extensions", Simon.Collart_dutilleul
PSI 2006:EXTENDED Deadline: February 12, 2006, PSI06 Conference
I2CS 2006, Herwig Unger
CHINACOM 2006 First Call For Papers, Yabin Ye

February 01, 2006

LPAR 2006 call for papers, Miki Hermann

News | FAQ | advertise