petrinet

Messages by Date

2021/06/29 (PN) Diagrams 2021: FINAL Call for Graduate Symposium Mikkel Willum Johansen
2021/06/29 (PN) call for papers FSTTCS 2021 Mikolaj Bojanczyk
2021/05/17 (PN) Highlights of Logic, Games, and Automata 2021: 2nd Call for Presentations Nathanaël Fijalkow
2021/05/08 (PN) Diagrams 2021: 2nd Call for Graduate Symposium Mikkel Willum Johansen
2021/05/08 (PN) FACS 2021 - Second Call for Papers FACS 2021
2021/05/08 (PN) Highlights of Logic, Games, and Automata 2021: 1st Call for Presentations Nathanaël Fijalkow
2021/03/16 (PN) PhD studentship on AI and brain modelling Paolo Zuliani
2021/03/16 (PN) PhD studentship: AI+Logic = Safe Autonomous Driving Paolo Zuliani
2021/03/16 (PN) Bx 2021 - FIRST CALL FOR PAPERS Lambers, Leen
2021/03/16 (PN) 2nd CFP: Diagrams 2021 Mikkel Willum Johansen
2021/01/18 (PN) Call for Graduate Symposium: Diagrams 2021 Mikkel Willum Johansen
2021/01/11 (PN) Call for tutorials: Diagrams 2021 Mikkel Willum Johansen
2021/01/11 (PN) CFP: Diagrams 2021 Mikkel Willum Johansen
2020/09/10 (PN) Post-doc position in Software Technology for Smart Software Systems at Western Norway University Lars Michael Kristensen
2020/07/16 (PN) ICPM 2020 - final CfP (with extended deadlines) Montali Marco
2020/07/16 (PN) PhD studentship on Quantum Verification Paolo Zuliani
2020/06/17 (PN) First International Workshop on Leveraging Machine Learning in Process Mining Gabriel Marques Tavares
2020/05/30 (PN) Call for best process mining PhD dissertation award 2020 Montali Marco
2020/02/24 (PN) Bx 2020 - First Call for Papers Lambers, Leen
2020/02/24 (PN) International Workshop on Leveraging Machine Learning in Process Mining (ML4PM) Gabriel Marques Tavares
2020/02/09 (PN) [CFP *deadline extended*] SACMAT 2020: 25th ACM Symposium on Access Control Models and Technologies Thang Bui
2020/01/19 (PN) PhD studentship in verification/systems biology, Newcastle University, UK Paolo Zuliani
2020/01/15 (PN) Three Full PhD Scholarships available in Australia Shui Yu
2020/01/01 (PN) WADT 2020 - Call for Papers Markus
2019/11/13 (PN) Question: Categorization or taxonomie of petri nets Daniel Krüger
2019/11/13 (PN) CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2020 Roussanka Loukanova
2019/11/13 (PN) PhD position in Theoretical Computer Science at the VU Amsterdam Joerg Endrullis
2019/10/05 (PN) FMFun 2019 - Call for Papers Antonio Cerone
2019/09/22 (PN) Postdoc position - Models, Tools and Realizations of Intelligent Embedded Systems Jiri Srba
2019/08/29 (PN) A PhD position (Probabilistic Model Checking) in the University of South Florida Zheng, Hao
2019/07/13 (PN) PostDoctoral Position at Kiel University Agnes Koschmider
2019/06/13 (PN) EMISAJ Special Issue "Towards Privacy Preservation and Data Protection in Information System Design" ak
2019/06/13 (PN) CfP integrated Formal Methods (iFM) 2019 (Bergen, Norway): NEW paper category - journal first Lars Michael Kristensen
2019/05/24 (PN) integrated Formal Methods (iFM) 2019: 2nd Call for Papers Lars Michael Kristensen
2019/05/24 (PN) Post-doctoral position in Software Engineering at Western Norway University, Bergen Lars Michael Kristensen
2019/05/24 (PN) 1st call for papers: iFM 2019 - 15th International Conference on integrated Formal Methods Lars Michael Kristensen
2019/03/12 (PN) PhD scholarship in Secure Data-Driven Software Architecture for Smart Systems at Western Norway University, Campus Bergen Lars Michael Kristensen
2019/03/01 (PN) Postdoc: Process modelling of archaeological technology (Delft/Leiden, NL) Jetty Kleijn
2019/03/01 (PN) Deadline extension - FVSBS Track @ WETICE 2019 (Formal Verification of Service-Based Systems) Kais Klai
2019/03/01 (PN) 1st Call for Demos; Tool Demonstration Session of the 40th International Conference on Application and Theory of Petri Nets and Concurrency van Zelst, Sebastiaan
2019/01/31 (PN) PhD scholarship in Secure Data-Driven Software Architecture for Smart Systems at Western Norway University, Campus Bergen Lars Michael Kristensen
2018/12/16 (PN) Petri nets 2019 -- Call for Papers Anna Kalenkova
2018/06/02 (PN) Postdoc at Imperial on the IRIS project, on "Compositional Reasoning for High-Assurance Many-Core Software" Alastair Donaldson
2018/05/31 (PN) Petri Net Course and Tutorials, Bratislava, 24-26 June 2018 Jetty Kleijn
2018/05/31 (PN) PhD position on Stream Mining for Real Time Compliance Checking Hassani, M.
2018/05/25 (PN) Call for Participation ICGT 2018 Lambers, Leen
2018/04/05 (PN) BPM 2018 - Call for Doctoral Consortium Daniela Grigori
2018/03/21 (PN) FORMATS 2018 **Second Call for Papers*** David N. Jansen
2018/02/26 (PN) CFP: BPM 2018 (16th International Conference on Business Process Management) Daniela GRIGORI
2018/02/26 (PN) Last CFP: BPM 2018 (16th International Conference on Business Process Management) Daniela GRIGORI
2018/02/26 (PN) PhD position with Philippa Gardner at Imperial College London Petar Maksimovic
2018/02/26 (PN) PODS4H18 - Call for Papers - Sydney (Australia) - September 10, 2018 Jorge Munoz-Gama
2017/12/25 (PN) CFP: BPM 2018 (16th International Conference on Business Process Management) Daniela GRIGORI
2017/12/06 (PN) [CfP] The 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018) - September 26-28, 2018 - Grenoble, France Kamel Barkaoui
2017/12/06 (PN) ICGT 2018 1st Call for Papers Lambers, Leen
2017/12/06 (PN) 2nd CfP: FM 2018 Einar Broch Johnsen
2017/12/06 (PN) HiPMoS 2018 - Final call for papers Mauro Iacono
2017/12/05 (PN) MODEL CHECKING CONTEST 2018 - (1/2) - CALL FOR MODELS Fabrice Kordon
2017/12/05 (PN) PhD position: Predictive Process Mining in Logistics at TU Eindhoven, NL Dirk Fahland
2017/12/05 (PN) Multiple Ph.D. positions in the Software Factory 4.0 project at TU Darmstadt Richard Bubel
2017/12/05 (PN) Petri Nets '18 - 2nd CfP publicity . pn2018
2017/12/05 (PN) Postdoctoral position in Hybrid Systems at the Australian National University Sergiy Bogomolov
2017/11/12 (PN) Extended Deadline for PeMod'18 Köhler-Bußmeier , Michael
2017/11/12 (PN) Fw: CIE Newsletter Potapov, Igor
2017/11/12 (PN) Opportunity to Engage in Academic Research at Formal Methods Lab, CSE Dept, IIT Kharagpur, India anshul verma
2017/11/12 (PN) CiE 2018: First Call for Papers Florin Manea
2017/11/12 (PN) Call for Papers: Workshop on Petri Nets and Modeling (PEMOD'18) Köhler-Bußmeier , Michael
2017/11/12 (PN) WAT 2018: Call for papers Organizing committee , WAT 2018
2017/10/24 (PN) 18 Research Assistant / Research Associate positions in Process Mining at RWTH (11 PhDs, 5 PostDocs, and 2 Software Engineers) Wil van der Aalst (RWTH)
2017/10/20 (PN) Petri Nets 2018 CfP publicity . pn2018
2017/10/20 (PN) CFP: BPM 2018 (16th International Conference on Business Process Management) Daniela GRIGORI
2017/07/26 (PN) FSTTCS 2017 --- LAST Call for Papers [***extended deadline July 31***] Akshay S.
2017/07/26 (PN) PhD Position in Formal Methods and Security Narges Kh
2017/05/27 (PN) PhD Position on Formal Methods and Security Narges Kh
2017/05/23 (PN) BPI2017 Call for Papers - EXTENDED DEADLINE Dongen, B.F. van
2017/03/24 (PN) CFP - Workshop Big Software In-Vivo Analytics SoViVa'17 @ ESEC/FSE Assy, N.
2017/03/13 (PN) PhD studentship in Computing Science Paolo Zuliani
2017/01/11 (PN) CFP-Formal Verification of Service Based Systems FVSBS 2017@IEEE WETICE - Poznan, Poland Kais Klai
2016/11/28 (PN) Call for Advanced Tutorials - Petri Nets 2017, Zaragoza, Spain Lars Michael Kristensen
2016/11/19 (PN) CFP: 3rd ACM Cyber‐Physical System Security Workshop (ACM CPSS’17) Cristina Alcaraz
2016/10/25 (PN) CFP: 3rd ACM Cyber‐Physical System Security Workshop (ACM CPSS’17) Cristina Alcaraz
2016/10/18 (PN) BPM'2017 - Call for Workshop Proposals Aalst, W.M.P. van der
2016/10/12 (PN) BPM'2017 - Call for Workshop Proposals Montali Marco
2016/09/06 (PN) CFP - IFIP NTMS'16: International Conference on New Technologies, Mobility and Securit, Larnaca, Cyprus, November 21 - 23, 2016 NTMS2016 Conference
2016/09/06 (PN) CFP winter school on "Big Software on the Run: where Software meet Data" Assy, N.
2016/08/03 (PN) Postdoctoral position, concurrency reasoning, Imperial College London Gardner, Philippa A
2016/08/03 (PN) ICST 2017 Calls for Submissions Toshiaki Aoki
2016/07/07 (PN) FSTTCS 2016 --- Call for Papers Akshay S.
2016/07/07 (PN) BPI Challenge 2016 - Deadline Extension & Minit Availability Dongen, B.F. van
2016/06/13 (PN) Last CFP - winter school on "Big Software on the Run: Where Software meets Data" Assy, N.
2016/05/27 (PN) 2nd CFP - Winter school on "Big Software on the run: Where Software meets Data" Assy, N.
2016/05/13 (PN) Call for Participation: ARVI COST Summer School on Runtime Verification 2016 Christian Colombo
2016/05/13 (PN) Call for Participation (and Fee Grants for Students) Łukasz Mikulski
2016/05/13 (PN) Deadline approaching - 10th WISTP International Conference on Information Security Theory and Practice (WISTP 2016) Ruggero Donida Labati
2016/05/13 (PN) Deadline approaching - 23rd ACM Conference on Computer and Communication Security (ACM CCS 2016) Giovanni Livraga
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) Postdoc position at Imperial College London in "Reliable Many-Core Programming" Alastair Donaldson
2016/05/02 (PN) BPI Challenge 2016 Dongen, B.F. van
2016/03/10 (PN) 1st CFP: ATVA 2016 (14th Int'l Symp. on Automated Technology for Verification and Analysis) @ Oct 17-19, 2016, Chiba Japan Takashi Kitamura
2016/03/03 (PN) [CFP]: The 11th International Conference on Critical Information Infrastructures Security (CRITIS 2016) Cristina Alcaraz
2016/02/26 (PN) Events on Verified Trustworthy Software Systems, London, April 4-7 Petar Maksimovic
2016/02/26 (PN) Two postdoc positions - Reasoning about concurrency and distribution - Imperial College London Petar Maksimovic
2016/02/12 (PN) FVSBS@WETICE 2016 : Deadline extension Kais Klai
2016/02/08 (PN) Second CfP - Int. Conference on BPM Marcello La Rosa
2016/02/07 (PN) CFP: FVSBS'16 Kais Klai
2016/01/27 (PN) QBFEVAL'16 - Second Call for Solvers & Benchmarks Luca Pulina
2016/01/27 (PN) PhD position on Process Mining in Logistics at Eindhoven University of Technology, the Netherlands Dirk Fahland
2016/01/27 (PN) CFP: FVSBS'16 Kais Klai
2016/01/11 (PN) Call for papers - Int. Conference on Business Process Management (BPM) 2016, Rio de Janeiro, 18-22 Sep. 2016 Marcello La Rosa
2015/12/30 (PN) QBFEVAL'16 - Call for Solvers & Benchmarks Luca Pulina
2015/12/30 (PN) CFP: FVSBS'16 Kais Klai
2015/12/30 (PN) [CFP SI ADHOC] A Special Issue on "Performance Modeling and Analysis of Wireless Ad-Hoc and Sensor Networks” Cristina Alcaraz
2015/11/24 (PN) CiE 2016: Pursuit of the Universal - 2nd CfP - Paris, 27/6-1/7/2016 CiE Conference Series
2015/11/21 (PN) [CFP]: 2nd ACM Cyber-Physical System Security Workshop (ACM CPSS’16) Cristina Alcaraz
2015/11/14 (PN) ICATPN 2016: Call for Papers and Announcement Petri Nets 2016 Daniel Moldt
2015/11/11 (PN) Post-doc position at the University of Luxembourg Rolando TRUJILLO RASUA
2015/11/09 (PN) [CFP]: 2nd ACM Cyber-Physical System Security Workshop (ACM CPSS’16) Cristina Alcaraz
2015/11/08 (PN) Ph.D. position at the University of Luxembourg Rolando TRUJILLO RASUA
2015/11/08 (PN) IEEE INFOCOM 16 Workshop of BigSecurity, due on December 15, 2015 Shui Yu
2015/10/07 (PN) Still in time to register to the upcoming MOOC on "Fundamentals of Business Process Management" Marcello La Rosa
2015/10/04 (PN) [CFP]: 2nd ACM Cyber-Physical System Security Workshop (ACM CPSS’16) Cristina Alcaraz
2015/09/22 (PN) 2nd ACM Cyber-Physical System Security Workshop (ACM CPSSí16) Cristina Alcaraz
2015/09/21 (PN) MOOC on Fundamentals of Business Process Management Marcello La Rosa
2015/09/15 (PN) PhD position in process-oriented systems/event processing at HU Berlin Matthias Weidlich
2015/09/07 (PN) CFP: FOR-MOVES@ICSOC'2015 Kais Klai
2015/09/07 (PN) [CfP] Call for Participation - CRITIS 2015 - Berlin, Germany, October 5-7, 2015 Cristina Alcaraz
2015/08/19 (PN) Last CFP: FOR-MOVES@ICSOC'2015 Kais Klai
2015/08/10 (PN) Special Session on “Formal Modeling for Machine Learning Techniques” in ICMLA 2015 Miami USA Dr. Farooq Ahmad .
2015/08/02 (PN) Deadline extension FOR-MOVES@ICSOC'2015 Kais Klai
2015/07/13 (PN) 2nd CFP: FOR-MOVES@ICSOC'2015 Kais Klai
2015/07/13 (PN) RuleML and RR -- Call for Participation Luca Pulina
2015/06/15 (PN) CFP: FOR-MOVES@ICSOC'2015 Kais Klai
2015/05/28 (PN) CFP ESSLLI 2016: Deadline Extension and EACSL Sponsorship Claire Gardent
2015/05/22 (PN) Call for Course and Workshop Proposals: ESSLLI 2016 Claire Gardent
2015/05/17 (PN) [Deadline Approaching]: The 10th International Conference on Critical Information Infrastructures Security (CRITIS 2015) *** Submission: May 22, 2015 *** Cristina Alcaraz
2015/05/17 (PN) [Deadline approaching] DPM 2015 - Data Privacy Management, (co-located with ESORICS'2015), LNCS Proceedings, Sept. 2015, Vienna Guillermo Navarro-Arribas
2015/05/07 (PN) Associate Professor (Software Engineering) position at Monash University, Australia Chris Ling (Infotech)
2015/05/04 (PN) PhD positions in model-driven software engineering and verification at Bergen University College, Norway (application deadline, june 3) Lars Michael Kristensen
2015/05/04 (PN) Call for Course and Workshop Proposals: ESSLLI 2016 Claire Gardent
2015/05/04 (PN) RR 2015 Doctoral Consortium - Second Call for Papers Luca Pulina
2015/04/20 (PN) IEEE UbiSafe 2015 CFPs--Submission Deadline is Approaching soon [1 May, 2015, Firm Deadline] Md Zakirul Alam Bhuiyan
2015/04/05 (PN) CFP: 9th International Conference on Bio-inspired Information and Communications Technologies (BICT 2015, formerly BIONETICS) Masafumi HASHIMOTO
2015/04/05 (PN) Call for Course and Workshop Proposals: ESSLLI 2016 Claire Gardent
2015/03/18 (PN) ICGT 2015: Final Call for Papers Thomas Buchmann
2015/03/18 (PN) PhD positions in model-driven software engineering and verification at Bergen University College, Norway Lars Michael Kristensen
2015/03/07 (PN) CFPs for the 8th IEEE International Symposium on Security, Privacy and Anonymity in Internet of Things (SpaIoT 2015) Md Zakirul Alam Bhuiyan
2015/03/01 (PN) Postdoc in Computational Modelling Paolo Zuliani
2015/03/01 (PN) [Mycolleagues] [CFP - NTMS 2015] - Paper Submission Deadline Extended to 22 March 2015 Mohamad Badra
2015/02/24 (PN) ICGT 2015: 2nd Call for Papers Thomas Buchmann
2015/02/24 (PN) [CFP]: The 10th International Conference on Critical Information Infrastructures Security (CRITIS 2015) Cristina Alcaraz
2015/02/16 (PN) (extended deadline): CFP-Formal Verification of Service Based Systems FVSBS 2015 @ IEEE WETICE - Larnaca, Cyprus Kais Klai
2015/02/14 (PN) Call for Workshop Proposals for the 15th ICA3PP 2015, Zhangjiajie, China Md Zakirul Alam Bhuiyan
2015/02/11 (PN) Faculty position opening in software engineering Jun Suzuki
2015/02/11 (PN) [RR 2015] Call For Papers -- Deadline in 1 month! Luca Pulina
2015/01/26 (PN) CFP-Formal Verification of Service Based Systems FVSBS 2015 @ IEEE WETICE - Larnaca, Cyprus Kais Klai
2015/01/15 (PN) CiE 2015: FINAL CfP and EXTENDED DEADLINE CiE Conference Series
2014/12/04 (PN) Positions in big process data in Australia Marcello La Rosa
2014/12/04 (PN) CiE 2015: Evolving Computability - 2nd CfP - Bucharest, 29/6-3/7/2015 CiE Conference Series
2014/11/25 (PN) ICGT 2015: Call for Papers Thomas Buchmann
2014/11/15 (PN) PODS 2015 CfP - Deadline 2nd submission cycle: Abstracts by Nov. 28, Papers by Dec. 5, 2014 Marco Montali
2014/11/01 (PN) PODS 2015 CfP - Deadline 2nd submission cycle: Abstracts due Nov. 28, Papers due Dec. 5, 2014 Marco Montali
2014/10/19 (PN) ICFEM 2014, Luxembourg, 3-7 November 2014: Last Call for Participation Liu Yang (Asst Prof)
2014/09/29 (PN) CFP - Journal of Systems and Software - SI on Adaptive and reconfigurable software systems and architectures Slim Kallel
2013/02/11 (PN) CFP: Enterprise & Organizational Modeling And Simulation Joseph Barjis - TBM
2013/01/22 (PN) Call For Papers: EuroMPI 2013 Madrid, Spain Javier Garcia Blas
2013/01/19 (PN) CiE 2013: The Nature of Computation - final submission by *February 2nd 2013* CiE Conference Series
2013/01/19 (PN) EOMAS 2013: CFP Joseph Barjis - TBM
2013/01/02 (PN) CFP: AROSA 2013 Slim Kallel
2012/12/16 (PN) Extended Deadline: CfP - GT-VMT 2013 12th International Workshop on Graph Transformation and Visual Modeling Techniques Matthias Tichy
2012/12/04 (PN) EuroMPI 2013 - Call for Papers EuroMPI 2013
2012/11/16 (PN) IEEE Symposium on Network Cloud Computing and Applications (NCCA12) IEEE NCCA 2012 Europe Publicity Chair
2012/11/15 (PN) CfP: GT-VMT 2013 International Workshop on Graph Transformation and Visual Modeling Techniques Leila Ribeiro
2012/10/23 (PN) CfP - IEEE Symposium on Network Cloud Computing and Applications (NCCA12) IEEE NCCA 2012 Europe Publicity Chair
2012/09/12 (PN) CfP - IEEE Symposium on Network Cloud Computing and Applications (NCCA12) IEEE NCCA 2012 Europe Publicity Chair
2012/09/04 (PN) CfP - IEEE Symposium on Network Cloud Computing and Applications (NCCA12) IEEE NCCA 2012 Europe Publicity Chair
2012/08/31 (PN) Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS 2012) Takashi KITAMURA
2012/08/27 (PN) CfP: GT-VMT 2013 - 12th International Workshop on Graph Transformation and Visual Modeling Techniques Matthias Tichy
2012/08/21 (PN) Call for Participation : ICFEM 2012 (12-16th Nov. 2012, Kyoto) Takashi KITAMURA
2012/08/12 (PN) GandALF 2012 -- Call for participation -- Nello Murano
2012/06/13 (PN) MeCBIC 2012: Call for Papers Jason Steggles
2012/05/29 (PN) Call for Papers MeCBIC 2012 kleijn
2012/05/21 (PN) 1st CFP: FTSCS 2012 - 1st International Workshop on Formal Techniques for Safety-Critical Systems Takashi KITAMURA
2012/05/11 (PN) Call for papers GandALF 2012 -- EXTENDED DEADLINE Nello Murano
2012/04/24 (PN) *Deadline extended (30th April)* CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods Takashi KITAMURA
2012/04/10 (PN) *Deadline Extended* CFP : ICFEM 2012 - 14th International Conference on Formal Engineering Methods Takashi KITAMURA
2012/04/05 (PN) EDOC 2012 workshops: extended deadline Sylvain Hallé
2012/03/15 (PN) 8th International Workshop on Enterprise & Organizational Modeling And Simulation (EOMAS) - submission deadline extended to March 22th, 2012! Martin Molhanec
2012/03/15 (PN) Last CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods Takashi KITAMURA
2012/03/08 (PN) 8th International Workshop on Enterprise & Organizational Modeling And Simulation (EOMAS), 26 June 2012, Gdansk, Poland Martin Molhanec
2012/02/16 (PN) CFP: ICFEM 2012 (14th International Conference on Formal Engineering Methods) Takashi KITAMURA
2012/02/16 (PN) CFP: FTfJP 2012 - 14th ECOOP Workshop on Formal Techniques for Java-like Programs Florin Craciun
2012/02/10 (PN) 2nd CFP - SEKE 2012 (24th International Conference on Software Engineering and Knowledge Engineering) Haiping Xu
2012/02/10 (PN) EPEW 2012: Call for Papers Mirco Tribastone

Earlier messages