petrinet

Messages by Date

2014/04/09 (PN) PNSE14 deadline extension Rölke , Heiko
2014/04/09 (PN) Call for Workshops, Petri Nets 2015 Jetty Kleijn
2014/04/09 (PN) MFPS 2014: last call for papers Alexandra Silva
2014/04/09 (PN) 1st CFP: 28th European Simulation and Modelling Conference - ESM'2014, October 22-24, 2014, FEUP - University of Porto, Portugal Philippe Geril
2014/04/07 (PN) CFP: 12th International Conference on Service Oriented Computing (ICSOC 2014) Kais Klai
2014/04/07 (PN) CFP: 3rd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE 2014) Kais Klai
2014/04/07 (PN) FMICS 2014: deadlines extended Wendelin Serwe
2014/04/05 (PN) ICFEM 2014 Last Call-for-papers Liu Yang (Asst Prof)
2014/04/05 (PN) PMECT 2014 Call For Papers - Extended Deadline Peter Bull
2014/04/05 (PN) One (1) Research Fellow (PostDoc) position and one (1) Research Associate position are available for 2 years period, Nicosia, Cyprus Constandinos X. Mavromoustakis
2014/04/05 (PN) Integrated Formal Methods 2014 - Final Call for Papers Emil Sekerinski
2014/04/05 (PN) FMi 2014 deadline extension. The 2nd IEEE International Workshop on Formal Methods Integration Thouraya Bouabana Tebibel
2014/04/02 (PN) VSTTE CfP Leo Freitas
2014/04/02 (PN) [simu-conf] SummerSim WIP vsim-conf
2014/04/02 (PN) Last Call for Papers ICTAC, Bucharest, September 2014 Gabriel Ciobanu
2014/04/02 (PN) FINAL Call For Papers SaFoMe 2014 -- Co-located with SEFM2014 Ricardo J. Rodríguez (UPM)
2014/04/01 (PN) MCC'2014 - 2nd call for tool participation + update Fabrice Kordon
2014/04/01 (PN) PNSE'14: Submission Deadline for Papers and Posters now 14th April 2014 PNSE14
2014/03/30 (PN) SECOND CALL FOR PAPERS EPEW'14 in FLORENCE Katinka Wolter
2014/03/30 (PN) NSS 2014 CFP: Xi'an, China, October 15-17, 2014 Yu Wang
2014/03/30 (PN) Call For Participation: FormaliSE 2014, Hyderabad, India, 3 June 2014 Nico Plat
2014/03/30 (PN) CFP: The 2nd IEEE International Workshop on Formal Methods Integration - FMi 2014 Thouraya Bouabana Tebibel
2014/03/30 (PN) [SPE 2014] Submission deadline extended (April 12, 2014) Claudio A. Ardagna
2014/03/30 (PN) ICOOOLPS 2014 call for papers Olivier Zendra
2014/03/26 (PN) RP 2014 -- First Call for Papers Joel Ouaknine
2014/03/26 (PN) Second Call for Papers: FMICS 2014 Wendelin Serwe
2014/03/26 (PN) ASPOCP 2014: Last call for papers Marco Maratea
2014/03/26 (PN) CFP: The 2nd IEEE International Workshop on Formal Methods Integration - FMi 2014 Thouraya Bouabana Tebibel
2014/03/21 (PN) WoLLIC 2014 - Call for Papers (DEADLINE APPROACHING) Ruy de Queiroz
2014/03/21 (PN) Call for Papers: International Conference on Formal Methods in Computer-Aided Design (FMCAD) 2014 Mitra Purandare
2014/03/21 (PN) CL 2014, Colloquium Logicum 2014, Neubiberg (Germany), 4-6 Sep 2014 DVMLG
2014/03/18 (PN) SEFM 2014: Extended Deadlines lina . ye
2014/03/18 (PN) RV 2014: 3rd Call for Papers, Deadline in 3 weeks Runtime Verification
2014/03/18 (PN) AVoCS 2014: 2nd Call for Papers Wojciech Mostowski
2014/03/18 (PN) ICGT 2014: Final Call for Papers Lambers, Leen
2014/03/18 (PN) BPM 2014 - Deadline extension until 28th March (abstracts 21st March) Matthias Weidlich
2014/03/18 (PN) Last Call for Papers ICTAC, Bucharest, 17-20 September 2014 Gabriel Ciobanu
2014/03/18 (PN) KI 2014: Second Call for Papers Michael Thielscher
2014/03/18 (PN) Deadline extension: 7th Interaction and Concurrency Experience (ICE 2014) Ivan Lanese
2014/03/18 (PN) New book "Formal Methods in Manufacturing" Javier Campos
2014/03/18 (PN) PhD position Better Testing with Game Theory, University of Twente Marielle Stoelinga
2014/03/12 (PN) CFP "4th Workshop on Formal Methods in the Development of Software: WS-FMDS 2014" Fernando Lopez Pelayo
2014/03/12 (PN) Tenured full professorship in Theoretical Computer Science at the Department of Informatics, University of Hamburg Daniel Moldt
2014/03/12 (PN) SEFM 2014: Final Call for Papers lina . ye
2014/03/12 (PN) Final CFP: 7th Interaction and Concurrency Experience (ICE 2014) - June 6, 2014, Berlin, Germany Ivan Lanese
2014/03/12 (PN) CFP: The 2nd IEEE International Workshop on Formal Methods Integration - FMi 2014 Thouraya Bouabana Tebibel
2014/03/12 (PN) Call for Papers: TASE 2014 (Submission deadline has been extended) Huibiao Zhu
2014/03/07 (PN) SFM-14:ESM last call for participation Marco Bernardo
2014/03/04 (PN) MCC'2014 - call for tool participation Fabrice Kordon
2014/03/04 (PN) PNSE'14: Call for Papers Rölke , Heiko
2014/03/04 (PN) 13th International Conference on Cryptology and Network Security (CANS 2014) - Call for Papers sara . foresti
2014/03/04 (PN) IFIP WG 7.3 Performance 2014: 2nd call for papers Performance 2014
2014/03/04 (PN) 2nd Call for Paper: ICFEM 2014, Luxembourg, 3-7 November 2014 Liu Yang (Asst Prof)
2014/03/04 (PN) Call for Papers: SaFoMe 2014 Elena Gómez-Martínez
2014/03/01 (PN) Call for Contributions to the Doctoral Consortium at BPM 2014 Matthias Weidlich
2014/03/01 (PN) WWV 2014: call for papers Maurice ter Beek
2014/03/01 (PN) Scholarships available for attending the European BPM Round Table in Liechtenstein: Limited number, Deadline March 15th Aalst, W.M.P. van der
2014/03/01 (PN) Second Call for Papers: FMICS 2014 Wendelin Serwe
2014/02/25 (PN) Call for papers: The 6th Workshop on Behavior Modelling - Foundations and Applications Roubtsova, Ella
2014/02/25 (PN) Call for Papers: TASE 2014 Huibiao Zhu
2014/02/25 (PN) Integrated Formal Methods 2014 - First Call for Papers Emil Sekerinski
2014/02/21 (PN) CfP VECoS 2014 Kamel Barkaoui
2014/02/21 (PN) Four PhD positions on Data Science in the Department of Mathematics and Computer Science at TU Eindhoven Aalst, W.M.P. van der
2014/02/21 (PN) 2ND EUROPEAN BPM ROUND TABLE / CALL FOR PARTICIPATION Aalst, W.M.P. van der
2014/02/21 (PN) ICGT 2014 - 2nd Call for Papers Lambers, Leen
2014/02/21 (PN) Enterprise & Organizational Modeling And Simulation, 16-17 June 2014, Thessaloniki, Greece, In conjunction with CAiSE 2014 Joseph Barjis - TBM
2014/02/19 (PN) 2nd CFP 12th annual Industrial Simulation Conference, ISC'2014, June 11-13, 2014, University of Skövde, Skövde, Sweden Philippe Geril
2014/02/19 (PN) CMCS 2014: call for short contributions and participation Alexandra Silva
2014/02/19 (PN) 5 PhD Positions in Formal Methods, Functional Programming, and Information and Software/Web Security at the Chalmers University of Technology, Sweden Laura Kovacs
2014/02/19 (PN) Formal Verification of Service Based Systems FVSBS 2014 @ IEEE WETICE - Parma, Ital Kais Klai
2014/02/19 (PN) JLAP special issue: call for papers Maurice ter Beek
2014/02/19 (PN) LATA 2014: call for participation GRLMC
2014/02/13 (PN) FSFMA: call for papers (FM satellite) Étienne André
2014/02/13 (PN) RV 2014: 2nd Call for Papers, Deadline in 2 months Runtime Verification
2014/02/13 (PN) SAFECOMP'14 Final Call For Papers Francesco Flammini
2014/02/13 (PN) CONCUR 2014: Call for Papers Paolo Baldan
2014/02/13 (PN) VSTTE CfP Leo Freitas
2014/02/13 (PN) ESSS workshop 2014 (co-located with FM 2014 in Singapore) -- deadline extension Jun PANG
2014/02/13 (PN) BPMDS'2014 - Call for Papers (in conjunction with CAISE) Selmin Nurcan
2014/02/13 (PN) PLACES 2014 at ETAPS - Call for Participation Alastair Donaldson
2014/02/09 (PN) SSTiC 2014: February 15, 3rd registration deadline GRLMC
2014/02/09 (PN) IEEE International Workshop on Formal Methods Integration - IEEE FMi 2014 Thouraya Bouabana Tebibel
2014/02/07 (PN) GraMSec'14 CALL FOR PARTICIPATION Barbara KORDY
2014/02/07 (PN) CFP: The IEEE International Workshop on Formal Methods Integration - FMi 2014 - Thouraya Bouabana Tebibel
2014/02/07 (PN) SFM-14:ESM second call for participation Marco Bernardo
2014/02/07 (PN) ETAPS 2014 call for participation Tarmo Uustalu
2014/02/07 (PN) ICPE 2014 - Advance Registration [email protected]
2014/02/07 (PN) ICECCS 2014: 2nd call for papers Étienne André
2014/02/07 (PN) ASPOCP 2014: Call for papers Marco Maratea
2014/02/07 (PN) 2014 IEEE CNS Call for Workshop Proposals sara . foresti
2014/02/07 (PN) Call for Paper: International WOrkshop on Cloud Security (IWOCS2014) Fulvio Frati
2014/02/07 (PN) Call For Papers - FMS Workshop (submission deadline: 10th March 2014) Lilia Sfaxi
2014/02/07 (PN) CFP NFSP Workshop with ICDCS14, Spain, Due on Feb. 28, 2014. shuiyucfp
2014/02/07 (PN) KI 2014: Call for Papers Michael Thielscher
2014/02/07 (PN) DeSE 2014: First Call for Papers Announce Announcements
2014/02/07 (PN) 13th International Conference on Cryptology and Network Security - Call for Papers sara . foresti
2014/02/07 (PN) WiMob 2014: First CFP and Call for Workshop Proposals Announce Announcements
2014/02/07 (PN) Faculty positions at the School of Computer Science, Reykjavik University Marjan Sirjani
2014/02/01 (PN) CfP: Workshop on Models and Methods for hospital management and planning Cristian Mahulea
2014/01/31 (PN) Vienna Summer of Logic Announcement Geoff Sutcliffe
2014/01/31 (PN) CPS Track dentro de WETICE'14 CFP Joaquin Ezpeleta
2014/01/31 (PN) 2nd CfP: BPM 2014 - International Conference on Business Process Management Matthias Weidlich
2014/01/31 (PN) CfP: WS-FM:FASOCC 2014 - 11th International Workshop on Web Services and Formal Methods Matthias Weidlich
2014/01/29 (PN) Deadline Extension : Formal Verification of Service Based Systems FVSBS 2014 @ IEEE WETICE - Parma, Ital Kais Klai
2014/01/26 (PN) ADHOC-NOW 2014 (Abstract Subm.: Jan.31, 2014): Benidorm, Spain Jaime Lloret Mauri
2014/01/24 (PN) 2nd Call for Papers- 12th annual Industrial Simulation Conference, ISC'2014, June 11-13, 2014, University Skövde, Sweden Philippe Geril
2014/01/24 (PN) CfP: International Workshop on Model Checking and Automated Planning (MOCHAP-14) Daniele Magazzeni
2014/01/24 (PN) CFP: WRUMMM 2014, HiPMoS 2014 - DIS and ProbStat [email protected]
2014/01/24 (PN) EXTENDED DEADLINE - APBPM 2014 (Brisbane, Australia) Chun Ouyang
2014/01/24 (PN) Postdoc positions in SAT/SMT-based Verification available in Trento Roberto Sebastiani
2014/01/24 (PN) GRAPHITE 2014: Final Call for Papers Anton Wijs
2014/01/24 (PN) GandALF 2014: Preliminary call for papers murano
2014/01/17 (PN) CFP: PASM 2014 Nigel Thomas
2014/01/15 (PN) Call for Papers ICTAC 2014, 17-20 Sept. Bucharest Gabriel Ciobanu
2014/01/15 (PN) ICALP 2014 Call for Papers Thore Husfeldt
2014/01/15 (PN) SEFM 2014: Second Call for Papers and Workshop Proposals lina . ye
2014/01/15 (PN) CfP: 4th IEEE Track on Collaborative Modeling and Simulation (Comets 2014) - WETICE 2014 Daniele Gianni
2014/01/13 (PN) Deadline Extended: 35th International Conference on Application and Theory of Petri Nets and Concurrency Kais Klai
2014/01/11 (PN) Petri Nets 2014: Submission deadline extension: January 22 Ekkart Kindler
2014/01/10 (PN) SAFECOMP'14 Call For Papers Francesco Flammini
2014/01/10 (PN) Joint iFM 2014 & FACS 2014: Extended Deadline For Workshop Proposals Elena Giachino
2014/01/10 (PN) ETAPS WORKSHOPS 2014: joint call for papers Ylies Falcone
2014/01/10 (PN) SFM-14:ESM first call for participation Marco Bernardo
2014/01/10 (PN) FSFMA 2014, 1st Call for Papers Petrucci Laure
2014/01/09 (PN) Deadline approaching: 35th International Conference on Application and Theory of Petri Nets and Concurrency Kais Klai
2014/01/08 (PN) ACSD 2014 - Call for papers - ACM TECS special issue Luca Bernardinello
2014/01/03 (PN) Call for Papers: FormaliSE 2014 (3 June 2014, Hyderabad, India) Nico Plat
2014/01/03 (PN) Deadline approaching: 35th International Conference on Application and Theory of Petri Nets and Concurrency Kais Klai
2013/12/27 (PN) BPMDS'2014 - Call for Papers Selmin Nurcan
2013/12/27 (PN) VMCAI 2014 call for participation Kenneth McMillan
2013/12/27 (PN) Call for Papers: ITP 2014 Gerwin Klein
2013/12/24 (PN) ETAPS 2015 call for satellite events Tarmo Uustalu
2013/12/24 (PN) TGC 2014: 1st Call for Papers Emilio Tuosto
2013/12/24 (PN) Fwd: Preliminary CfP: IFIP-TCS 2014 Daniele Gorla
2013/12/20 (PN) Joint iFM 2014 & FACS 2014: Last Call For Workshop Proposals Elena Giachino
2013/12/19 (PN) CFP: SI on Green Communications and Networking - MONET (I.F.: 1.109) Jaime Lloret Mauri
2013/12/19 (PN) SR 2014 - Extended Deadline and Last Call for Contributions murano
2013/12/19 (PN) Deadline approaching: 35th International Conference on Application and Theory of Petri Nets and Concurrency Kais Klai
2013/12/19 (PN) AVoCS 2014: 1st Call for Papers Wojciech Mostowski
2013/12/19 (PN) ICPE14 - Call for Vision and Demo Papers [email protected]
2013/12/19 (PN) IFIP SEC 2014 - Call for Papers sara . foresti
2013/12/19 (PN) Call for papers: SynCoP 2014 (ETAPS workshop) Étienne André
2013/12/19 (PN) Subject: Subject: 2nd CFP: CiE 2014: Language, Life, Limits - Budapest, Hungary, 23-27 June, 2014 CiE Conference Series
2013/12/19 (PN) ICECCS 2014: 1st call for papers Étienne André
2013/12/19 (PN) CMCS 2014: Final call for papers Alexandra Silva
2013/12/18 (PN) PLACES 2014: deadline extended until 3rd January 2014 Alastair Donaldson
2013/12/18 (PN) FORTE 2014 Call for Papers Erika Abraham
2013/12/18 (PN) WoLLIC 2014 - 2nd Call for Papers Ruy de Queiroz
2013/12/18 (PN) ACSD 2014: Call for Papers Andrey Mokhov
2013/12/18 (PN) Call for Papers: FormaliSE 2014 Nico Plat
2013/12/18 (PN) SR 2014 - Extended Deadline and Last Call for Contributions murano
2013/12/13 (PN) CFP: 7th Interaction and Concurrency Experience (ICE 2014) - June 6, 2014, Berlin, Germany Alberto Lluch Lafuente
2013/12/13 (PN) CFP: 8th International Conference on TESTS AND PROOFS (TAP 2014) Nikolai Tillmann
2013/12/13 (PN) FORMATS 2014: 1st Call for Papers Marius Bozga
2013/12/13 (PN) Second call for papers: PLACES'14 - Programming Language Approaches to Concurrency and communication-cEntric Software Alastair Donaldson
2013/12/13 (PN) 2 Post-doc Positions in Information Security at the University of Luxembourg Barbara KORDY
2013/12/13 (PN) Ph.D. Position in Information Security at the University of Luxembourg Barbara KORDY
2013/12/13 (PN) CFP: 35th International Conference on Application and Theory of Petri Nets and Concurrency Kais Klai
2013/12/06 (PN) [Call] PhD/PostDoc school on "Change in Ontologies and Databases" (29-31 January 2014) in Bozen-Bolzano, Italy Enrico Franconi
2013/12/06 (PN) GraMSec'14 -- Deadline extended until December 13 Barbara KORDY
2013/12/06 (PN) CALL FOR PAPERS - APBPM 2014 (Brisbane, Australia) Chun Ouyang
2013/12/06 (PN) Call for Workshops - Symposium on Automated Technology for Verification and Analysis (ATVA) Peter Höfner
2013/11/29 (PN) Joint iFM 2014 & FACS 2014: Call For Workshop Proposals Elena Giachino
2013/11/29 (PN) CFP 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) Sébastien Konieczny
2013/11/27 (PN) Postdoc position on formal contracts Jean-Baptiste Raclet
2013/11/27 (PN) 2nd CFP: 3rd ETAPS Workshop on Graph Inspection and Traversal Engineering (GRAPHITE 2014) Alberto Lluch Lafuente
2013/11/27 (PN) BPMDS'2014 - Call for Papers Selmin Nurcan
2013/11/27 (PN) Second CFP: 35th International Conference on Application and Theory of Petri Nets and Concurrency Kais Klai
2013/11/27 (PN) Model Checking Contest 2014 - 2nd Call for Models Fabrice Kordon
2013/11/20 (PN) 1st CFP: 14th International Conference on Runtime Verification September 22 – 25, 2014 Toronto, Canada Runtime Verification
2013/11/20 (PN) Call for papers: PLACES'14 - Programming Language Approaches to Concurrency and communication-cEntric Software Alastair Donaldson
2013/11/20 (PN) ICGT 2014: First Call for Papers Lambers, Leen
2013/11/19 (PN) new book Louchka Popova-Zeugmann
2013/11/13 (PN) 3 post-doc positions in Computer Science @GSSI L'Aquila - Italy Rocco De Nicola
2013/11/13 (PN) PhD studentship in Asynchronous Synthesis and Verification Alex Yakovlev
2013/11/11 (PN) CAISE'14 Forum - Call for Short Papers and Tool Demonstrations Selmin Nurcan
2013/11/11 (PN) Multiple PhD vacancies on Process Mining: TU/e is hiring people with a strong background in data mining, machine learning, process analytics, predictive analytics, and/or Big Data Aalst, W.M.P. van der
2013/11/11 (PN) 1st Call for Papers, 21st Annual European Concurrent Engineering Conference, April 28-30, 2014, Novotel, Bruges, Belgium Philippe Geril
2013/11/11 (PN) 2nd CFP -- International Workshop on Graphical Models for Security (GraMSec'14) Barbara KORDY
2013/11/11 (PN) SynCoP 2014 (ETAPS satellite) 2nd call for papers Étienne André
2013/11/06 (PN) Fwd: VECoS'13: Call for Participation Kamel Barkaoui
2013/11/06 (PN) CfP: BPM 2014 - International Conference on Business Process Management Matthias Weidlich
2013/11/06 (PN) Important information from the Petri Nets Steering Committee meeting in Milano, June 2013 Maciej Koutny
2013/10/30 (PN) Model Checking Contest 2014 - Call for Models Fabrice Kordon
2013/10/30 (PN) *** Extended deadline *** 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/10/23 (PN) 2 PhD / postdoc positions in stochastic model checking, U Twente Marielle Stoelinga
2013/10/18 (PN) CALL FOR PAPERS - APBPM 2014 (Brisbane, Australia) Chun Ouyang
2013/10/18 (PN) CMCS 2014: Second call for papers Alexandra Silva
2013/10/18 (PN) PostDoc/Senior Researchers in Process Mining (National research university "Higher school of economics", Moscow, Russian Federation) Мицюк Алексей Александрович
2013/10/18 (PN) 1st CFP: 3rd ETAPS Workshop on Graph Inspection and Traversal Engineering (GRAPHITE 2014) Alberto Lluch Lafuente
2013/10/15 (PN) CFP: 35th International Conference on Application and Theory of Petri Nets and Concurrency Kais Klai
2013/10/15 (PN) Call for Paper: FM 2014, 14 - 16 May, Singapore jun sun
2013/10/15 (PN) Call for Papers ICTAC, Bucharest 17-20 Sept 2014 Gabriel Ciobanu
2013/10/15 (PN) Essays in Memory of Mark Stickel Geoff Sutcliffe
2013/10/15 (PN) First CFP -- International Workshop on Graphical Models for Security (GraMSec'14) Barbara KORDY
2013/10/15 (PN) Postdoc Research Fellow Position and Research Assistant Available on Software Engineering and Formal Methods in Singapore Liu Yang (Asst Prof)
2013/10/07 (PN) LPAR-19 - Calls for Short Papers and Workshop Papers Geoff Sutcliffe
2013/10/07 (PN) new intro to Petri Nets Wolfgang Reisig
2013/10/07 (PN) Two PhD Positions on Process Mining at TU Eindhoven/Perceptive Software Aalst, W.M.P. van der
2013/10/07 (PN) DIFTS'13: Call for Participation Malay Ganai