petrinet

Messages by Date

2017/02/01 (PN) iFM 2017: Call for Papers (13th Intl. Conference on integrated Formal Methods), submission open Ingrid Chieh Yu
2017/02/01 (PN) RV'17 - First call for papers and tutorials Klaus Havelund
2017/02/01 (PN) CFP FMi 2017: The 5th IEEE International Workshop on Formal Methods Integration Thouraya Bouabana Tebibel
2017/02/01 (PN) MFPS 33: first call for papers Alexandra Silva
2017/02/01 (PN) FORMATS 2017 - Call for Papers - Submission 21 April 2017 THAO DANG
2017/01/24 (PN) MODEL CHECKING CONTEST 2017 - (2/2) - CALL FOR MODELS Fabrice Kordon
2017/01/11 (PN) PhD Position on Process Mining in Customer Behavior @ Eindhoven University of Technology & BrandLoyalty Aalst, W.M.P. van der
2017/01/11 (PN) Post-doctoral position in Bordeaux/LaBRI Marc Zeitoun
2017/01/11 (PN) Extended Deadline - Petri Nets 2017 Eike Best
2017/01/09 (PN) [CfP] VECoS 2017 Kamel Barkaoui
2017/01/03 (PN) MODEL CHECKING CONTEST 2017 - (2/2) - CALL FOR TOOLS Fabrice Kordon
2017/01/03 (PN) MODEL CHECKING CONTEST 2017 - (1/2) - CALL FOR MODELS Fabrice Kordon
2016/12/23 (PN) Vacancies for Research Posts - Department of Computer Science, University of Cyprus Announce Announcements
2016/12/23 (PN) CfP for the 3rd International Workshop GRAPHS AS MODELS (GaM 2017) Timo Kehrer
2016/12/23 (PN) 2 PhD positions @University of Twente: Fewer train delays via big data, fault trees, model checking Marielle Stoelinga
2016/12/23 (PN) CfP: Models for Formal Analysis of Real Systems (MARS 2017) Peter.Hoefner
2016/12/22 (PN) ACSD 2017: Call-for-Papers Klaus Schneider
2016/12/11 (PN) CALCO 2017: First Call for Papers Fabio Zanasi
2016/12/03 (PN) 2nd Call for Papers - Petri Nets, 2017, Zaragoza, Spain, June 25-30, 2017 Eike Best
2016/12/02 (PN) iFM 2017: final Call for Workshops Proposals Ingrid Chieh Yu
2016/12/02 (PN) HiPMoS 2017 - Call for papers Mauro Iacono
2016/12/02 (PN) PostDoc Positions on Planning and Scheduling in the Embedded System Research Unit Marco Roveri
2016/11/28 (PN) CfP RAMICS 2017 deadline extension Peter.Hoefner
2016/11/19 (PN) Third Nordic Logic Summer School (NLS) 2017, First Announcement Dilian Gurov
2016/11/19 (PN) Special Session on Petri Nets (CoDIT'17-Sapin) Achraf Jabeur Telmoudi
2016/11/19 (PN) CAV 2017 Call for Workshop proposals Mikaël Mayer
2016/11/19 (PN) Call for short paper submission, aSSB-Lyon'17 Thematic school "advances in Systems & Synthetic Biology" Dominique Zeliszewski
2016/11/19 (PN) CSL 2017: First Call For Papers Dilian Gurov
2016/11/19 (PN) How to discover Petri nets from event logs? - Follow/promote the Coursera course "Process Mining: Data Science in Action" Aalst, W.M.P. van der
2016/11/19 (PN) PhD Student positions in Cyber-physical Systems/Artificial Intelligence/Systems Biology at ANU Sergiy Bogomolov
2016/11/03 (PN) CADE-26 Call for Workshops, Tutorials, System Competition, and Papers Geoff Sutcliffe
2016/10/29 (PN) iFM 2017: Call for Workshops (13th Intl. Conference on integrated Formal Methods, Torino) Ingrid Chieh Yu
2016/10/29 (PN) TABLEAUX/FroCoS/ITP Call for Papers Geoff Sutcliffe
2016/10/29 (PN) [CFP] RAMiCS 2017 Damien Pous
2016/10/29 (PN) CfP: MARS 2017 - Models for Formal Analysis of Real Systems Peter.Hoefner
2016/10/25 (PN) WAT 2017: Call for papers Organizing committee , WAT 2017
2016/10/25 (PN) Invited Session (CpoDIT'17): Petri nets models for modeling, control and optimization Achraf Jabeur Telmoudi
2016/10/25 (PN) Artificial Intelligence and Theorem Proving - Call for Papers Geoff Sutcliffe
2016/10/25 (PN) CSL 2017 Call for Workshop Proposals Dilian Gurov
2016/10/25 (PN) ACM/SPEC ICPE 2017 - Call for Tutorial Proposals Andrea Rosa
2016/10/25 (PN) Call for peer-reviewed short papers, aSSB-Lyon'17 Thematic school "advances in Systems & Synthetic Biology" Dominique Zeliszewski
2016/10/12 (PN) TABLEAUX, FroCoS, ITP - Call for Workshops and Tutorials Geoff Sutcliffe
2016/10/12 (PN) Call for Workshops Proposals in conjonction with ANT-17 stephane . galland
2016/10/12 (PN) FCT 2017 - First Announcement Marc Zeitoun
2016/10/12 (PN) FSEN 2017: Call for Papers Marjan Sirjani
2016/10/12 (PN) iFM 2017: Preliminary Call for Papers (13th Intl. Conference on integrated Formal Methods, Torino) Ingrid Chieh Yu
2016/10/12 (PN) [DEADLINE EXT] 6th INT. SYMPOSIUM ON DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS (SIMPDA2016) Fulvio Frati
2016/10/12 (PN) [ANT17] CFP 8th International Conference on Ambient Systems, Networks and Technologies stephane . galland
2016/10/12 (PN) Fwd: ICDEc 2017 | Call for paper and special sessions icdec2017
2016/10/12 (PN) Preliminary Programme - 30th ESM'2016, October 26-28 , 2016, SIANI, University of Las Palmas, Spain Philippe Geril
2016/10/12 (PN) Dr. Dmitry Zaitsev on Selfies, Petri Nets, and Advanced Research in the Ukrainian Journal “Cybernetics and Systems Analysis” Ann Lupold
2016/10/12 (PN) [ANT17] CFP 8th International Conference on Ambient Systems, Networks and Technologies stephane . galland
2016/10/12 (PN) International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) Nils Muellner
2016/10/12 (PN) OSSCOM 2016 : The 2nd International Conference on Open Source Software Computing, 1 - 3 December 2016, Lebanese University, Lebanon OSSCOM 2016
2016/10/12 (PN) aSSB'17: first announcement, Thematic Research School "advances in Systems & Synthetic Biology". Lyon, March 13-17, 2017 Dominique Zeliszewski
2016/10/12 (PN) CFP: BDCA'17 2nd International Conference on Big Data, Cloud and Applications, Proceedings ACM BDCA Conference
2016/10/12 (PN) CfP - Workshop on Communication Security - affiliated with EUROCRYPT 2017 Marco Baldi
2016/10/12 (PN) CFP - 20th Iberoamerican Conference on Software Engineering (CIBSE 2017) Tayana Conte
2016/10/12 (PN) CFP S4CIP17 @ IEEE EuroS&P 2017. Paris (France) UZ
2016/10/12 (PN) FedCSIS 2017 - CALL FOR EVENTS Federated Conference on Computer Science and Information Systems
2016/10/12 (PN) DL 2017, Call for Papers Geoff Sutcliffe
2016/10/12 (PN) CFP International Conference on Logic Programming and Non-monotonic Reasoning, Finland, July 3-5, 2017 Peter Schüller
2016/10/11 (PN) Post-doc positions on synthesis for non-zero sum games at the Université libre de Bruxelles (Belgium) Gilles Geeraerts
2016/10/10 (PN) Call for Papers - Petri Nets 2017, Zaragoza Eike Best
2016/09/12 (PN) Call for Workshops Proposals in conjonction with ANT-17 stephane . galland
2016/09/12 (PN) CfP: SOAP@SAC 2017 - deadline extended to Sept. 29 Massimo Bartoletti
2016/09/12 (PN) GCAI 2016 - Call for Participation Geoff Sutcliffe
2016/09/06 (PN) [CFP] RAMiCS 2017 Damien Pous
2016/09/06 (PN) Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS'16) Peter Csaba Ölveczky
2016/09/06 (PN) Open position for Postdoc at Embedded Systems Unit of FBK Stefano Tonetta
2016/09/06 (PN) FM 2016: 21st International Symposium on Formal Methods -- Call for Participation Announce Announcements
2016/09/06 (PN) Call for Papers - AutoProof Workshop 2016 - Toulouse, France Alexandr Naumchev
2016/09/03 (PN) Postdoc Position(s) in Formal Methods for parametric quantitative systems benoit delahaye
2016/09/03 (PN) Two open positions for theoretical computer science: Department of Informatics, University of Hamburg Daniel Moldt
2016/08/28 (PN) Final CfP: Formal Techniques for Safety-Critical Systems (FTSCS'16) Peter Csaba Ölveczky
2016/08/28 (PN) [CFP] 6th Int. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2016) Fulvio Frati
2016/08/28 (PN) Multiple RA and Postdoc Positions Available at SUTD jun sun
2016/08/28 (PN) Deadline Extended to Sep3- CloudBpm 2016 in conjunction with IEEE CloudCom -Luxembourg Heidari, F.
2016/08/18 (PN) NWPT'16 - last call for contributions Jiri Srba
2016/08/11 (PN) Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation pedro.lopez
2016/08/11 (PN) 2nd CFP- CloudBpm 2016 in conjunction with IEEE CloudCom -Luxembourg Heidari, F.
2016/08/11 (PN) Invitation from ICMC 2017 CFP ICMC
2016/08/09 (PN) SBMF2016 - Brazilian Symposium on Formal Methods - Last Call for Papers Leila Ribeiro
2016/08/03 (PN) 11 + 2 PhD positions 2016 -- Computer Science -- Pisa Didattica
2016/07/28 (PN) Deadline approaching - ACM CCS 2016 Call for Posters/Demos Giovanni Livraga
2016/07/26 (PN) 21st International Symposium on Formal Methods (FM 2016): Call for Industry Track Papers Announce Announcements
2016/07/26 (PN) CONCUR FORMATS QEST 2016 - call for participation Desharnais Josée
2016/07/15 (PN) CFP- CloudBpm 2016 in conjunction with IEEE CloudCom -Luxembourg Heidari, F.
2016/07/11 (PN) 2016 Autumn School on Computational Logic John Patrick Gallagher
2016/07/09 (PN) tenure track position in Theoretical Computer Science Fokkink, W.J.
2016/07/07 (PN) CFP: ValueTools 2016 - OCTOBER 26–28, 2016 - TAORMINA, ITALY Lance Fiondella
2016/07/07 (PN) NWPT'16 - first call for contributions Jiri Srba
2016/06/30 (PN) Fwd: IEEE PRDC 2017 - New Zealand: new submission due date: 15 of July, 2016 Paulo Romero Martins Maciel
2016/06/30 (PN) 21st International Symposium on Formal Methods (FM 2016): Call for Industry Track Papers Announce Announcements
2016/06/30 (PN) UMinho AESI doctoral program - call for candidates João M Fernandes
2016/06/30 (PN) [CFP] 6th Int. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2016) Fulvio Frati
2016/06/30 (PN) Model Checking Contest - results online Fabrice Kordon
2016/06/27 (PN) Four tenure-track associate professor positions at IMT Lucca Rocco De Nicola
2016/06/27 (PN) PhD Studentships in CS at IMT Lucca - Deadline July 13 Rocco De Nicola
2016/06/27 (PN) First Call for Papers: FSEN 2017 Marjan Sirjani
2016/06/27 (PN) 7th ITP Conference Geoff Sutcliffe
2016/06/21 (PN) 2nd CfP: ARVI COST Summer School on Runtime Verification 2016 Christian Colombo
2016/06/20 (PN) SOAP@SAC 2017, April 3-7, Marrakech, Morocco - call for papers bart
2016/06/20 (PN) Brazilian Symposium on Formal Methods (SBMF2016) - CFP Leila Ribeiro
2016/06/20 (PN) CFP: Formal Methods 2016 - Doctoral Symposium Matteo G. Rossi
2016/06/20 (PN) [IFSMS16] CFP 3rd Int. Workshop on Information Fusion for Smart Mobility Solutions stephane . galland
2016/06/17 (PN) Meeting of GI SIG Petri Nets on Thursday 23.06.16 Daniel Moldt
2016/06/16 (PN) Renew 2.5 released Lawrence Cabac
2016/06/14 (PN) CFP extended deadline - 2nd Global Conference on Artificial Intelligence Geoff Sutcliffe
2016/06/14 (PN) PRDC 2017 in Christchurch New Zealand Paulo Romero Martins Maciel
2016/06/14 (PN) [CFP] SRDS 2016 PhD Student forum Gilles Tredan
2016/06/14 (PN) GraMSec'16 CALL FOR PARTICIPATION Ravi JHAWAR
2016/06/13 (PN) LOPSTR'16: Final Call for Papers and *Deadline Extension* Pedro López García
2016/06/13 (PN) Call for participation: Tutorial on Parametric Verification @ PN/ACSD Petrucci Laure
2016/06/13 (PN) HSB 2016: 2nd CfP for the 5th International Workshop on Hybrid Systems Biology Sergiy Bogomolov
2016/06/13 (PN) CfP: Formal Techniques for Safety-Critical Systems (FTSCS'16) Peter Csaba Ölveczky
2016/06/13 (PN) PhD position at INRIA Grenoble on formal methods for testing Wendelin Serwe
2016/06/02 (PN) Petri Net Course - Call for Participation Łukasz Mikulski
2016/06/02 (PN) MCC'2016 - news about the participating tools Fabrice Kordon
2016/06/02 (PN) MCC'2016 - news from the models Fabrice Kordon
2016/05/27 (PN) 7th Indian Conference on Logic and its Applications, January 5-7, 2017 (ICLA 2017), IIT Kanpur, India: Call for papers sujata
2016/05/27 (PN) Call for Workshop Proposals - Petri Nets 2017 - deadline June 15 Lars Michael Kristensen
2016/05/24 (PN) Deadline extended - 10th WISTP International Conference on Information Security Theory and Practice (WISTP 2016) Ruggero Donida Labati
2016/05/24 (PN) PhD Scholarships in Computer Science in Bozen-Bolzano (Italy) - DEADLINE 8 JUNE. Enrico Franconi
2016/05/21 (PN) Petri Nets and ACSD 2016 - early registration date extension Łukasz Mikulski
2016/05/13 (PN) ESSS 2016 (co-located with FM 2016): 1st call for papers Jun PANG
2016/05/08 (PN) 2016 International Summer School on Social Networks Security, Privacy, and Trust Chhagan Doot
2016/05/08 (PN) ICTAC 2016 - Final Call for Papers [New hard deadline: 16 May] Augusto Cesar Alves Sampaio
2016/05/08 (PN) [Extended deadline] CFP: The 11th International Conference on Critical Information Infrastructures Security (CRITIS 2016) Cristina Alcaraz
2016/05/08 (PN) Two fully-funded PhD positions at Imperial College London on correct and efficient programming of concurrent and parallel systems Alastair Donaldson
2016/05/08 Re: (PN) Call for papers - 2nd Workshop on Performance Engineering for Large Scale Graph Analytics (PELGA, with Europar'16) Ana Lucia Varbanescu
2016/05/08 (PN) Preliminary Programme ISC'2016, 14th Industrial Simulation Conference, June 6-8, 2016, POLITEHNICA Univ. Bucharest, Romania Philippe Geril
2016/05/08 (PN) [CFP] ICA3PP 2016 + 5 co-located workshops - Deadline extended (May 31st, 2016) Javier Garcia Blas
2016/05/08 (PN) ICCAC 2016 : 2016 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Augsburg, Germany, September 12-16, 2016 ICCAC 2016
2016/05/03 (PN) LOPSTR 2016 Call for Papers Manuel Hermenegildo
2016/05/03 (PN) ISSRE 2016 - Call for Submissions Alexander Romanovsky
2016/05/03 (PN) SUBMISSION DEADLINE EXTENSION - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal alexander . perucci
2016/05/03 (PN) 2nd CFP: 30th European Simulation and Modelling Conference - ESM'2016, October 26-28, 2016, SIANI, Univ. of Las Palmas, Spain Philippe Geril
2016/05/03 (PN) EPEW 2016 - Second Call for Papers EPEW Conference
2016/05/03 (PN) FMICS-AVoCS: 2 weeks deadline extension Maurice ter Beek
2016/05/03 (PN) Summer School on Bidirectional Transformations, Oxford, 25-29th July 2016 Jeremy . Gibbons
2016/05/03 (PN) CAISE 2016 early registration! Rebecca Deneckere
2016/05/03 (PN) Deadline Extension: ATVA 2016 (14th Int'l Symp. on Automated Technology for Verification and Analysis) Takashi Kitamura
2016/04/22 (PN) HSB 2016: CfP for the 5th International Workshop on Hybrid Systems Biology Sergiy Bogomolov
2016/04/22 (PN) PhD Scholarships in Computer Science at the Free Univ. of Bozen-Bolzano (Italy) Enrico Franconi
2016/04/20 (PN) Cfp: Special Issue on Modeling, Scheduling, and Control in Advanced Production Systems murat uzam
2016/04/20 (PN) Call for Workshop Proposals - Petri Nets 2017 Lars Michael Kristensen
2016/04/19 (PN) Verification Mentoring Workshop - Travel Scholarships Geoff Sutcliffe
2016/04/19 (PN) Last CfP - VECoS 2016 Deadline extension : May 6, 2016 Denis Poitrenaud
2016/04/15 (PN) Springer student fee grants for Petri Nets 2016 Łukasz Mikulski
2016/04/15 (PN) ATAED 2016 - Deadline Extended to 22 April 2016 Robin Bergenthum
2016/04/12 (PN) "Understanding Petri Nets" Wolfgang Reisig
2016/04/12 (PN) CfP VECoS 2016 Denis Poitrenaud
2016/04/12 (PN) PhD position in biological network analysis Jun PANG
2016/04/11 (PN) Deadline Approaching: "Processes and Modeling in Smart Industries" at EDOC 2016 Koschmider, Agnes (AIFB)
2016/04/11 (PN) Reachability Problems 2016 - second call for papers Jiri Srba
2016/04/11 (PN) AI*IA 2016: First call for papers Marco Maratea
2016/04/10 (PN) Petri Nets & ACSD Satelites - Final Call for Papers Łukasz Mikulski
2016/04/10 (PN) TU/e is looking for two assistant professors in Process Mining and Business Process Intelligence (deadline for applications is April 24th) Aalst, W.M.P. van der
2016/03/30 (PN) PNSE 2016 - Deadline Extension - 10. April 2016 PNSE16
2016/03/30 (PN) MCC'2016 - surprise models Fabrice Kordon
2016/03/20 (PN) IJCAR 2016 Workshop - Call for Position Statements Leo Freitas
2016/03/20 (PN) Call for Papers - 15th International Conference on Cryptology and Network Security (CANS 2016) CANS 2016
2016/03/19 (PN) ATAED 2016 - 2nd CfP Robin Bergenthum
2016/03/14 (PN) 2nd CfP: International Workshop on Petri Nets and Software Engineering Lawrence Cabac
2016/03/10 (PN) CMCS 2016: Last Call for Participation (with Programme) fabio . zanasi
2016/03/10 (PN) CFP - Graphical Models for Security - GraMSec 2016 Ravi JHAWAR
2016/03/10 (PN) FORMATS 2016 - Second Call for Papers Sebastian Gerwinn
2016/03/10 (PN) CFP: WWV 2016 - 12th International Workshop on Automated Specification and Verification of Web Systems Vigano, Luca
2016/03/05 (PN) 1st CFP: 30th European Simulation and Modelling Conference - ESM'2016, October 26-28, 2016, SIANI, Univ. of Las Palmas, Spain Philippe Geril
2016/03/03 (PN) Call for Papers - 23rd ACM Conference on Computer and Communication Security (ACM CCS 2016) Giovanni Livraga
2016/03/03 (PN) Call for Papers - Technical Sessions at RTSI 2016 sara . foresti
2016/03/03 (PN) 21st International Symposium on Formal Methods (FM 2016): Second Call for Papers Announce Announcements
2016/02/29 (PN) SPIN 2016 - Call for Participation - Early registration deadline 1 March 2016 Wijs, A.J.
2016/02/26 (PN) CFP ICLP 2016: 32nd International Conference on Logic Programming, New York City, Oct 17-21 Peter Schueller
2016/02/26 (PN) Reachability Problems 2016 - first call for papers Jiri Srba
2016/02/26 (PN) 2nd CfP: 9th Interaction and Concurrency Experience (ICE 2016) Hugo Vieira
2016/02/24 (PN) WRLA 2016: call for participation Dorel Lucanu
2016/02/24 (PN) Last Call for Workshop Proposals at FM2016 (21st Intl. Symposium on Formal Methods); 07.-11. Nov. 2016, Limassol, Cyprus) Martin Steffen
2016/02/24 (PN) Model Checking Contest - 2nd call for tool participation Fabrice Kordon
2016/02/24 (PN) PhD Symposium at iFM 2016 Call for Submissions Wojciech Mostowski
2016/02/24 (PN) CFP: ValueTools 2016 - OCTOBER 26–28, 2016 - TAORMINA, ITALY Dr. Salvatore Distefano
2016/02/24 (PN) CFP: The 4th IEEE International Workshop on Formal Methods Integration - FMi 2016 - Thouraya Bouabana Tebibel
2016/02/24 (PN) Vacancy for a postdoc on MOOC creation and learning analytics with a focus on process mining Buijs, J.C.A.M.
2016/02/24 (PN) CPORA 2016 - CALL FOR PAPERS Federated Conference on Computer Science and Information Systems
2016/02/24 (PN) Call for papers - ICTAC 2016 Augusto Cesar Alves Sampaio
2016/02/14 (PN) [CFW] ICA3PP 2016: Call for Workshops. Deadline extended to February 25th, 2016. Javier Garcia Blas
2016/02/12 (PN) FORTE 2016: further 1 week deadline extension (fwd) ivan.lanese
2016/02/12 (PN) Call for Papers (UTP 2016) Huibiao Zhu
2016/02/11 (PN) PhD position in formal verification at Universite Paris 13 / Ecole Centrale Nantes (France) Étienne André
2016/02/10 (PN) SynCoP 2016 (ETAPS Satellite Event): Call for Informal Presentations benoit delahaye
2016/02/09 (PN) AAMAS-2016 Workshops, Demos & Doctoral Mentoring (2CP & INFO) Adrian Pearce
2016/02/09 (PN) early bird registration February 15: Thematic Research School "advances in Systems & Synthetic Biology" Evry, March 21-25, 2016 Dominique Zeliszewski
2016/02/08 (PN) PNSE 2016 - 1st CfP PNSE16
2016/02/07 (PN) CFP - Graphical Models for Security - GraMSec 2016 Ravi JHAWAR
2016/02/06 (PN) Managed Languages Conference: PPPJ 2016 Call for Papers Andrea Rosa
2016/02/05 (PN) CFP - VECoS 2016: 10th International Workshop on Verification and Evaluation of Computer and Communication Systems Slim Kallel
2016/02/05 (PN) CFP & SI - AROSA @ IEEE WETICE 2016 : Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures Slim Kallel
2016/01/29 (PN) ATAED 2016 - 1st CfP Robin Bergenthum
2016/01/27 (PN) Fwd: CMSB 2016 - CfP Monika Heiner