petrinet

Messages by Date

2013/09/30 (PN) FASE 2014: Final Call for Papers (abstract deadline 4 Oct) Arend Rensink
2013/09/30 (PN) CFP for EDCC 2014 Marc-Olivier Killijian
2013/09/30 (PN) FMCAD 2013 Call for Participation Chao Yan
2013/09/18 (PN) MIDAS EU project - Postdoc in test and model checking Fabrice Kordon
2013/09/17 (PN) Open Ph.D. fellowship at Verimag, Grenoble, FRANCE Ylies Falcone
2013/09/17 (PN) 1st CFP MESM'2014, 14TH Annual Middle Eastern Simulation and Modelling Conference, February 3-5, 2014, AOU, Muscat, Oman Philippe Geril
2013/09/17 (PN) LATA 2014: 3rd call for papers GRLMC
2013/09/17 (PN) Software Verification and Testing Track at ACM SAC 2014: Submission deadline extended Jun PANG
2013/09/17 (PN) SynCoP 2014: 1st Call for Papers Étienne André
2013/09/11 (PN) MCC'2013 - final pdf report is out Fabrice Kordon
2013/09/11 (PN) CMCS 2014: First call for papers Alexandra Silva
2013/09/10 (PN) FESCA@ETAPS 2014: CfP for 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, April 12th, 2014, Grenoble, France Lucia Happe
2013/09/10 (PN) VMCAI 2014 DEADLINE EXTENSION Xavier Rival
2013/09/06 (PN) Call for papers: ACM TECS Special Issue on Application of Concurrency to System Design Petri Admin
2013/09/06 (PN) CfP: 4th International Workshop on Model-driven Approaches for Simulation Engineering part of the Symposium on Theory of Modeling and Simulation (SCS SpringSim 2014) Daniele Gianni
2013/09/06 (PN) CPN Tools 4.0 Released Westergaard, M.
2013/09/06 (PN) FMCAD 2013 Call for Participation Chao Yan
2013/09/06 (PN) Oberwolfach Seminar on Mathematics for Scientific Programming Jeremy . Gibbons
2013/09/06 (PN) Open PosDoc and PhD positions at the HPI (Prof. Giese) Giese, Holger
2013/09/02 (PN) Call for Participation FMICS 2013 mdierkes
2013/08/28 (PN) Postdoc positions in SAT/SMT-based Verification available in Trento Roberto Sebastiani
2013/08/21 (PN) FASE 2014 Call for Papers Arend Rensink
2013/08/19 (PN) ProM 6.3 "SalT" Released Verbeek, H.M.W.
2013/08/19 (PN) MCU 2013: Call for Participation Dmitry Zaitsev
2013/08/12 (PN) 3-year PhD Program in Computer Science at the Universita` di Verona, Italy (11 scholarships) Luca Vigano`
2013/08/12 (PN) 11 PhD scholarships 2013 -- Computer Science -- Pisa Rosaria Mongini
2013/08/12 (PN) 1st CfP: ICONS 2014 || February 23 - 27, 2014 - Nice, France Cristina Pascual
2013/07/30 (PN) FLoC Call for Workshops Georg Moser
2013/07/24 (PN) Invitation to organise Petri Net conferences in 2016 and 2017 Maciej Koutny
2013/07/24 (PN) Call for papers: ACM TECS Special Issue on Application of Concurrency to System Design Marta Koutny
2013/07/24 (PN) LATA 2014: 1st call for papers GRLMC
2013/07/17 (PN) ETAPS 2014 first call for papers Tarmo Uustalu
2013/07/17 (PN) Call for Participation: 10th International Colloquium on Theoretical Aspects of Computing Huibiao Zhu
2013/07/17 (PN) LPAR-19 in South Africa - Paper Deadline Geoff Sutcliffe
2013/07/15 (PN) Fwd: VECos 2013 (1st CfP) Kamel Barkaoui
2013/07/15 (PN) Vacancies for postdoctoral researchers in "Automated Analysis of Probabilistic Programs" Joost-Pieter Katoen
2013/07/15 (PN) VMCAI 2014 Call for Papers Xavier Rival
2013/07/10 (PN) 10th IWIL Workshop, in South Africa Geoff Sutcliffe
2013/07/10 (PN) CALCO 2013: call for participation Bartosz Klin
2013/07/10 (PN) [SKG 2013] Semantics, Knowledge and Grids - Call for Papers TASE 2013
2013/07/01 (PN) Two postdoc positions at Computational Biomodeling Laboratory, Turku, Finland Ion Petre
2013/07/01 (PN) CONCUR 2013 - Call for Participation Damian Barsotti
2013/06/26 (PN) FSFMA 2013: call for participation Étienne André
2013/06/26 (PN) MCC'2013 - results are out Fabrice Kordon
2013/06/26 (PN) CfP: 5th International Workshop on Non-functional Properties in Modeling: Analysis, Languages, Processes Simona Bernardi
2013/06/26 (PN) ICMC 2013: Call For Papers ICMC 2013
2013/06/24 (PN) ICMC 2013: Call For Papers Debasis Giri
2013/06/24 (PN) TPNC 2013: 3rd call for papers GRLMC
2013/06/24 (PN) Call for Papers AMPECS 2013 Katinka Wolter
2013/06/24 (PN) Deadline extension: LAFM - Latin American Workshop on Formal Methods Leila Ribeiro
2013/06/24 (PN) YR-CONCUR - Deadline extension (June 29) Damian Barsotti
2013/06/19 (PN) Process Mining Movie Aalst, W.M.P. van der
2013/06/19 (PN) 1st Call for Proposals: NASSLLI 2014 / North American Summer School in Logic, Language and Information Patricia Rich
2013/06/18 (PN) DIFTS'13: Second Call For Papers Malay Ganai
2013/06/18 (PN) Posting Call For Papers of ICMC 2013 dgiri
2013/06/18 (PN) ACSD 2013 Call for Participation Josep Carmona
2013/06/17 (PN) Final CfP IEEE CPSM'13 (Communicating Process and Software Models) - Deadline: 21 June 2013 Fahland, D.
2013/06/11 (PN) Two PhD vacancies on Process Mining at Eindhoven University of Technology Aalst, W.M.P. van der
2013/06/11 (PN) Petri Nets 2013 - Tools exhibition Luca Bernardinello
2013/06/10 (PN) SLSP 2013: call for participation GRLMC
2013/06/10 (PN) IEEE TSC special issue on "Processes meet Big Data" Rafael Accorsi
2013/06/06 (PN) Advanced Tutorial Petri Admin
2013/06/05 (PN) 2nd CFP: 27th Annual European Simulation and Modelling Conference, ESM'2013, October 23-25, 2013, Lancaster University, UK Philippe Geril
2013/06/05 (PN) Last CfP (deadline June 15th) -- 3rd Workshop on Formal Methods in the Development of Software: WS-FMDS 2013 Fernando Lopez Pelayo
2013/06/03 (PN) CFP: FM-RAIL-BOK Workshop Markus Roggenbach
2013/06/03 (PN) Open Ph.D. fellowship at Verimag, Grenoble, FRANCE Yliès Falcone
2013/06/03 (PN) CFP - IEEE Transactions on Cloud Computing Special Issue cfp
2013/06/03 (PN) Petri Net Course and Tutorials Milano, 23-25 June 2013 kleijn
2013/05/28 (PN) CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2014) Peter Höfner
2013/05/28 (PN) Call for Proposals for Workshops - Petri nets 2014 Serge Haddad
2013/05/28 (PN) CFP LAFM - Latin American Workshop on Formal Methods Leila Ribeiro
2013/05/28 (PN) CfP: 5th International Workshop on Non-functional Properties in Modeling: Analysis, Languages, Processes Marko Boskovic
2013/05/27 (PN) Software Verification and Testing Track at ACM SAC 2014: 1st CfP Jun PANG
2013/05/27 (PN) Vacancy: PhD working on Process Mining in SAP Aalst, W.M.P. van der
2013/05/27 (PN) WS-FM 2013: deadlines extended Alberto Lluch Lafuente
2013/05/27 (PN) An Open Phd Position at the Tempo group at VERIMAG, Grenoble Oded Maler
2013/05/27 (PN) Vacancy: PhD working on Process Mining in PriCE project at TU/e Aalst, W.M.P. van der
2013/05/27 (PN) WoLLIC 2013 - Darmstadt, Germany, Aug 20-23 - Call for Participation Ruy de Queiroz
2013/05/27 (PN) CiE 2013 in Milan, July 1 - 5: First Call for Participation S B Cooper
2013/05/25 (PN) PETRI NETS 2013 - Call for participation Lucia Pomello
2013/05/25 (PN) MCC'2013 - Live Event, call for participation Fabrice Kordon
2013/05/13 (PN) Call for Contributions to PhD Consortium - BPM 2013 (Beijing, China) Chun Ouyang
2013/05/13 (PN) MKWI'14 - Track: Modeling and Management of Secure Workflows Frank Böhr
2013/05/13 (PN) Third International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2013) Fulvio Frati
2013/05/13 (PN) Petri Nets Course - call for participation Lucia Pomello
2013/05/10 (PN) PN-Simulator Renew 2.4 available Lawrence Cabac
2013/05/08 (PN) 1st CFP: 27th Annual European Simulation and Modelling Conference, ESM'2013, October 23-25, 2013, Lancaster University, UK Philippe Geril
2013/05/08 (PN) PhD research position in SCARE Eike Best
2013/05/08 (PN) YR-CONCUR 2013 - Young Researchers Workshop on Concurrency Theory Nicolas Dipi
2013/05/08 (PN) CFP: 4th Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013) Maurice ter Beek
2013/05/08 (PN) FMCAD 2013 Final Call for Papers Chao Yan
2013/05/06 (PN) CfP Reachability Problems (RP'13) - Deadline: 24 May 2013 Potapov, Igor
2013/05/06 (PN) DIFTS'13: First Call For Papers Malay Ganai
2013/05/06 (PN) CfP ASPOCP 2013: 6th Workshop on Answer Set Programming and Other Computing Paradigms Yuliya Lierler
2013/05/06 (PN) PostDoc on Compositional Security Analysis for Binaries at Queen Mary University of London Dino Distefano
2013/05/06 (PN) Deadline Extension: Special Issue of ACM Transactions on Management Information Systems on Business Process Intelligence Aalst, W.M.P. van der
2013/05/06 (PN) Postdoc Research Fellow Positions Available on Model Checking, Security and Program Analysis in Singapore Liu Yang (Asst Prof)
2013/04/30 (PN) FMICS 2013 Deadline extended to May 10 mdierkes
2013/04/29 (PN) CFP: NiM-ALP2013, previously NFPinDSML Jose Merseguer
2013/04/29 (PN) Associate Professor Positions in Software Engineering at Bergen University College, Norway Lars Michael Kristensen
2013/04/29 (PN) PhD positions in Computer Science at IMT Lucca (Italy) - Deadline July 17, 2013 - Rocco De Nicola
2013/04/29 (PN) MCC'2013 - only a few days lefts (+ small deadline extension) Fabrice Kordon
2013/04/29 (PN) PhD studentship in Formal Verification Paolo Zuliani
2013/04/29 (PN) Reminder: PhD position on "Semantics and Verification of Accelerator Programming" Marieke Huisman
2013/04/24 (PN) ------ GandALF 2013 ----- FINAL CALL FOR PAPERS ----- Pietro Sala
2013/04/22 (PN) CFP: The 5th International Workshop on Workflow Management in Service and Cloud Computing (WMSC 2013) Mingzhong Wang
2013/04/22 (PN) Call for papers: FSFMA 2013 (deadline extension) Étienne André
2013/04/22 (PN) TPNC 2013: 1st call for papers GRLMC
2013/04/22 (PN) 1st Call for Papers CPSM'13 - IEEE Workshop Communicating Business Process and Software Models Dirk Fahland
2013/04/20 (PN) ART 2013 @ ACSD 2013: Deadline for paper submission: April 29st, 2013 Robin Bergenthum
2013/04/20 (PN) 2nd Call for Papers - 4th Annual NASTEC'2013, August 19-21, 2013, San Diego, USA Philippe Geril
2013/04/20 (PN) Nano-Tera/Artist International Summer School on Embedded System Design - September 9-13 Bliudze Simon
2013/04/20 (PN) CFP: 4th Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013) Dave Clarke
2013/04/20 (PN) TGC 2013: Last CFP *** deadline extended *** 8th International Symposium on Trustworthy Global Computing (TGC 2013), Buenos Aires, 30-31 August 2013 Alberto Lluch Lafuente
2013/04/19 (PN) CFP - IEEE International Workshop FMi 2013 Thouraya Bouabana Tebibel
2013/04/19 (PN) Postdoc Position in Rennes (France) on Synthesis and Simulation of Surgical Process Models Benoit Caillaud
2013/04/15 (PN) Call for Papers: EXPRESS/SOS 2013 Johannes Borgstrom
2013/04/15 (PN) FMCAD 2013 Second Call for Papers Chao Yan
2013/04/15 (PN) MoKMaSD 2013 - First Call for Papers Paolo Milazzo
2013/04/15 (PN) Final extension of IFIP NPC 2013 Submission deadline cfp
2013/04/14 (PN) ACSD 2013 PhD Track Second Call for Papers Mihai T. Lazarescu
2013/04/10 (PN) PNSE'13 @ Petri Nets 2013: Deadline for full papers: April 21st, 2013 PNSE13
2013/04/10 (PN) ModBE'13 @ Petri Nets 2013: Deadline for full papers: April 21st, 2013 ModBE'13
2013/04/10 (PN) Last CFP ESOCC 2013: European Conference on Service-Oriented and Cloud Computing esocc2013
2013/04/10 (PN) Declarative process mining with the Declare component of ProM Fabrizio Maria Maggi
2013/04/10 (PN) LPAR-19 CFP and Workshops Geoff Sutcliffe
2013/04/09 (PN) Special Issue of ACM Transactions on Management Information Systems on Business Process Intelligence Aalst, W.M.P. van der
2013/04/08 (PN) International Workshop on Cloud Data Mining Shawkat Ali
2013/04/08 (PN) PROFES 2013: Last Call for Short Papers & Posters Announcements
2013/04/08 (PN) 2nd Call for Papers MeCBIC 2013 -- workshop ICALP, Riga, 7th July Aman Bogdan
2013/04/08 (PN) tenure-track position in Theoretical Computer Science Fokkink, W.J.
2013/04/08 (PN) CFP: AusDM 2013 Lin Liu
2013/04/04 (PN) LPNMR 2013: 2nd Call For Papers Pedro Cabalar
2013/04/03 (PN) MCC'2013 - only 4 weeks left for call for tool submission Fabrice Kordon
2013/04/03 (PN) Associate Professors in Computer Science at Aarhus University Kurt Jensen
2013/04/02 (PN) SIMPDA 2013: Third International Symposium on Data-driven Process Discovery and Analysis Fulvio Frati
2013/04/02 (PN) CAISE 2013 Industry Track: Call for Papers Ignacio Panach Navarrete
2013/04/02 (PN) BPMS2'13 (BPM and Social Software) - Call for papers Selmin Nurcan
2013/04/02 (PN) ACSD 2013 PhD Track Call for Papers Mihai T. Lazarescu
2013/04/02 (PN) CALL FOR CONTRIBUTIONS: CALCO Early Ideas 2013 Alexandra Silva
2013/03/26 (PN) CALL FOR PAPERS: CALCO Tools 2013 Alexandra Silva
2013/03/26 (PN) 2nd Call for Papers: ICFEM 2013 - 15th International Conference on Formal Engineering Methods Huibiao Zhu
2013/03/26 (PN) CFP: 8th International Workshop on Critical Information Infrastructures Security (CRITIS 2013) Cristina Alcaraz
2013/03/26 (PN) GreenCom'2013 Call for Short Papers in Poster Sessions Jian Tang
2013/03/26 (PN) 3rd Workshop on Formal Methods in the Development of Software: WS-FMDS 2013 - Last call for papers (deadline April 5th) Fernando Lopez Pelayo
2013/03/24 (PN) SSTiC 2013: 2nd registration deadline 26 March GRLMC
2013/03/24 (PN) SFM-13:DS school in Bertinoro -- deadline extended to April 4 Marco Bernardo
2013/03/23 (PN) [2nd CFP] CMSB2013 - The 11th Annual Conference on Computational Methods in Systems Biology CMSB2013
2013/03/23 (PN) Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 8-12, 2013 Yliès Falcone
2013/03/23 (PN) Ackermann Award 2013 - Call for Nominations Anuj Dawar
2013/03/21 (PN) IEEE 2013 Third International Workshop on Security and Privacy Engineering (SPE2013) - DEADLINE EXTENSION: APRIL 1, 2013 Fulvio Frati
2013/03/21 (PN) [FSFMA] French Singaporean Workshop in Formal Methods and Applications Christine Choppy
2013/03/21 (PN) The EAPLS 2012 PhD Award goes to ... Delphine Démange Arend Rensink
2013/03/21 (PN) Associate Professor Position at Univ. Toulouse 3 and LAAS-CNRS / Design of Real-time Systems for Control Khalil Drira
2013/03/21 (PN) CiE 2013: Call for Informal Presentations CiE Conference Series
2013/03/20 (PN) ART 2013 @ ACSD 2013: Call for Papers Robin Bergenthum
2013/03/20 (PN) Call for Papers - 18th European Symposium on Research in Computer Security (ESORICS 2013) Giovanni Livraga
2013/03/20 (PN) Associate Professor Position at Univ. Toulouse 3 (IUT A) and LAAS-CNRS / Design of dynamic and autonomic architectures for QoS Khalil Drira
2013/03/19 (PN) ModBE'13 @ Petri Nets 2013: Call for Papers ModBE'13
2013/03/19 (PN) PNSE'13 @ Petri Nets 2013: Call for Papers PNSE13
2013/03/19 (PN) Fwd: Philippe Darondeau elisabeth pelz
2013/03/19 (PN) Deadline extension: SECURWARE 2013 || August 25 - 31, 2013 - Barcelona, Spain Cristina Pascual
2013/03/19 (PN) Call for Papers - MeCBIC 2013 / ICALP 2013 Riga Aman Bogdan
2013/03/19 (PN) BioPPN - 2nd CfP Monika Heiner
2013/03/18 (PN) EXTENDED DEADLINE: 18th IEEE Int. Conf. on Emerging Technologies & Factory Automation Maria Paola Cabasino
2013/03/18 (PN) CfP: EPEW 2013 European Performance Evaluation Workshop (Venice, IT) William Knottenbelt
2013/03/17 (PN) CFP: ICISS 2013 - 9th International Conference on Information Systems Security Adaikkalavan, Raman
2013/03/15 (PN) MCC'2013 - call for tool submission Fabrice Kordon
2013/03/15 (PN) 1st Call for Papers - SIMEX'2013, September 18-20, 2013, The Hotel, Brussels, Belgium philippe . geril
2013/03/15 (PN) Call For Papers: EuroMPI 2013 Paper. Last days for submissions. Deadline: March 29th, 2013 Javier Garcia Blas
2013/03/15 (PN) Call for Applications: ICLP Doctoral Student Consortium, Istanbul, Turkey, August 24 peterschueller
2013/03/13 (PN) Call for papers: FSFMA 2013 (PhD session) Étienne André
2013/03/13 (PN) WoLLIC 2013 - CFP - DEADLINE APPROACHING Ruy de Queiroz
2013/03/12 (PN) Call for Papers - 18th European Symposium on Research in Computer Security (ESORICS 2013) Giovanni Livraga
2013/03/12 (PN) The 1st International Workshop on Cloud Data Mining (IWCDM-2013) Shawkat Ali
2013/03/12 (PN) FORMATS 2013 - 2nd CFP Thomas Chatain
2013/03/12 (PN) Call for papers - IEEE FMi 2013 Sibertin-Blanc
2013/03/12 (PN) SSTiC 2013: 2nd announcement GRLMC
2013/03/12 (PN) CS2BIO 2013: 2nd Call for Papers Emanuela Merelli
2013/03/12 (PN) Fifth SoEA4EE Workshop (@ EDOC) - Call for Papers Selmin Nurcan
2013/03/12 (PN) SPIN 2013 - Abstract submission deadline waived Scott Stoller
2013/03/12 (PN) Call for Papers: FSFMA 2013, Singapore jun sun
2013/03/12 (PN) ICTAC 2013: The submission deadline has been extended to 22 March 2013. Huibiao Zhu
2013/03/12 (PN) SFM-13:DS school in Bertinoro -- last call for participation Marco Bernardo
2013/03/12 CFP: 11th Jornadas de Ingenier�a Telem�tica (JITEL 2013) Jaime Lloret Mauri
2013/03/08 (PN) Last Mile: COLLA 2013 || July 21 - 26, 2013 - Nice, France Cristina Pascual
2013/03/08 (PN) ACCAT 2013: final call for participation and invitation to discussion Fabio Gadducci
2013/03/08 (PN) The Sixth International Conference on Dependability DEPEND 2013: Call for Papers Jose Ignacio Aizpurua Unanue
2013/03/05 (PN) Research Assistantship at Oxford on Bidirectional Transformations Jeremy . Gibbons
2013/03/05 (PN) Call for Papers - 18th European Symposium on Research in Computer Security (ESORICS 2013) Giovanni Livraga
2013/03/04 (PN) CfP PALS 2013 Kamel Barkaoui
2013/03/02 (PN) QEST 2013 - Deadline extended one week Damian Barsotti
2013/03/02 (PN) Deadline Extended - 10th International Conference on Security and Cryptography (SECRYPT 2013) SECRYPT 2013
2013/03/02 (PN) Special Issue in the Transactions on Emerging Telecommunications Technologies Journal (ETT) on "High Performance Mobile Opportunistic Systems"Paper Submission: 15th March 2013 Constandinos X. Mavromoustakis
2013/03/02 (PN) IEEE TrustCom/ISPA/IUCC 2013 Deadline Extended to March 20 Yu Wang
2013/02/28 (PN) CFP "3rd Workshop on Formal Methods in the Development of Software: WS-FMDS 2013" Fernando Lopez Pelayo
2013/02/28 (PN) WS-FM 2013: First Call for Papers Emilio Tuosto
2013/02/26 (PN) LATA 2013: call for participation URV - RESEARCH GROUP ON MATHEMATICAL LINGUISTICS
2013/02/26 (PN) [ETAPS 2013] Final Call for Participation Joost-Pieter Katoen
2013/02/26 (PN) ESOCC 2013 CFP: European Conference on Service-Oriented and Cloud Computing Javier Cubo