petrinet

Messages by Date

2016/01/27 (PN) AiML-2016: 1ST CALL FOR PAPERS Geoff Sutcliffe
2016/01/27 (PN) CFP: CAV 2016, July 17-23, Toronto [Abstract Submission: Jan 24] Roopsha Samanta
2016/01/27 (PN) FoIKS 2016 --- Call for Participation Vanina Martinez
2016/01/27 (PN) Final CfP: COORDINATION 2016 jose . proenca
2016/01/27 (PN) CfP: 9th Interaction and Concurrency Experience (ICE 2016), June 8-9, 2016, Heraklion, Greece Hugo Vieira
2016/01/27 (PN) Workshop on Verification and Validation of Cyber-Physical Systems Sadegh Soudjani
2016/01/27 (PN) Deadline extension: 2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (CPSWeek 2016) Sergiy Bogomolov
2016/01/27 (PN) MCC'2016 - last call for models Fabrice Kordon
2016/01/27 (PN) Call for papers: QEST 2016 Benny Van Houdt
2016/01/27 (PN) [CfP] 5th IEEE Track on Collaborative Modeling and Simulation (Comets 2016) Daniele Gianni
2016/01/27 (PN) FedCSIS 2016 - CALL FOR PAPERS Federated Conference on Computer Science and Information Systems
2016/01/27 (PN) FMICS-AVoCS 2016: call for papers Maurice ter Beek
2016/01/27 (PN) Call for Papers (UTP 2016) Huibiao Zhu
2016/01/27 (PN) NFM 2016 - third call for papers Klaus Havelund
2016/01/25 (PN) Call for Papers - 30th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2016) Giovanni Livraga
2016/01/25 (PN) last call for early bird registration: Thematic Research School "advances in Systems & Synthetic Biology" Evry, March 21-25, 2016 Dominique Zeliszewski
2016/01/25 (PN) CFP for IEEE - Smart City Security and Privacy Workshop Chhagan Doot
2016/01/25 (PN) AlCoB 2016: submission deadline extended to February 2 GRLMC
2016/01/25 (PN) [ICGT2016] 2nd CFP: Int. Conf. on Graph Transformation, Vienna, July 2016 ICGT 2016
2016/01/25 (PN) Student Travel Support for CPSWeek 2016 Sergiy Bogomolov
2016/01/13 (PN) AROSA Track @ WETICE 2016 (Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures) Slim Kallel
2016/01/11 (PN) Paper submission for Petri Nets 2016 in Torun possible until 15.01.2016 Petri Nets PC Chairs 2016
2016/01/04 (PN) ICATPN 2016: Call for Papers: Petri Nets 2016 in Toruń Petri Nets PC Chairs 2016
2015/12/30 (PN) CMCS 2016 : Last Call for Papers fabio . zanasi
2015/12/30 (PN) 2nd CfP: QAPL16 (New: Speakers, PC, Deadlines) Wiklicky, Herbert
2015/12/30 (PN) FESCA 2016 - Deadlines extension Jan Kofron
2015/12/30 (PN) 2nd CfP: COORDINATION 2016 jose . proenca
2015/12/30 (PN) SynCoP 2016: 2nd Call for Papers benoit delahaye
2015/12/30 (PN) WRLA 2016: 2nd Call for Papers (including invited speakers) Dorel Lucanu
2015/12/30 (PN) Postdoctoral Position in Cyber Physical Systems Shan Lin
2015/12/30 (PN) HiPMoS 2016 - Final call for papers [email protected]
2015/12/30 (PN) STAF 2016: Call for Workshops Paolo Milazzo
2015/12/28 (PN) Tenure track assistant professor in Computer Science at University of Padova, Italy. Paolo Baldan
2015/12/28 (PN) Two PhD positions on Process Mining in Logistics at Vanderlande and Eindhhoven University of Technology Buijs, J.C.A.M.
2015/12/28 (PN) Vacancy for a Postdoc candidate in the Desire Lines in Big Data project Buijs, J.C.A.M.
2015/12/04 (PN) CfP: 2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (CPSWeek 2016) Sergiy Bogomolov
2015/12/04 (PN) Fwd: Open Position in Co-Simulation in Hannover, Germany Matthias Becker
2015/12/04 (PN) SARL 0.3.0 is released stephane . galland
2015/11/28 (PN) ETFA2016 - Call for Papers ETFA2016
2015/11/26 (PN) NFM 2016 - first call for papers Klaus Havelund
2015/11/23 (PN) TPNC 2015: call for participation GRLMC
2015/11/21 (PN) CFP: Graphs as Models workshop at ETAPS 2016 Alexander Heußner
2015/11/21 (PN) CWWMCA15: CALL FOR TRAVEL GRANT APPLICATIONS & PARTICIPATION Min Li2
2015/11/21 (PN) [FNC-16] Call for workshop proposal stephane . galland
2015/11/21 (PN) CAISE 2016 - Sponsoring of best paper award / Last days to submit your paper to the main conference ! Rebecca Deneckere
2015/11/18 (PN) 2nd CFP MESM'2016, 16TH Annual Middle Eastern Simulation and Modelling Conference, March 21-23, 2016, AOU, Amman, Jordan Philippe Geril
2015/11/18 (PN) CFP: PASM 2016 Nigel Thomas
2015/11/18 (PN) Model Checking Contest 2016 - Call for Tools Fabrice Kordon
2015/11/14 (PN) AlCoB 2016: 1st call for papers GRLMC
2015/11/14 (PN) 1st Call for Papers, 12th Annual Future Business Technology Conference, April 13-15, 2016, Plymouth University, UK Philippe Geril
2015/11/14 (PN) CoDIT'16-Invited Session: "Petri nets models for modeling, control and optimization" Achraf Jabeur Telmoudi
2015/11/14 (PN) Artificial Intelligence and Theorem Proving Geoff Sutcliffe
2015/11/09 (PN) PostDoc position at University of Zaragoza Jose Merseguer
2015/11/08 (PN) Special issue of IEEE Transactions on Automation Science and Engineering on "Automation and Optimization for Energy Systems" Prof . ssa Mariagrazia Dotoli
2015/11/08 (PN) WODES'2016 Special session on "Modeling, verification and performance evaluation of complex information systems" Cristian Mahulea
2015/11/08 (PN) WRLA 2016: 1st Call for Papers Dorel Lucanu
2015/11/08 (PN) Deadline extension: SERVICE COMPUTATION 2016 || March 20 - 24, 2016 - Rome, Italy Cristina Pascual
2015/11/08 (PN) SDS 2016:3rd IEEE International Symposium on Software Defined Systems, April 4-8, 2016, Berlin, Germany SDS 2016
2015/11/08 (PN) [MobiSPC-16] Invitation to organize a workshop stephane . galland
2015/11/08 (PN) [FNC-16] Invitation to organize a workshop stephane . galland
2015/11/08 (PN) SPIN 2016 - First Call For Papers Wijs, A.J.
2015/11/08 (PN) 2nd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik m.huisman
2015/11/08 (PN) 1st Call for Papers, 23rd Annual European Concurrent Engineering Conference, April 13-15, 2016, Plymouth University, UK Philippe Geril
2015/11/08 (PN) CALL FOR TUTORIALS:10th IEEE International Conference on RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS 2016) Irina Rychkova
2015/11/08 (PN) 2nd call for peer-reviewed short papers, aSSB'16 Thematic school "Advances in Systems & Synthetic Biology" Dominique Zeliszewski
2015/11/08 (PN) Call for Papers (UTP 2016) Huibiao Zhu
2015/11/04 (PN) Call for models (Model Checking Contest 2016) Fabrice Kordon
2015/10/27 (PN) CfP: COORDINATION 2016 jose . proenca
2015/10/27 (PN) CALL FOR TUTORIALS:10th IEEE International Conference on RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS 2016) Irina Rychkova
2015/10/27 (PN) Call for Papers: ICGT 2016 in Vienna, Austria ICGT 2016 Conference
2015/10/27 (PN) ProM 6.5.1a service release Verbeek, H.M.W.
2015/10/09 (PN) 2nd Call for Paper, SIMEX'2016, February 4-6, 2016, The Hotel, Brussels, Belgium Philippe Geril
2015/10/09 (PN) CfP: TASE 2016 MALLET Frédéric
2015/10/07 (PN) [PoEM 2015] Call for Participation Fáber Danilo Giraldo Velásquez
2015/10/07 (PN) FedCSIS 2016 - CALL FOR EVENTS Federated Conference on Computer Science and Information Systems
2015/10/07 (PN) CfP: ANTIFRAGILE'16 Vincenzo De Florio
2015/10/07 (PN) First announcement: Thematic Research School "advances in Systems & Synthetic Biology". Evry, March 21-25, 2016 Dominique Zeliszewski
2015/10/07 (PN) 1st Call For Papers: 10th IEEE International Conference on Research Challenges In Information Science (RCIS 2016) RCIS Publicity
2015/10/07 (PN) SDS 2016:3rd IEEE International Symposium on Software Defined Systems, April 4-8, 2016, Berlin, Germany SDS 2016
2015/10/04 (PN) LATA 2016: 3rd call for papers GRLMC
2015/10/04 (PN) CPS-Week 2016 - Call for Papers Ezio Bartocci
2015/10/04 (PN) Join the next free run of the successful Process Mining MOOC starting again October 7 Buijs, J.C.A.M.
2015/10/04 (PN) [SIMPDA2015] Deadline extended: October 10th, 2015 Fulvio Frati
2015/10/04 (PN) tutorial @ Petri net 2015 online Fabrice Kordon
2015/09/29 (PN) HiPMoS 2016 - Preliminary call for papers Mauro Iacono
2015/09/29 (PN) Two Positions in Formal Methods at the Technical University of Munich Javier Esparza
2015/09/29 (PN) ETAPS 2016 final call for papers Tarmo Uustalu
2015/09/25 (PN) Preliminary Programme, 29th ESM'2015, October 26-28, 2015, Holiday Inn, Leicester, UK Philippe Geril
2015/09/25 (PN) CFP: CIbSE SET 2016 Ignacio Panach Navarrete
2015/09/25 (PN) CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik Marieke Huisman
2015/09/22 (PN) [SIMPDA2015] Fifth International Symposium on Data-driven Process Discovery and Analysis Fulvio Frati
2015/09/22 (PN) CfP: Special Issue on "Quantitative Evaluation of Systems" in Leibniz Transactions on Embedded Systems Javier Campos
2015/09/22 (PN) CMCS 2016 : First Call for Papers fabio . zanasi
2015/09/22 (PN) Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Final CFP rim . abid
2015/09/21 (PN) CAISE 2016 Call for workshops proposals Rebecca Deneckere
2015/09/21 (PN) LATA 2016: 2nd call for papers GRLMC
2015/09/21 (PN) AAMAS 2016 Workshop Call Adrian Pearce
2015/09/15 (PN) Open Position in Co-Simulation in Hannover, Germany Matthias Becker
2015/09/15 (PN) Reminder, deadline is next week. iFM 2016, Reykjavik, Iceland: Final Call for Workshops Marcel Kyas
2015/09/11 (PN) ICFEM 2015 - Call for participation Fatiha Zaidi
2015/09/07 Re: (PN) [[qest-announce] ] ETAPS 2016 2nd call for papers Dmitry Zaitsev
2015/09/07 (PN) SOAP track of SAC 2016 - Submission deadline extended to Sep 21 Hugo Vieira
2015/09/07 (PN) 2nd CALL FOR PARTICIPATION (RAMiCS 2015) Michael Winter
2015/09/07 (PN) LPAR-20 Short Presentation Papers Geoff Sutcliffe
2015/09/07 (PN) CAISE 2016 Call for papers Rebecca Deneckere
2015/09/07 (PN) cfP: FoIKS 2016 || March 7-11, 2016 - Linz, Austria (Deadline is one month away!!) Vanina Martinez
2015/09/07 (PN) MOOC “Process Mining: Data science in Action” to be repeated as of October 2015 Buijs, J.C.A.M.
2015/09/07 (PN) Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Final CFP rim . abid
2015/09/07 (PN) ETAPS 2016 2nd call for papers Tarmo Uustalu
2015/09/07 (PN) Open Postdoc Position in formal methods applied to timed systems Ezio Bartocci
2015/09/07 (PN) [CFP] 5th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA2015) Fulvio Frati
2015/09/07 (PN) SASO 2015: Early registration deadline (September 4) Frédéric Armetta
2015/09/07 (PN) LATA 2016: 1st call for papers GRLMC
2015/09/07 (PN) Deadline extension: Formal Techniques for Safety-Critical Systems Peter Csaba Ölveczky
2015/09/07 (PN) Reachability Problems 2015 - call for participation Slawomir Lasota
2015/09/07 (PN) VMCAI 2016: Final CFP (Abstract deadline this Friday, Sep 4, Paper deadline next Friday, Sep 11) Barbara Jobstmann
2015/09/07 (PN) AESI doctoral program - call for candidates João M Fernandes
2015/09/07 (PN) Call for Participation - 20th European Symposium on Research in Computer Security (ESORICS 2015) Giovanni Livraga
2015/08/31 (PN) Process Mining Researchers (PhD and Postdoc level) wanted at TU Eindhoven Buijs, J.C.A.M.
2015/08/31 (PN) MCC'2015 - full results online Fabrice Kordon
2015/08/26 (PN) 2nd CfP: Formal Techniques for Safety-Critical Systems Peter Csaba Ölveczky
2015/08/26 (PN) ICECCS Doctoral Symposium 2015: Call for papers Étienne André
2015/08/26 (PN) TABLEAUX/FroCoS 2015 - Call for Participation Geoff Sutcliffe
2015/08/26 (PN) ProM 6.5.1 released Verbeek, H.M.W.
2015/08/26 (PN) 1st CFP MESM'2016, 16th Annual Middle Eastern Simulation and Modelling Conference, March 21-23, 2016, AOU, Amman, Jordan Philippe Geril
2015/08/19 (PN) ETAPS 2016 call for papers Tarmo Uustalu
2015/08/19 (PN) Call for Partecipation: PV 2015 Giorgio Delzanno
2015/08/19 (PN) WS-FM/BEAT and FOCLASA join Call for Participation Antonio Ravara
2015/08/10 (PN) GandALF 2015: Call for Participation Giorgio Delzanno
2015/08/10 (PN) Call for Participation: Formal Methods in Computer-Aided Design (FMCAD), 2015 Thomas Wahl
2015/08/10 (PN) Call for Papers: Models for Formal Analysis of Real Systems (MARS'15) Rob van Glabbeek
2015/08/10 (PN) 1st Call for Papers & Demos - 2nd SIMEX'2016, February 4-6, 2016, The Hotel, Brussels, Belgium Philippe Geril
2015/08/02 (PN) Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Second CFP rim . abid
2015/08/02 (PN) Integrated Formal Methods iFM 2016, Reykjavik, Iceland: 3rd Call for Workshops Marcel Kyas
2015/08/02 (PN) Vacancy for a PhD candidate in the Desire Lines in Big Data project Buijs, J.C.A.M.
2015/08/02 (PN) Post-Doc Position at the Hybrid Systems Group at VERIMAG, Grenoble, France Goran Frehse
2015/08/02 (PN) Call for Participation: ATVA 2015 jun sun
2015/08/02 (PN) [Concurrency] Postdoctoral Position Shan Lin
2015/08/02 (PN) PhD Scholarships in Computer Science at the KRDB Research Centre in Bolzano (Italy) Enrico Franconi
2015/07/21 (PN) PhD Scholarships in Computer Science at the KRDB Research Centre, Free University of Bozen-Bolzano (Italy) Werner Nutt
2015/07/21 (PN) REACHABILITY PROBLEMS 2015 -- call for informal presentations Slawomir Lasota
2015/07/21 (PN) REACHABILITY PROBLEMS 2015 -- call for participation Slawomir Lasota
2015/07/21 (PN) CfP: 2nd Autumn School on Automatic Analysis and Verification of Complex Systems Martin Fränzle
2015/07/13 (PN) Call for Participation: TASE 2015, Nanjing, China, September jun sun
2015/07/13 (PN) Postdoc: Software Analytics and Process Mining (@TU/e) Buijs, J.C.A.M.
2015/07/13 (PN) Call for Papers PAS-2015 (Program Verification, Automated Debugging and Symbolic Computation) Isabela Drămnesc
2015/07/08 (PN) Final CfP: International Conference on Formal Aspects of Component Software Peter Csaba Ölveczky
2015/07/08 (PN) DIFTS 2015: Call for Papers Chao Wang
2015/07/08 (PN) VMCAI 2016: Call for Papers, Deadlines: Sep 4 (abstract), Sep 11 (paper) Barbara Jobstmann
2015/07/08 (PN) LPAR-20 Workshops - Calls for Papers Geoff Sutcliffe
2015/07/08 (PN) Postdoc Position at SUTD on Attestation jun sun
2015/07/03 (PN) ProM 6.5 released Verbeek, H.M.W.
2015/07/03 (PN) ERCIM STM 2015 PhD Thesis Award - call for applications (deadline approaching) STM 2015
2015/07/01 (PN) Fwd: Special session on Formal Modeling Dr. Farooq Ahmad .
2015/06/29 (PN) WS-FM/BEAT 2015 last CfP Antonio Ravara
2015/06/29 (PN) BPI Challenge 2015 ***DEADLINE EXTENDED*** Dongen, B.F. van
2015/06/29 (PN) Last Mile | VALID 2015 || November 15 - 20, 2015 - Barcelona, Spain Cristina Pascual
2015/06/29 (PN) Second Call for Workshop Proposals: 12th International Conference on integrated Formal Methods Marcel Kyas
2015/06/29 (PN) Last Mile | SIMUL 2015 || November 15 - 20, 2015 - Barcelona, Spain Cristina Pascual
2015/06/29 (PN) Deadline extension: 12th International Conference on Formals Aspects of Component Software (FACS'15) Peter Csaba Ölveczky
2015/06/29 (PN) CfP: AsiaSim 2015 한국시뮬레이션학회지편집위원회
2015/06/19 (PN) Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - First CFP rim . abid
2015/06/19 (PN) Call for Papers: Models for Formal Analysis of Real Systems (MARS'15) Rob van Glabbeek
2015/06/19 (PN) FOCLASA 2015 - 3rd Call for Papers - Submission deadline extended alexander . perucci
2015/06/19 (PN) Autumn School "Processes and Data" W. Reisig
2015/06/15 (PN) TAPAS Call for Papers Geoff Sutcliffe
2015/06/15 (PN) Reachability Problems - call for papers, deadline extended Slawomir Lasota
2015/06/15 (PN) Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - First CFP rim . abid
2015/06/15 (PN) FMCAD Student Forum - Call for Contributions Geoff Sutcliffe
2015/06/15 (PN) FINAL CALL FOR PhD/MSc Contributions (RAMiCS 2015) Michael Winter
2015/06/15 (PN) Last Mile: The 9th International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) Announce Announcements
2015/06/15 (PN) Call for papers - SR 2015: Strategic Reasoning (Oxford, UK) Julian Gutierrez
2015/06/08 (PN) Deadline extension | SIMUL 2015 || November 15 - 20, 2015 - Barcelona, Spain Cristina Pascual
2015/06/08 (PN) Deadline extension | VALID 2015 || November 15 - 20, 2015 - Barcelona, Spain Cristina Pascual
2015/06/08 (PN) CADE-25 Call for Participation Geoff Sutcliffe
2015/06/08 (PN) CfP: 12th International Conference on Formal Aspects of Component Software (FACS'15 in Rio) Peter Csaba Ölveczky
2015/06/08 (PN) CAV: SNR 2015 - Call for Participation Sergiy Bogomolov
2015/06/08 (PN) DIFTS 2015: Call for Papers -- International Workshop on Design and Implementation of Formal Tools and Systems Chao Wang
2015/06/08 (PN) Call for participation: (EC)2 workshop on Exploiting Concurrency Efficiently and Correctly (with CAV) Alastair Donaldson
2015/06/03 (PN) Research grant at the Department of Computer Science and Engineering of the University of Bologna: application deadline July 20th Gianluigi Zavattaro
2015/06/03 (PN) ICTAC 2015 - Deadline Extension Frank D. Valencia
2015/06/02 (PN) Call for Papers: 11th International Conference on Information Systems Security sara . foresti
2015/06/02 (PN) [Deadline extension june 21st] DPM 2015 - Data Privacy Management, (co-located with ESORICS'2015), LNCS Proceedings, Sept. 2015, Vienna Guillermo Navarro-Arribas
2015/06/01 (PN) IEEE CNS 2015: Call for Posters Peng Liu
2015/06/01 (PN) HSB 2015: 2nd CfP for the 4th International Workshop on Hybrid Systems Biology Sergiy Bogomolov
2015/05/29 (PN) ASPCOMP 2015: Last Call for Participation (with EXTENDED DEADLINES) Marco Maratea
2015/05/29 (PN) 1ST CALL FOR PAPERS: 16th Annual GAMEON'2015, December 2-4, 2015, University of Amsterdam UvA, The Netherlands Philippe Geril
2015/05/28 (PN) ICECCS 2015 (Gold Coast): 2nd call for papers Étienne André
2015/05/28 (PN) iFM 2016: First Call for Workshop Proposals Marcel Kyas
2015/05/28 (PN) 2nd CFP: 29th European Simulation and Modelling Conference - ESM'2015, October 26-28, 2015, Holiday Inn, Leicester, UK Philippe Geril
2015/05/28 (PN) [ERRATA CORRIGE] SCART 2015 at SEFM 2015 - Submission Deadline Extended - Springer JISA Thematic Series Invited Papers alexander . perucci
2015/05/28 (PN) FOCLASA 2015 @ CONCUR 2015 - 2nd Call For Papers alexander . perucci
2015/05/28 (PN) SCART 2015 at SEFM 2015 - Submission Deadline Reminder - Springer JISA Thematic Series Invited Papers alexander . perucci
2015/05/26 (PN) [Deadline june 1st] DPM 2015 - Data Privacy Management, (co-located with ESORICS'2015), LNCS Proceedings, Sept. 2015, Vienna Guillermo Navarro-Arribas
2015/05/26 (PN) [Deadline Extended] CfP: 11th International Workshop on Business Process Intelligence (BPI 15) Andrea Burattin
2015/05/26 (PN) ICTAC 2015 - Final Call for Papers shaar
2015/05/26 (PN) Call for participation: Are there Petri Net diagrams worth adding "new lives"? john . chionglo
2015/05/26 (PN) InfoSec 2015: registration deadline 3 June GRLMC
2015/05/26 (PN) REACHABILITY PROBLEMS 2015 (call for papers) Slawomir Lasota
2015/05/26 (PN) Call for papers - 1st Workshop on Security and Privacy in Cybermatics (SPiCy 2015) Ruggero Donida Labati