petrinet

Messages by Date

2014/11/15 (PN) NSV 2015 Sergiy Bogomolov
2014/11/15 (PN) AlCoB 2015: 1st call for papers URV - RESEARCH GROUP ON MATHEMATICAL LINGUISTICS
2014/11/15 (PN) CFP: CAiSE 2015 - 27th International Conference on Advanced Information Systems Engineering Erik Perjons
2014/11/15 (PN) IJCAI 2015 Doctoral Consortium - CALL FOR APPLICATIONS IJCAI 2015 Publicity Chairs
2014/11/15 (PN) SynCoP 2015: 2nd Call for Papers benoit delahaye
2014/11/06 (PN) JLAMP special issue on Open Problems in Concurrency Theory (last cfp) Marco Bernardo
2014/11/06 (PN) NFM 2015 - deadline extension: Nov 18 Klaus Havelund
2014/11/05 (PN) Model Checking Contest 2015 - pre-registration & call for model Fabrice Kordon
2014/11/01 (PN) ISPDC 2015: Preliminary Call for Papers Announce Announcements
2014/11/01 (PN) [CFP] 11th Intl. Conf. on Open Source Systems (OSS2015) Fulvio Frati
2014/11/01 (PN) IJCAI-2015 Final Call for Workshop Proposals IJCAI 2015 Publicity Chairs
2014/11/01 (PN) FSEN 2015 Deadline Extension Marjan Sirjani
2014/11/01 (PN) IJCAI-15 Call for Papers IJCAI 2015 Publicity Chairs
2014/11/01 (PN) CFP: ACM SIGMETRICS 2015 Niklas Carlsson
2014/10/23 (PN) Multiple Postdoc Positions on Formal Methods for Cyber Security Liu Yang (Asst Prof)
2014/10/23 (PN) CiE 2015: Evolving Computability, Bucharest, June 29 - July 3, 2015 S B Cooper
2014/10/21 (PN) CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015) Michael Winter
2014/10/21 (PN) 1st CFP MESM'2015, 15TH Annual Middle Eastern Simulation and Modelling Conference, March 2-4, 2015, AOU, Manama, Bahrain Philippe Geril
2014/10/21 (PN) CADE-25 Call for Papers, etc. Geoff Sutcliffe
2014/10/21 (PN) Deadline extension: ADAPTIVE 2015 || March 22 - 27, 2015 - Nice, France Cristina Pascual
2014/10/19 (PN) WETICE 2015: Call for Track Proposals Announce Announcements
2014/10/09 (PN) FESCA@ETAPS 2015: CfP for 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, April 12th, 2015, London, UK Lucia Happe
2014/10/09 (PN) DIFTS'14 - Call For Participation DIFTS14
2014/10/09 (PN) CFP: IFAC DCDS 2015 – Cancun, Mexico Ernesto Lopez-Mellado
2014/10/08 (PN) ACSD 2015: Call for Papers shaar
2014/10/06 (PN) JLAMP special issue on Open Problems in Concurrency Theory -- 2nd cfp Marco Bernardo
2014/10/06 (PN) [IMBSA 2014] Call for Participation Lipaczewski, Michael
2014/10/06 (PN) Last Mile: eKNOW 2015 || February 22 - 27, 2015 - Lisbon, Portugal Cristina Pascual
2014/10/06 (PN) LATA 2015: extended submission deadline 16 October GRLMC
2014/10/03 Re: (PN) ICATPN 2015: CALL FOR PAPER DEVILLERS Raymond
2014/10/03 (PN) RCIS 2015: Call for posters & demo, dc, tutorials Jelena Zdravkovic
2014/10/02 (PN) Call for Workshop Proposals - SERA 2015 Slim Kallel
2014/10/02 (PN) Multiple PhD and Postdoc Positions on PROCESS MINING at Eindhoven University of Technology Aalst, W.M.P. van der
2014/09/30 (PN) CAV Call for Papers Geoff Sutcliffe
2014/09/30 (PN) ACM SAC 2015: Software Verification and Testing Track - EXTENDED DEADLINES Gwen . Salaun
2014/09/30 (PN) ETAPS 2015 final call for papers Tarmo Uustalu
2014/09/29 (PN) Call for Participation: CNS'2014--IEEE Conference on Communications and Network Security sara . foresti
2014/09/29 (PN) COMPUTABILITY IN EUROPE 2015: Evolving Computability, Bucharest, Romania, June 29-July 3 S B Cooper
2014/09/29 (PN) CFP: 6th International conference on Trustworthy Computing (InTrust 2014), 16-17 December 2014, Beijing, China Mingzhong Wang
2014/09/29 (PN) FMCAD Oct 21-24 at EPFL (Lausanne, Switzerland) - Early Registration Ends Soon Mitra Purandare
2014/09/25 (PN) Preliminary Programme 28th Annual ESM'2014, October 22-24, 2014, University of Porto, Porto, Portugal Philippe Geril
2014/09/25 (PN) CFP: ACM SIGMETRICS 2015 Niklas Carlsson
2014/09/25 (PN) CFP: SI on Green Network Protocols and Algorithms in JNCA Jaime Lloret Mauri
2014/09/25 (PN) Last CFP: ACM Symposium on Applied Computing Software Verification and Testing Track Ylies Falcone
2014/09/23 (PN) CFP FOR Special Issue: "Mathematical Problems in Petri Nets Theory and Applications (MPPT) 趙玉
2014/09/22 (PN) SERA 2015 - CFP Slim Kallel
2014/09/22 (PN) Tenure-Track Assistant Professorship on Formal Methods at TUM (Technical University of Munich) Javier Esparza
2014/09/22 (PN) Call for Proposals for Workshops at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo Marieke Huisman
2014/09/19 (PN) PhD position - Formal Verification for Synthetic Biology and Cyber-Physical Systems Paolo Zuliani
2014/09/16 (PN) Deadline extension: eKNOW 2015 || February 22 - 27, 2015 - Lisbon, Portugal Cristina Pascual
2014/09/15 (PN) Deadline Extension (19 September 2014) for the 8th International Conference on Performance Evaluation Methodologies and Tools - VALUETOOLS2014 Valerio Luconi
2014/09/15 (PN) [SIMPDA 2014] Submission deadline extended to September 22, 2014 Fulvio Frati
2014/09/14 (PN) LATA 2015: 3rd call for papers GRLMC
2014/09/13 (PN) CFP: CAiSE 2015 -27th International Conference on Advanced Information Systems Engineering Erik Perjons
2014/09/12 (PN) SynCoP 2015: 1st Call for Papers benoit delahaye
2014/09/11 (PN) Call for Industry Track papers at FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo Martin Steffen
2014/09/11 (PN) Open Spanish Call for research grant Jose Angel Bañares
2014/09/11 (PN) ICFEM 2014 Call for Participation Liu Yang (Asst Prof)
2014/09/10 (PN) ACM SAC 2015: Software Verification and Testing Track - Extended Deadline Gwen . Salaun
2014/09/08 (PN) INFORMATIK 2014 Uwe Reyle
2014/09/08 (PN) AVoCS 2014: Final Call for Participation Wojciech Mostowski
2014/09/08 (PN) JLAMP special issue on Open Problems in Concurrency Theory Marco Bernardo
2014/09/05 (PN) Call for papers Algorithms & Theories for the Analysis of Event Data (ATAED'2015) - Brussels, Belgium, June 2015 Aalst, W.M.P. van der
2014/09/05 (PN) ICC 2015 SAC: Nanoscale, Molecular, and Quantum Networking Track Shui Yu
2014/09/05 (PN) PostDoc position(s) in formal methods at DTU (Technical University of Denmark) Alberto Lluch Lafuente
2014/09/05 (PN) Second Call for Papers: DATE'15 - Topic E3: Model-based Design and Verification for Embedded Systems Linh Thi Xuan Phan
2014/09/02 (PN) ETAPS 2015 2nd call for papers Tarmo Uustalu
2014/09/02 (PN) MCC'2014 - public report is out Fabrice Kordon
2014/09/02 (PN) CFP: WMCB 2014 (Workflow Management in Cloud and Big Data), 3-5 Dec 2014, Sydney, Australia Mingzhong Wang
2014/08/29 (PN) TAMC 2015, 18-20 May 2015, National University of Singapore - First Call for Papers S B Cooper
2014/08/28 (PN) AVoCS 2014: 2nd Call for Participation (early registration by September 1st) Wojciech Mostowski
2014/08/28 (PN) LATA 2015: 2nd call for papers GRLMC - URV
2014/08/28 (PN) ACM SAC 2015: Software Verification and Testing Track - Final CfP Gwen . Salaun
2014/08/28 (PN) Call for Participation, ICTAC 2014, 16-19 Sept, Bucharest Gabriel Ciobanu
2014/08/28 (PN) CFP: Fourth International Symposium on Data-driven Process Discovery and Analysis Fulvio Frati
2014/08/28 (PN) CFP: IEEE in cooperated International Conference on Intelligent Agents, Web Technologies and Internet Commerce IAWTIC'14 CIMCA
2014/08/28 (PN) Call for Participation - WS-FM:FASOCC 2014 - Web Services and Formal Methods Matthias Weidlich
2014/08/27 (PN) [Mycolleagues] CFP - JSS, Elsevier - Special issue on adaptive and reconfigurable software systems and architectures Slim Kallel
2014/08/27 (PN) Deadline Extension (12 September 2014) for the 8th International Conference on Performance Evaluation Methodologies and Tools - VALUETOOLS2014 Valerio Luconi
2014/08/27 (PN) PhD positions at the University of Cagliari g. michele pinna
2014/08/24 (PN) IEEE CNS2014 Student Travel Grant sara . foresti
2014/08/24 (PN) Last CFP: FORmal MOdeling and Verification of Service-based systems (FOR-MOVES) Kais Klai
2014/08/23 (PN) PhD position in model-driven and component-based software engineering at Bergen University College, Norway Lars Michael Kristensen
2014/08/22 (PN) Call for Participation - BPM 2014, Eindhoven, The Netherlands Matthias Weidlich
2014/08/19 (PN) Second Call for Papers: FSEN 2015 Marjan Sirjani
2014/08/19 (PN) PODS 2015 2nd Call for Papers - Deadline first submission cycle: October 3-10, 2014 Montali Marco(A)
2014/08/18 (PN) Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France Gwen . Salaun
2014/08/15 (PN) BigDat 2015: August 23, registration deadline GRLMC
2014/08/15 (PN) BPM 2014 is RELOCATED to Eindhoven, the Netherlands Matthias Weidlich
2014/08/14 (PN) CFP: 2nd International Workshop on Security Assurance in the Cloud (IWSAC 2014) Claudio A. Ardagna
2014/08/14 (PN) Deadline extension (August 25): FORmal MOdeling and Verification of Service-based systems (FOR-MOVES) Kais Klai
2014/08/13 (PN) 4PAD 2015 *deadline extension* Mads Dam
2014/08/13 (PN) Integrated Formal Methods 2014 - Call for Participation Emil Sekerinski
2014/08/09 (PN) CFP - 8th International Conference on Performance Evaluation Methodologies and Tools - VALUETOOLS2014 Valerio Luconi
2014/08/08 (PN) IFIP WG 7.3 Performance 2014: call for participation Performance 2014
2014/08/07 (PN) Conference LANMR: November 5-7, 2014, Valle de Bravo, Mexico Guillermo Morales Luna
2014/08/07 (PN) AVoCS 2014: 1st Call for Participation Wojciech Mostowski
2014/08/04 (PN) ICLA 2015: Submission deadline extended to 12th August, 2014 ALI
2014/08/04 (PN) AVoCS 2014: Call for Research Ideas (due August 11th) Wojciech Mostowski
2014/08/01 (PN) CADE-25 CFP/CFW/CFT/CFC Geoff Sutcliffe
2014/08/01 (PN) CFP DATE 2015 - Topic E3: Model-based Design and Verification for Embedded Systems Linh Thi Xuan Phan
2014/08/01 (PN) Call for Papers: The ISDF2014 Conference in Greece Grace Allas
2014/08/01 (PN) Call for Papers: The ICDMMIPA2015 Conference in India Grace Allas
2014/08/01 (PN) 14 PhD scholarships 2014 -- Computer Science -- Pisa Rosaria Mongini
2014/08/01 (PN) ZISC Workshop 2014 Soriente Claudio
2014/07/30 (PN) ICMC 2015: Call for Papers ICMC 2015
2014/07/30 (PN) Four PhD positions in Process Mining Aalst, W.M.P. van der
2014/07/30 (PN) ETAPS 2015 1st call for papers Tarmo Uustalu
2014/07/28 (PN) PhD scholarships in Computer Science at the Free Univ. of Bozen-Bolzano (Italy) Enrico Franconi
2014/07/26 (PN) LATA 2015: 1st call for papers GRLMC
2014/07/26 (PN) CFP: FORmal MOdeling and Verification of Service-based systems (FOR-MOVES) Kais Klai
2014/07/26 (PN) LOPSTR 2014: Call for Participation Maurizio Proietti
2014/07/24 (PN) Final call for papers: JLAMP special issue on Programming Language Approaches to Concurrency and Communication-cEntric Software Alastair Donaldson
2014/07/24 (PN) CFP: International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'14 cimca
2014/07/22 (PN) TASE 2014：CALL FOR PARTICIPATION Huibiao Zhu
2014/07/22 (PN) CONCUR, TCS & TGC 2014: second call for participation Daniele Gorla
2014/07/18 (PN) Call for Papers: NASA Formal Methods (NFM) 2015 Klaus Havelund
2014/07/18 (PN) CFP FM2015 (20th Intl. Symposium on Formal Methods); 22.-26. June, 2015, Oslo Martin Steffen
2014/07/18 (PN) DIFTS14 - SECOND Call for Papers DIFTS14
2014/07/14 (PN) CFP: 30th UK Performance Engineering Workshop Nigel Thomas
2014/07/14 (PN) FUNDED PhD Positions: DYNAMIC ADAPTIVE AUTOMATED SOFTWARE ENGINEERING John Woodward
2014/07/09 (PN) ESOCC 2014 Call for Participation Simone Di cola
2014/07/09 (PN) SAFECOMP'14 Early Registration and Preliminary Program Francesco Flammini
2014/07/07 (PN) ACM SAC 2015: Software Verification and Testing Track - Second CfP lina . ye
2014/07/07 (PN) Call for Participation: SEFM 2014 lina . ye
2014/07/03 (PN) 18 PhD positions in Data Science at the Data Science Center Eindhoven (DSC/e) in collaboration with Philips Research Eindhoven Aalst, W.M.P. van der
2014/07/03 (PN) CONCUR, TCS & TGC 2014: first call for participation Daniele Gorla
2014/06/30 (PN) CFP: FORmal MOdeling and Verification of Service-based systems (FOR-MOVES) Kais Klai
2014/06/26 (PN) DIFTS14 - FIRST Call for Papers DIFTS14
2014/06/23 (PN) Petri net tool LoLA 2.0 released. Karsten Wolf
2014/06/23 (PN) Final CFP MeCBIC 2014 - deadline extension Bogdan Aman
2014/06/23 (PN) BPM 2014 - Call for Participation Matthias Weidlich
2014/06/23 (PN) 2nd CFP: 28th European Simulation and Modelling Conference - ESM'2014, October 22-24, 2014, FEUP - University of Porto, Portugal Philippe Geril
2014/06/18 (PN) Research Assistant in Asynchronous Design for Analogue Electronics Alex Yakovlev
2014/06/18 (PN) AVoCS 2014: Submission Deadline Extension Wojciech Mostowski
2014/06/18 (PN) VTSA 2014: 2nd Call for Applications Jun PANG
2014/06/18 (PN) [IMBSA 2014] Extended Deadline - International Symposium on Model-Based Safety Assessment Lipaczewski, Michael
2014/06/16 (PN) Call for Papers - International Conference on Information Systems Security (ICISS 2014) Giovanni Livraga
2014/06/16 (PN) CFP: 6th International Workshop on Workflow Management in Cloud and Big Data, 3 -5 Dec., Sydney Australia Mingzhong Wang
2014/06/16 (PN) Request for posting call for Paper of ICMC 2015 Debasis Giri
2014/06/16 (PN) CFP: 8th International Conference on Bio-inspired Information and Communications Technologies (BICT 2014, formerly BIONETICS) Lee Chonho (Dr)
2014/06/16 (PN) Workshops @ IEEE Intl. Symp. on Software Reliability Engineering (ISSRE 2014): Call for papers Roberto Natella
2014/06/16 (PN) ACM SAC 2015: Software Verification and Testing Track - First CfP lina . ye
2014/06/16 (PN) Reactive Systems workshop in honor of David Harel at FLoC - July 23 - Call for Participation Morgan Deters
2014/06/14 (PN) ERCIM STM 2014 PhD Thesis Award - call for applications (deadline july 7, 2014) STM
2014/06/14 (PN) CFP - 8th International Conference on Performance Evaluation Methodologies and Tools - VALUETOOLS2014 Valerio Luconi
2014/06/14 (PN) 4PAD 2015 first call for papers Mads Dam
2014/06/14 (PN) Ph.D. Position in Information Security at the University of Luxembourg Ravi Jhawar
2014/06/14 (PN) WS-FM:FASOCC 2014 - Deadline extension (15th June) - Web Services and Formal Methods Matthias Weidlich
2014/06/12 (PN) STAF Doctoral Symposium: Call for Abstract Submission [extended deadline: June 13 (firm)] Andrea Corradini
2014/06/12 (PN) JLAMP special issue on Programming Language Approaches to Concurrency and Communication-cEntric Software Alastair Donaldson
2014/06/04 (PN) MCC@Petri Net 2014 - participants + surprise models Fabrice Kordon
2014/06/04 (PN) IJCAR 2014 - Call for Participation Morgan Deters
2014/06/04 (PN) STAF Doctoral Symposium: Call for Abstract Submission [deadline: June 7 (firm)] Andrea Corradini
2014/06/04 (PN) Workshop "Human-Oriented Formal Methods" @SEFM 2014 Maria Spichkova
2014/06/04 (PN) AVoCS 2014: 3rd Call for Papers Wojciech Mostowski
2014/05/28 (PN) PhD research position in SCARE Eike Best
2014/05/28 (PN) CfP: WS-FMDS 2014 colocated with SEFM 2014 Fernando Lopez Pelayo
2014/05/26 (PN) VSComp 2014 CfP Leo Freitas
2014/05/23 (PN) Two open research&teaching positions in Rostock Karsten Wolf
2014/05/23 (PN) WS-FMDS 2014 deadline extension to June 15 Fernando Lopez Pelayo
2014/05/23 (PN) Deadline extension 1st workshop Quality of Models and Models of Quality in conjunction with ER 2014 Charlotte Hug
2014/05/23 (PN) Final Call for Participation: NASSLLI 2014 NASSLLI 2014
2014/05/20 (PN) Extended deadline ICSOC 2014 : International Conference on Service Oriented Computing Kais Klai
2014/05/19 (PN) Preliminary announcement: 11 PhD scholarships 2014 -- Computer Science -- Pisa Rosaria Mongini
2014/05/19 (PN) CfP IMBSA: 4th International Symposium on Model-Based Safety and Assessment Lipaczewski, Michael
2014/05/16 (PN) MOVEP 2014: Extended Student Abstract Deadline benoit delahaye
2014/05/16 (PN) Call for Demos - BPM 2014 Matthias Weidlich
2014/05/15 (PN) Post-doc position at Convecs team (Inria/LIG) Wendelin Serwe
2014/05/15 (PN) WADT 2014 - 1st Call for Papers 2014 wadt
2014/05/15 (PN) Call for Papers - 3rd Joint Workshop on Security in Business Processes (SBP'14) Giovanni Livraga
2014/05/15 (PN) VTSA 2014: Summer School on Verification Technology, Systems and Applications Jun PANG
2014/05/15 (PN) Call for Participation : Joint Petri Nets 2014 and ACSD 2014 Conference, Tunis, 23-27 June 2014 Kamel Barkaoui
2014/05/15 (PN) GandALF 2014: Extended deadlines aniello murano
2014/05/06 (PN) Post-doc positions in security evaluation of software protection at UEL, London, UK Paolo Falcarin
2014/05/06 (PN) MeCBIC 2014 : 1st Call for Papers Bogdan Aman
2014/05/06 (PN) CfP - BPM 2014 Workshops Matthias Weidlich
2014/05/06 (PN) Deadline extension : CFP First workshop Quality of Models and Models of Quality (ER 2014) - 16 May Charlotte Hug
2014/05/02 (PN) Model checking contest - last dayss Fabrice Kordon
2014/05/02 (PN) Ph.D. Position in Information Security at the University of Luxembourg Barbara Kordy
2014/05/02 (PN) VSTTE CfP (Deadline tomorrow) - no prior abstract submission needed Leo Freitas
2014/05/02 (PN) MoKMaSD 2014 - First Call for Papers Paolo Milazzo
2014/05/02 (PN) RP 2014 -- First Call for Papers -- Deadline: 4 June 2014 Potapov, Igor
2014/05/02 (PN) 2nd CfP: WS-FM:FASOCC 2014 - 11th International Workshop on Web Services and Formal Methods Matthias Weidlich
2014/05/02 (PN) MOVEP'14: Registrations open + Call for student contributions benoit delahaye
2014/05/02 (PN) GandALF 2014: Call for papers murano
2014/05/02 (PN) 4th International Conference on Model & Data Engineering (MEDI 2014): Last Mile Announce Announcements
2014/04/22 (PN) Call for Papers - 3rd Joint Workshop on Security in Business Processes (SBP'14) Giovanni Livraga
2014/04/17 (PN) Second Call for Papers: International Conference on Formal Methods in Computer-Aided Design (FMCAD) 2014 Mitra Purandare
2014/04/17 (PN) ATVA 2014: Last Call for Papers -- Sydney November 3-7 Franck Cassez
2014/04/17 (PN) LOPSTR 2014: Second Call for Papers Maurizio Proietti
2014/04/16 (PN) One Postdoc Research Fellow Position on Verification of Cyber-Physical Systems jun sun
2014/04/16 (PN) TWO research fellow/assistant professor openings in Bozen-Bolzano Enrico Franconi
2014/04/16 (PN) KI 2014: Last Call for Papers Michael Thielscher
2014/04/16 (PN) Call for Papers: Workshops Colocated with SEFM 2014 Lina Ye
2014/04/16 (PN) WWV 2014: final call for papers Maurice ter Beek
2014/04/14 (PN) CONCUR 2014: Deadline approaching Paolo Baldan
2014/04/14 (PN) ATVA - (Final) Call for Workshop Proposals Peter Höfner
2014/04/14 (PN) RV 2014, Deadlines extended: abstract April 18, full paper April 25 Runtime Verification
2014/04/09 (PN) 4th International SAT/SMT Summer School Geoff Sutcliffe