petrinet

Messages by Date

2012/09/27 (PN) ETAPS 2013: Final Call for Papers Joost-Pieter Katoen
2012/09/27 (PN) PhD position in model-driven software engineering and verification Lars Michael Kristensen
2012/09/21 (PN) ICPE 2013 Prague: CFP (Research Papers extension 5th October) John Murphy
2012/09/21 (PN) FMCAD'12: Call For Participation - Early registration ends on September 30! Bulach Slava (AE/EID1)
2012/09/21 (PN) Invitation to organise Petri Net conferences in 2015 and 2016 maciej koutny
2012/09/20 (PN) CAiSE 2013 CFP: 25th International Conference on Advanced Information Systems Engineering, Valencia, Spain Ignacio Panach Navarrete
2012/09/18 (PN) 1st CFP, 9th Annual Future Business Technology Conference, FUBUTEC-2013, April 15-17, 2013, University of Lincoln, Lincoln, UK philippe . geril
2012/09/18 (PN) CFP SI in IJAHUC: Localization, Positioning and Coverage in WSNs Jaime Lloret Mauri
2012/09/18 (PN) Final Call For Participation: TCS 2012 Michiel Helvensteijn
2012/09/18 (PN) FSNC 2012: 2nd announcement GRLMC
2012/09/18 (PN) Second Call for Papers: AOW@AI2012 AOW
2012/09/17 (PN) Last CFP: ACM SAC 2013 Enterprise Engineering Track Rafael Accorsi
2012/09/17 (PN) CADE-24: Call for Workshops, Tutorials and System Competitions Grant Olney Passmore
2012/09/17 (PN) Call-for-Nominations: SPEC Distinguished Dissertation Award 2012 Kai Sachs
2012/09/17 (PN) Final CfP: Nordic Workshop on Programming Theory (NWPT 2012) - extended deadline september 21 Lars Michael Kristensen
2012/09/16 (PN) CfP: 3rd International Workshop on Model-driven Approaches for Simulation Engineering (Mod4Sim13) part of the Symposium on Theory of Modeling and Simulation SCS SpringSim 2013) Daniele Gianni
2012/09/16 (PN) Deadline Extension: WEB 2013 || January 27 - February 1, 2013 - Seville, Spain Cristina Pascual
2012/09/16 (PN) 2 Ph.D. Positions in Computer Security at the University of Luxembourg Barbara KORDY
2012/09/12 (PN) Preliminary Programme 26th annual ESM'2012, October 22-24, 2012, FOM University of Applied Sciences, Essen, Germany philippe . geril
2012/09/12 (PN) MCC'2012 - raw report online Fabrice Kordon
2012/09/12 (PN) Deadline Extension: ICONS 2013 || January 27 - February 1, 2013 - Seville, Spain Cristina Pascual
2012/09/12 (PN) Deadline Extension: ICN 2013 || January 27 - February 1, 2013 - Seville, Spain Cristina Pascual
2012/09/12 (PN) PhD positions in Computer Science -- Univ. Padova, Italy -- Deadline: Oct. 8, 2012 Francesca Rossi
2012/09/10 (PN) [Extended Deadline: 30th September 2012] ComManTel2013, Ho Chi Minh City, Vietnam, 21-24th January 2013 Jaime Lloret Mauri
2012/09/10 (PN) CALCO 2013: First Call for Papers Alexandra Silva
2012/09/09 (PN) Deadline Extension: DBKDA 2013 || January 27 - February 1, 2013 - Seville, Spain Cristina Pascual
2012/09/09 (PN) TPNC 2012: call for participation GRLMC
2012/09/07 (PN) Call for papers: Special session on Process Mining at CIDM 2013, Singapore Maggi, F.M.
2012/09/07 (PN) CfP IESS 1.3 - February 6-8 - Porto Portugal - Deadline: 15th October 2012 vmlo
2012/09/07 (PN) Software Verification and Testing Track at ACM SAC 2013: last CfP Jun PANG
2012/09/06 (PN) CoDIiT'13/ Call For Papers Achraf Jabeur Telmoudi
2012/09/06 (PN) PhD positions in Formal Software Modeling and Verification at RWTH Aachen University Joost-Pieter Katoen
2012/09/04 (PN) ESORICS 2012 Week: Last Call for Participation ESORICS 2012
2012/09/04 (PN) First Call for Papers: AOW@AI2012 AOW
2012/09/04 (PN) 1st Call For Papers, GAMEON'ASIA 2013, 5th annual Asian GAME-ON Conference, March 7-9, 2013, Westin Bund, Shanghai, China philippe . geril
2012/09/03 (PN) ICPE 2013 Prague: 2nd CFP (Research Papers due 24th Sept) John Murphy
2012/09/03 (PN) 2nd CfP: Nordic Workshop on Programming Theory (NWPT 2012) Lars Michael Kristensen
2012/09/03 (PN) Reachability Problems 2012] CALL FOR PARTICIPATION Jerome Leroux
2012/09/03 (PN) DEADLINE EXTENSION: 8th Int. Conf. on SIGNAL IMAGE TECHNOLOGY & INTERNET BASED SYSTEMS (SITIS2012)- SIT Track Fulvio Frati
2012/09/02 (PN) WISE 2012: Call for Workshop Papers Announcements
2012/09/01 (PN) CfP: ICDS 2013 || February 24 - March 1, 2013 - Nice, France Cristina Pascual
2012/08/31 (PN) CFP: VTC2013-Spring - Ad-hoc, Mesh, Machine-to-Machine, and Sensor Networks - Track Jaime Lloret Mauri
2012/08/31 (PN) CfP: GEOProcessing 2013 || February 24 - March 1, 2013 - Nice, France Cristina Pascual
2012/08/30 (PN) CALL FOR PAPERS --- DATICS-NESEA 2012 IJDATICS
2012/08/30 (PN) CfP: eTELEMED 2013 || February 24 - March 1, 2013 - Nice, France Cristina Pascual
2012/08/29 (PN) |WODES 2012| CALL FOR PARTICIPATION Ernesto Lopez-Mellado
2012/08/29 (PN) CfP: ACHI 2013 || February 24 - March 1, 2013 - Nice, France Cristina Pascual
2012/08/29 (PN) CFP: ACM SAC 2013 Enterprise Engineering Track Rafael Accorsi
2012/08/28 (PN) VL/HCC 2012 Call for Participation VL/HCC 2012 Secretariat
2012/08/27 (PN) Call for Participation: FACS 2012 Javier Cámara Moreno
2012/08/27 (PN) AWPN 2012 Call for Participation AWPN2012
2012/08/26 (PN) ETAPS 2013: First Call for Papers Joost-Pieter Katoen
2012/08/24 (PN) 1st Call For Papers, ASTEC 2013, 4th Asian Simulation Technology Conference, March 7-9, 2013, Westin Bund, Shanghai, China philippe . geril
2012/08/23 (PN) CFP - Annals of Telecommunications - Special Issue on Privacy-aware electronic society (deadline October 31, 2012) sara . foresti
2012/08/21 (PN) 2nd CFP MESM'2012, Middle Eastern Simulation and Modelling Conference, December 10-12, 2012, AOU, Muscat, Oman philippe . geril
2012/08/18 (PN) 2nd Call for Papers GAMEON-ARABIA'2012, December 10-12, 2012, AOU, Muscat, Oman philippe . geril
2012/08/18 (PN) TPNC 2012: final call for posters GRLMC
2012/08/17 (PN) Second Call For Participation: TCS 2012 Michiel Helvensteijn
2012/08/16 (PN) CfP: ICONS 2013 || January 27 - February 1, 2013 - Seville, Spain Cristina Pascual
2012/08/15 (PN) 1st CfP: Nordic Workshop on Programming Theory (NWPT 2012) Lars Michael Kristensen
2012/08/15 (PN) CFP: ComManTel 2013, January 21-24, 2013, Ho Chi Minh City, Vietnam Jaime Lloret Mauri
2012/08/15 (PN) Final Call for posters and demos - CGC2012 (Cloud and Green Computing) and SCA2012 (Social Computing and its Applications) Chang Liu
2012/08/15 (PN) CFP - INTERNATIONAL JOURNAL OF ARTIFICIAL INTELLIGENCE AND EXPERT SYSTEMS (IJAE) J. Stewart
2012/08/15 (PN) The Newcastle Connection 2012 - last call for participation (early registration: 25 August) maciej koutny
2012/08/14 (PN) Call for participation ICLP 2012 - updates Gergely Lukacsy (glukacsy)
2012/08/13 (PN) First Call for Papers: FSEN 2013 fsen2013
2012/08/12 (PN) FSFLA 2012: 3rd announcement GRLMC
2012/08/12 (PN) CfP: WEB 2013 || January 27 - February 1, 2013 - Seville, Spain Cristina Pascual
2012/08/12 (PN) Final Call from CSS 2012, Deakin University Melbourne Burwood Campus, Melbourne, Australia, December 12-13, 2012 Yu Wang
2012/08/12 (PN) Software Verification and Testing Track at ACM SAC 2013: 2nd CfP Jun PANG
2012/08/12 (PN) Last Week CFP: ICCVE 2012 - December 12-16, 2012 | China National Convention Center, Beijing, China Jaime Lloret Mauri
2012/08/12 (PN) ICTAC 2012 - Call for Participation Jun PANG
2012/08/12 (PN) CfP: VisGra 2013 || January 27 - February 1, 2013 - Seville, Spain Cristina Pascual
2012/08/07 (PN) PhD positions in Formal Software Modeling and Verification at RWTH Aachen University Joost-Pieter Katoen
2012/08/07 (PN) PhD position in Grenoble (France): "Rigorous Design of Cloud Applications using Formal Methods" Gwen Salaun
2012/08/07 (PN) ChWFM 2012, Second Call For Papers Ruben Carvajal
2012/08/07 (PN) AWPN 2012 Robin Bergenthum
2012/08/07 (PN) PhD positions in Computer Science at IMT Lucca (Italy) - Deadline September 26, 2012 - Rocco De Nicola
2012/07/27 (PN) Tenure Track position available in the “Embedded Systems” Research Unit - Bruno Kessler Foundation (Italy) Jobs
2012/07/26 (PN) Last days!, July 25: ICSEA 2012 || November 18-23, 2012 - Lisbon, Portugal Cristina Pascual
2012/07/26 (PN) Last days!, July 25: VALID 2012 || November 18-23, 2012 - Lisbon, Portugal Cristina Pascual
2012/07/23 (PN) The Newcastle Connection 2012 - call for participation maciej koutny
2012/07/23 (PN) VL/HCC 2012 Call for Participation VL/HCC 2012 Secretariat
2012/07/23 (PN) Call For Papers: ACM SIGMETRICS 2013 Pittsburgh, PA, USA, June 17-21, 2013. WANG, JIA (JIA)
2012/07/19 (PN) 2 PhD positions at University of Twente: smart railroad maintenance with stochastic model checking Marielle Stoelinga
2012/07/19 (PN) Lecturer positions in Theoretical Computer Science at Queen Mary, University of London Dino Distefano
2012/07/18 (PN) ICLP 2012 Early registration extended till July 20th Gergely Lukacsy (glukacsy)
2012/07/18 (PN) [Reachability Problems 2012] CALL FOR INFORMAL PRESENTATIONS / CALL FOR PARTICIPATION Jerome Leroux
2012/07/18 (PN) Last Mile, July 25: VALID 2012 || November 18-23, 2012 - Lisbon, Portugal Cristina
2012/07/16 (PN) Post-Doc Position in Computer Security at University of Luxembourg Barbara KORDY
2012/07/16 (PN) TRENDS 2012: call for participation Luttik, S.P.
2012/07/16 (PN) PhD position on Engineering Executable Models of Biological Networks Fokkink, W.J.
2012/07/16 (PN) WoLLIC 2012 - Buenos Aires, Argentina - Call for Participation Ruy de Queiroz
2012/07/10 (PN) FSFLA 2012: 2nd announcement GRLMC
2012/07/10 (PN) Call for participation: CONCUR 2012 - 23th International Conference on Concurrency Theory maciej koutny
2012/07/10 (PN) 5th Int. School on Software Engineering and Formal Methods Antonio Cerone
2012/07/10 (PN) VMCAI 2013: Call for Papers Josh Berdine
2012/07/10 (PN) MOMPES 2012: CFP extended deadline 16/Jul Ricardo J. Machado
2012/07/02 (PN) Call for Participation: SPIN 2012 - 19th International SPIN Workshop on Model Checking Software Alastair Donaldson
2012/07/02 (PN) Open Position at University of Hannover Matthias Becker
2012/07/02 (PN) VL/HCC 2012 Call for Posters and Demos - Registration VL/HCC 2012 Secretariat
2012/07/02 (PN) Call For Participation: TCS 2012 Michiel Helvensteijn
2012/07/02 (PN) Postdoc positions in SAT/SMT-based Verification available in Trento Roberto Sebastiani
2012/06/22 (PN) Call for Papers: YR-CONCUR 2012 Benedikt Bollig
2012/06/22 Re: (PN) CfP - Workshop on Research and Use of Multiformalism Modeling Methods (WRUMMM 2012) Mauro Iacono
2012/06/20 (PN) FMICS 2012: call for participation Ralf Pinger
2012/06/20 (PN) New versions of CPN Tools (3.4), Access/CPN (2.2), and a new tool, Grade/CPN (1.0) Westergaard, M.
2012/06/20 (PN) Call for Papers: STVR Special Issue on Tests and Proofs Achim D. Brucker
2012/06/19 (PN) CfPart: Joint ACSD'12 and Petri Nets'12 conference, Hamburg, 25-29 June 2012 Petri Nets 2012
2012/06/19 (PN) Deadline Warning: SCARE PhD Positions Eike Best
2012/06/15 (PN) NSS/IDCS/ICDKE 2012, Wu Yi Mountain, China, Extended Submission Deadline Yu Wang
2012/06/15 (PN) Final CFP, 5th International Workshop on Natural Computing and Graph Transformations 2012 Ion Petre
2012/06/15 (PN) Last Mile, June 18: INNOV 2012 || October 21-26, 2012 - Venice, Italy Cristina Pascual
2012/06/15 (PN) URGENT: Call for Proposals for Workshops at Petri nets 2013 Alex Yakovlev
2012/06/14 (PN) ChWFM 2012 - First Call for Papers Ruben Carvajal
2012/06/14 (PN) Ph.D. Position in Computer Security at the University of Luxembourg Barbara KORDY
2012/06/14 (PN) Extended Deadline for SEFM 2012 co-located events Antonio Cerone
2012/06/13 (PN) Extended Deadline: 9th International Symposium on Formal Aspects of Component Software (FACS 2012) Javier Cámara Moreno
2012/06/13 (PN) CFP: (2012 Conference on Education and Training Modeling & Simulation (ETMS12)) Maryam Davoudpour
2012/06/11 (PN) 2 PhD positions at University of Twente: smart railroad maintenance with stochastic model checking Marielle Stoelinga
2012/06/11 (PN) VL/HCC 2012 Satellite events - Call for Papers VL/HCC 2012 Secretariat
2012/06/05 (PN) WS-FM 2012 - Second Call for Papers Niels Lohmann
2012/06/05 (PN) ICGT'12 Doctoral Symposium: Final Call for Contributions Andrea Corradini
2012/06/05 (PN) Postdoc Position on Coverage Analysis of Concurrent Specification Languages, Inria/LIG, Grenoble, France Gwen . Salaun
2012/05/31 (PN) PDMC 2012 Call for Papers (Extended Deadlines) Keijo Heljanko
2012/05/24 (PN) Call for Papers: YR-CONCUR 2012 Benedikt Bollig
2012/05/23 (PN) ICGT'12 Doctoral Symposium: Second Call for Contributions Andrea Corradini
2012/05/23 (PN) The Newcastle Connection 2012 - calls for workshop papers maciej koutny
2012/05/23 (PN) ECMFA 2012: Early registration deadline: May 23 Ekkart Kindler
2012/05/21 (PN) Engineer position at Paris 13 University Laure Petrucci
2012/05/21 (PN) Software Verification and Testing Track at SAC 2013: First CfP Jun PANG
2012/05/20 (PN) Petri Nets 2012 & ACSD 2012: Early registration deadline postponed to 23.05.2012 PetriNets2012
2012/05/14 (PN) FLACOS 2012 Call for Papers FLACOS 2012
2012/05/11 (PN) RP 2012: Reachability Problems : Deadline Extension Jerome Leroux
2012/05/09 (PN) Preliminary Programme ISC'2012, June 4-6, 2012, Brno University of Technology, Brno, Czech Republic philippe . geril
2012/05/09 (PN) MCC - call for tool submission (+ properties Fabrice Kordon
2012/05/09 (PN) Petri Net Course 24-26 June 2012, Hamburg kleijn
2012/05/07 (PN) PhD Position in Formal Modelling and Analysis of Ecosystems Antonio Cerone
2012/05/07 (PN) PDMC 2012 Call for Papers Keijo Heljanko
2012/05/07 (PN) 2nd Call for Papers - NASTEC'2012, August 16-18, 2012, Digipen Institute of Technology, Redmond, USA philippe . geril
2012/05/04 (PN) Petri Nets 2012 and ACSD 2012 Programme now online Petri Nets 2012
2012/05/02 (PN) BPMS2'12 (BPM and Social Software) - Call for papers Selmin Nurcan
2012/05/02 (PN) Call for papers: Workshop on natural computing and graph transformations, Bremen, September 2012 Ion Petre
2012/05/02 (PN) PhD Research Positions in Computer Science - University of Oldenburg Eike Best
2012/04/27 (PN) ICGT'12 Doctoral Symposium: Call for Contributions Andrea Corradini
2012/04/26 (PN) Deadline extension, May 18 | ADVCOMP 2012 || September 23 - 28, 2012 - Barcelona, Spain Cristina Pascual
2012/04/23 (PN) CfP: Modelling and KM for Sustainable Development (MoKMaSD 2012) Antonio Cerone
2012/04/23 (PN) Extension of submission deadline, grants: LATD 2012 latd12
2012/04/19 (PN) 2nd CFP : International Workshop on Reachability Problems Jerome Leroux
2012/04/19 (PN) BM-FA deadline 25th of April Roubtsova, Ella
2012/04/19 (PN) Course on Petri Nets at Barcelona-UPC Josep Carmona
2012/04/17 (PN) CfP PNGT 2012 Julia Padberg
2012/04/16 (PN) 1st Call for Papers- 26th Annual European Simulation & Modelling Conference, ESM'2012, October 22-24, 2012, FOM, Essen, Germany philippe . geril
2012/04/12 (PN) ICTAC 2012 - deadline extended by 1 week Jun PANG
2012/04/12 (PN) Call for Participation: Tests and Proofs (TAP 2012) in Prague Achim D. Brucker
2012/04/12 (PN) WoLLIC 2012 - Call for Papers Ruy de Queiroz
2012/04/10 (PN) CFP - Special Section on Formal Approach, IEICE Trans Kazuhiro Ogata
2012/04/10 (PN) 13th Annual MESM'2012, December 10-12, 2012, Muscat, Oman, Call for Tutorials and Workshops philippe . geril
2012/04/05 Re: (PN) MCC - announcement posted Fabrice Kordon
2012/04/04 (PN) Final CFP: TCS 2012 Michiel Helvensteijn
2012/04/03 (PN) Deadline Approaching - 17th European Symposium on Research in Computer Security (ESORICS 2012) ESORICS 2012
2012/04/03 (PN) CfP - Workshop on Research and Use of Multiformalism Modeling Methods (WRUMMM 2012) Mauro Iacono
2012/04/03 (PN) FMCAD'12: First Call For Papers Bulach Slava (AE/EID1)
2012/04/02 (PN) WADT 2012: Deadline Extension WADT 2012
2012/04/02 (PN) FMSPLE 2012 call for papers Maurice ter Beek
2012/04/02 (PN) |WODES 2012| Paper submission is allowed Ernesto Lopez-Mellado
2012/03/29 (PN) ACSD 2012: Call for Participation Jens Brandt
2012/03/28 (PN) SPIN Workshop 2012 - Deadline extended to 7 April Alastair Donaldson
2012/03/27 (PN) ICA3PP 2012 Call For Papers Yu Wang
2012/03/27 (PN) Joint Call for Contributions to Workshops associated with Petri Nets 2012 and ACSD 2012 Aalst, W.M.P. van der
2012/03/26 (PN) Call for Proposals for Workshops at Petri nets 2013 Alex Yakovlev
2012/03/26 (PN) TPNC 2012: 2nd call for papers GRLMC
2012/03/26 (PN) ISPA 2012. Registration is now Open ISPA2012
2012/03/26 (PN) CfP - BioPPN 2012 Monika Heiner
2012/03/23 (PN) Call for Papers ISOLA'12 Special Session on "Quantitative Modeling and Analysis" Petrinet Administrator
2012/03/23 (PN) New deadline, April 16 || CfP: AFIN 2012 || August 19-24, 2012 - Rome, Italy Cristina Pascual
2012/03/23 (PN) Final CFP: SPIN 2012 - 19th International Workshop on Model Checking Software Alastair Donaldson
2012/03/23 (PN) ICTAC'12: Final Call For Papers Jun PANG
2012/03/23 (PN) Deadline extension: CompoNet workshop at PETRI NETS 2012 Franck Pommereau
2012/03/23 (PN) MFCS 2012: Call for papers Vladimiro Sassone
2012/03/23 (PN) LAM'12 (Logics, Agents, and Mobility) extended deadlines Muller B (AT)
2012/03/23 (PN) Deadline Approaching - 17th European Symposium on Research in Computer Security (ESORICS 2012) ESORICS 2012
2012/03/23 (PN) CDVE2012 paper deadline approaching - Call for papers Jaime Lloret Mauri
2012/03/23 (PN) CFP - INTERNATIONAL JOURNAL OF ARTIFICIAL INTELLIGENCE AND EXPERT SYSTEMS (IJAE) J. Stewart
2012/03/23 (PN) Call for Participation: ACM SIGMETRICS/Performance 2012 Samuel Kounev
2012/03/19 (PN) CfP: Petri Nets and Software Engineering (PNSE'12) PNSE12
2012/03/19 (PN) FMICS 2012: 3rd call for papers Ralf Pinger
2012/03/19 (PN) POST-DOC: research fellowship at INRIA/ ENS Cachan Serge Haddad
2012/03/19 (PN) POST-DOC: research fellowship at INRIA/ ENS Cachan, Detection of distributed Vulnerabilities in Large-scale Open Networks shaar
2012/03/19 (PN) Final Call for Papers: CONCUR 2012 maciej koutny
2012/03/15 (PN) LAM'12 (Logics, Agents, and Mobility) Last Call for Papers Muller B (AT)
2012/03/15 (PN) Postdoc Position in Formal Modelling and Analysis of Ecosystems Antonio Cerone
2012/03/15 (PN) Postdoc position on the verification of counter systems at LIAFA, Paris, France Stéphane Demri
2012/03/15 (PN) VL/HCC 2012 Deadline Extension VL/HCC 2012 Secretariat
2012/03/15 (PN) Preliminary Programme ECEC-FUBUTEC-EUROMEDIA'2012, April 18-20, 2012, Marriott Hotel, Bucharest, Romania philippe . geril
2012/03/15 (PN) ICA3PP 2012 Call For Papers Yu Wang
2012/03/15 (PN) CfPart HATS International School on Formal Models for Objects and Components Mario Bravetti
2012/03/15 (PN) PROOFS: Security Proofs for Embedded Systems (first CfP) Denis Poitrenaud
2012/03/15 (PN) 2nd CFP: CompoNet workshop at PETRI NETS 2012 Franck Pommereau
2012/03/08 (PN) Call for Papers - 17th European Symposium on Research in Computer Security (ESORICS 2012) ESORICS 2012