petrinet  

Messages by Date

• 2013/02/26 (PN) Extended Deadlines ECSA'2013: 7th European Conference on Software Architecture Khalil Drira
• 2013/02/26 (PN) CDC2013 special session on "Control, estimation, and diagnosis of purely logic discrete event systems" Mariagrazia Dotoli
• 2013/02/26 (PN) Call for papers: The 5th Workshop on Behavioural Modelling - Foundations and Applications Roubtsova, Ella
• 2013/02/26 (PN) CFP: 6th Interaction and Concurrency Experience (ICE 2013) Alberto Lluch Lafuente
• 2013/02/25 (PN) Call for Workshop Proposal, ICFEM 2013 jun sun
• 2013/02/25 (PN) PHD positions in SAT/SMT-based Verification available in Trento Roberto Sebastiani
• 2013/02/25 (PN) FMCAD 2013 First Call for Papers Chao Yan
• 2013/02/25 (PN) BPMDS'2013 - deadline extension (in conjunction with CAISE) Selmin Nurcan
• 2013/02/25 (PN) VECos 2013 (1st CfP) Denis Poitrenaud
• 2013/02/21 (PN) BioPPN - 1st CfP Monika Heiner
• 2013/02/21 (PN) PhD Positions in Formal Methods and Language-based Security at Chalmers Wolfgang Ahrendt
• 2013/02/21 (PN) Call for Papers - 18th European Symposium on Research in Computer Security (ESORICS 2013) Giovanni Livraga
• 2013/02/21 (PN) Call for Papers (ICTAC 2013) Huibiao Zhu
• 2013/02/18 (PN) CFP ICLP 2013: 29th International Conference on Logic Programming, Istanbul, Turkey, August 24-28 peterschueller
• 2013/02/14 (PN) CFP ECSA'2013: 7th European Conference on Software Architecture Khalil Drira
• 2013/02/14 (PN) 1st Call for Papers, 4th Annual NASTEC'2013, August 19-21, 2013, San Diego, USA philippe . geril
• 2013/02/14 (PN) Call for Papers (ICFEM 2013) Huibiao Zhu
• 2013/02/14 (PN) [DBSec 2013] Deadline extension to March 1, 2013 Claudio Agostino Ardagna (claudio.ardagna)
• 2013/02/12 (PN) UKPEW 2013 Call for Papers UKPEW
• 2013/02/12 (PN) Last Days ICIMP 2013 June 23 - 28, 2013 - Rome, Italy Cristina Pascual
• 2013/02/11 (PN) SFM-13:DS school in Bertinoro - second call for participation Marco Bernardo
• 2013/02/11 (PN) Foundations of Health Information Engineering and Systems (FHIES 2013) - call for papers Jeremy . Gibbons
• 2013/02/11 (PN) CADE-24 Workshops Geoff Sutcliffe
• 2013/02/11 (PN) 1st Call for Papers - 7th Annual GAMEON-NA 2013, August 19-21, 2013, San Diego, USA philippe . geril
• 2013/02/11 (PN) Assistant Position at University of Ulm, Computer Science, Declarative Programming Jon Sneyers
• 2013/02/10 (PN) ECSCW 2013: Call for Workshops and Master Classes Announcements
• 2013/02/09 (PN) [DBSec 2013] Deadline Approaching (February 15, 2013) Claudio Agostino Ardagna (claudio.ardagna)
• 2013/02/09 (PN) WiSARN 2013-Spring - || May 20-23, 2013, Cambridge, Massachusetts, USA - (In conjunction with IEEE DCOSS'13) Sandra Sendra
• 2013/02/09 (PN) [ETAPS 2013] Second Call for Participation Joost-Pieter Katoen
• 2013/02/09 (PN) Special Issue in the Transactions on Emerging Telecommunications Technologies Journal (ETT) on "High Performance Mobile Opportunistic Systems"Paper Submission: 15th March 2013 Constandinos X. Mavromoustakis
• 2013/02/07 (PN) ADHOC-NOW 2013 : Ad-Hoc, Mobile and Wireless Networks || Wroclaw, Poland Sandra Sendra
• 2013/02/07 (PN) First IEEE Conference on Communications and Network Security (IEEE CNS 2013) Peter Mueller
• 2013/02/07 (PN) CompMod 2013: 2nd call for papers Ion Petre
• 2013/02/05 (PN) PERSYVAL-Lab Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 8-12, 2013 Yliès Falcone
• 2013/02/04 (PN) CFP SAFECOMP 2013 - 32nd International Conference on Computer Safety, Reliability and Security Nicolas Riviere
• 2013/02/04 (PN) Call for Papers - 18th European Symposium on Research in Computer Security (ESORICS 2013) Giovanni Livraga
• 2013/02/04 (PN) ICECCS 2013 in Singapore -- deadlines extended Jun PANG
• 2013/02/04 (PN) BPMDS'2013 - Call for Papers Selmin Nurcan
• 2013/02/04 (PN) ETAPS 2014: CALL FOR SATELLITE EVENTS ETAPS 2014
• 2013/01/31 (PN) One postdoc and two PhD student positions, Quantitative Modelling of Collective Adaptive Systems Jane Hillston
• 2013/01/31 (PN) ACCAT 2013: call for participation Fabio Gadducci
• 2013/01/31 (PN) Postdoc positions in SAT/SMT-based Verification available in Trento Roberto Sebastiani
• 2013/01/31 (PN) CADE-24 Workshop CFPs Geoff Sutcliffe
• 2013/01/29 (PN) PROFES 2013: Call for Workshop, Tutorial and Panel Proposals Announcements
• 2013/01/29 (PN) WETICE'2013: Third Call for Papers (special issues and deadline extension) Bechir ZALILA
• 2013/01/29 (PN) [Call for Papers] Workshop on Social Business Process Management (SBM 2013) Nicolas Pflanzl
• 2013/01/27 (PN) PROFES 2013: Final Call for Papers Announcements
• 2013/01/27 (PN) Call for papers: ACSD 2013 Marta Koutny
• 2013/01/25 (PN) FORMATS 2013 - first CFP Thomas Chatain
• 2013/01/23 (PN) QEST 2013 - Second call for papers Damian Barsotti
• 2013/01/23 (PN) CONCUR 2013 - Second call for papers Damian Barsotti
• 2013/01/23 (PN) Call for papers: ACSD 2013 Marta Koutny
• 2013/01/22 (PN) 2013 European Conference on Computer Supported Cooperative Work (ECSCW): Final Call for Papers Announcements
• 2013/01/22 (PN) 18th IEEE Int. Conf. on Emerging Technologies & Factory Automation Carla Seatzu
• 2013/01/19 (PN) NFSP 2013 (joint with ICDCS) – Deadline extended to January 31. Yu Wang
• 2013/01/19 (PN) Call for papers: ACSD 2013 Marta Koutny
• 2013/01/19 (PN) CFP: Seventh Workshop in Information Security Theory and Practice (WISTP 2013) Dr. Mauro Conti
• 2013/01/19 (PN) ICNC-FSKD 2013 Extended Submission Deadline 10 March: IEEE Xplore/EI Compendex/ISI X.F. Meng
• 2013/01/19 (PN) TAP 2013: Final Call for Papers Achim D. Brucker
• 2013/01/19 (PN) Cs2Bio'13 - First Call for Papers Paola Giannini
• 2013/01/19 (PN) Call for Papers (ICTAC 2013) Huibiao Zhu
• 2013/01/19 (PN) 5th CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK (DEADLINE EXTENSION!) TASE 2013
• 2013/01/19 (PN) CFP: 27th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec '13) Claudio Agostino Ardagna (claudio.ardagna)
• 2013/01/19 (PN) LAM'13 Extended deadline for abstract submission Muller B (AT)
• 2013/01/13 (PN) CfP: ICPE 2013 - Work In Progress & Vision Track Kai Sachs
• 2013/01/12 (PN) CfP: HotTopiCS 2013 - International Workshop on Hot Topics in Cloud Services Kai Sachs
• 2013/01/12 (PN) WiOpt 2013 CFP - Final Submission Due January 20, 2013, Tsukuba Science City, Japan Jie Li
• 2013/01/11 (PN) [simu-conf] CFP: ACM SIGSIM Principles of Advanced Discrete Event Simulation vsim-conf
• 2013/01/11 (PN) Call for Workshop Proposals: International Conference on Logic Programming (ICLP 2013) Hans Tompits
• 2013/01/11 (PN) CAiSE 2013 Sergio España
• 2013/01/11 (PN) RCIS 2013: Keynote talks already confirmed by John Mylopoulos, Klaus Pohl, and Wil van der Aalst Sergio España
• 2013/01/11 (PN) Last Mile: CLOUD COMPUTING 2013 || May 27 - June 1, 2013 - Valencia, Spain Cristina Pascual
• 2013/01/11 (PN) ETAPS 2013 Call for Participation Joost-Pieter Katoen
• 2013/01/11 (PN) PROFES 2013: Fourth Call for Papers and other contributions Announcements
• 2013/01/10 (PN) 4th CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK TASE 2013
• 2013/01/10 (PN) Deadline Extension: Call For Workshops and Tutorials IFIPTM 13 - 7th IFIP International Conference on Trust Management, 3-7 June 2013, Malaga (Spain) Isaac Agudo
• 2013/01/10 (PN) CFP: Seventh Workshop in Information Security Theory and Practice (WISTP 2013) Claudio Agostino Ardagna (claudio.ardagna)
• 2013/01/10 (PN) SFM-13:DS school in Bertinoro - first call for participation Marco Bernardo
• 2013/01/10 (PN) RTCSA 2013: First Call for Papers Linh Thi Xuan Phan
• 2013/01/10 (PN) WETICE'2013: Second Call for Papers Bechir ZALILA
• 2013/01/09 (PN) Call for Papers: ZEUS 2013 in Rostock, Germany Niels Lohmann
• 2013/01/04 (PN) CompMod 2013: 1st call for papers Ion Petre
• 2013/01/04 (PN) GandALF 2013 - Preliminary Call for Papers Pietro Sala
• 2013/01/04 (PN) Last Days: CFP - 3rd IEEE SCPA 2013 - June 9-13, 2013, Budapest, HUNGARY Jaime Lloret Mauri
• 2013/01/04 (PN) Final Call for Workshops CONCUR 2013 Damian Barsotti
• 2013/01/02 (PN) CALCO 2013: Second Call for Papers Alexandra Silva
• 2012/12/31 (PN) Petri Nets 2013 - Call for papers luca.bernardinello
• 2012/12/31 (PN) LAM'13 - Call for Abstracts/Papers - Logics, Agents, and Mobility Muller B (AT)
• 2012/12/31 (PN) Petri Nets 2013 - Call for papers luca.bernardinello
• 2012/12/28 (PN) CFP: The 3rd IEEE International Workshop of Smart Communication Protocols and Algorithms (IEEE SCPA 2013) Sandra Sendra
• 2012/12/26 (PN) CFP ICLP 2013: 29th International Conference on Logic Programming, Istanbul, Turkey, August 24-28, 2013 Peter Schueller
• 2012/12/26 (PN) CiE 2013 in Milan - Special Awards and Call for Papers S B Cooper
• 2012/12/26 (PN) BPMDS'2013 - Call for Papers Selmin Nurcan
• 2012/12/26 (PN) TAMC 2013 in Hong Kong: Second Call for Papers S B Cooper
• 2012/12/26 (PN) Deadline Extension: COMPUTATION TOOLS 2013 || May 27 - June 1, 2013 - Valencia, Spain Sandra Sendra
• 2012/12/26 (PN) Deadline extension: SERVICE COMPUTATION 2013 || May 27 - June 1, 2013 - Valencia, Spain Jaime Lloret Mauri
• 2012/12/22 (PN) [CFP] CMSB2013 - The 11th Annual Conference on Computational Methods in Systems Biology Ashutosh Gupta
• 2012/12/22 (PN) WoLLIC 2013 (Darmstadt) - 2nd Call for Papers Ruy de Queiroz
• 2012/12/22 (PN) ESSS workshop 2013 (co-located with ICST 2013) -- submission deadline extended Jun PANG
• 2012/12/22 (PN) CFP: Seventh Workshop in Information Security Theory and Practice (WISTP 2013) Dr. Mauro Conti
• 2012/12/22 (PN) integrated Formal Methods (iFM 2013): Last Call for Papers Einar Broch Johnsen
• 2012/12/22 (PN) TAP 2013: 2nd Call for Papers Achim D. Brucker
• 2012/12/22 (PN) CfP: Advances in Systems of Systems an ETAPS workshop Ulrik Nyman
• 2012/12/22 (PN) Deadline Approaching: Call For Papers, Workshops and Tutorials IFIPTM 13 - 7th IFIP International Conference on Trust Management, 3-5 June 2013, Malaga (Spain) Isaac Agudo
• 2012/12/22 (PN) DEADLINE EXTENSION - Springer Computing SI: Models and Protocols for Digital Ecosystems Fulvio Frati
• 2012/12/22 (PN) SR 2013 - Extended Deadline and Last Call for Contributions Nello Murano
• 2012/12/22 (PN) WiOpt 2013 CFP Jie Li
• 2012/12/22 (PN) [CFP] The 4th IEEE International Workshop on Security Testing (SECTEST 2013) -- March 22, Luxembourg Wissam Mallouli
• 2012/12/20 (PN) CfP: HotTopiCS 2013 - International Workshop on Hot Topics in Cloud Services Kai Sachs
• 2012/12/19 (PN) Special Issue in the Transactions on Emerging Telecommunications Technologies Journal (ETT) on "High Performance Mobile Opportunistic Systems"Paper Submission: 15th March 2013 Constandinos X. Mavromoustakis
• 2012/12/19 (PN) CFP: 27th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec '13) Claudio Agostino Ardagna (claudio.ardagna)
• 2012/12/19 (PN) CFP: The 3rd IEEE International Workshop of Smart Communication Protocols and Algorithms (IEEE SCPA 2013) Sandra Sendra
• 2012/12/19 (PN) CFP: COORDINATION 2013 in Firenze Rocco De Nicola
• 2012/12/19 (PN) ESSS workshop 2013 (co-located with ICST 2013) -- 2nd Call for Papers Jun PANG
• 2012/12/19 (PN) ICECCS 2013 in Singapore -- 2nd Call for Papers Jun PANG
• 2012/12/19 (PN) PROFES 2013: Third Call for Papers and other contributions Announcements
• 2012/12/19 (PN) 2013 European Conference on Computer Supported Cooperative Work (ECSCW): Third Call for Papers Announcements
• 2012/12/16 (PN) FW: 3rd CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK TASE 2013
• 2012/12/14 (PN) WETICE'2013: First Call for Papers Bechir ZALILA
• 2012/12/14 (PN) Reminder: EAPLS PhD Award 2012 - Call for Nominations (deadline 31-12-2012) Arend Rensink
• 2012/12/14 (PN) 2nd CfP Logics, Agents, and Mobility (LAM'13) Muller B (AT)
• 2012/12/14 (PN) CiE 2013 in Milan - Awards and 2nd Call for Papers S B Cooper
• 2012/12/14 (PN) CONCUR 2013 - First call for papers Damian Barsotti
• 2012/12/14 (PN) CONCUR 2013 - Call for affiliated workshops Damian Barsotti
• 2012/12/14 (PN) QEST 2013 - First call for papers Damian Barsotti
• 2012/12/05 (PN) The 7th International Conference on Network and System Security (NSS 2013) Yu Wang
• 2012/12/05 (PN) Last Mile | CTRQ 2013 || April 22 - 26, 2013 - Venice, Italy Cristina Pascual
• 2012/12/05 (PN) FORTE / FMOODS 2013 -- CfP -- IFIP International Conference on Formal Techniques for Distributed Systems Dirk Beyer
• 2012/12/05 (PN) Last CfP of RCIS 2013 @ Paris - Seventh IEEE International Conference on Research Challenges in Information Science Sergio España
• 2012/12/04 (PN) MobiWis 2013: Last Call for Workshop Proposals Announcements
• 2012/12/04 (PN) Last Mile | SPACOMM 2013 || April 22 - 26, 2013 - Venice, Italy Cristina Pascual
• 2012/12/04 (PN) 2nd CFP ECEC'2013, 20th European Concurrent Engineering Conference, April 15-17, 2013, University of Lincoln, Lincoln, UK philippe . geril
• 2012/11/30 (PN) CiE 2013: The Nature of Computation, Milan, Italy, July 1-5, 2013 S B Cooper
• 2012/11/30 (PN) Call for papers: ACSD 2013 Marta Koutny
• 2012/11/27 (PN) 10th Annual Conference on Theory and Applications of Models of Computation (TAMC13) S B Cooper
• 2012/11/26 (PN) EAPLS PhD Award 2012: Call for Nominations Arend Rensink
• 2012/11/22 (PN) integrated Formal Methods 2013, Turku, Finland: 2nd Call for Papers Luigia Petre
• 2012/11/22 (PN) [simu-conf] DEADLINE EXTENDED - Symp. on Theory of Modeling and Simulation 2013 vsim-conf
• 2012/11/19 (PN) CFP SIMULTECH 2013 - 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications Carla Mota
• 2012/11/16 (PN) SR 2013 - Call for contributions Nello Murano
• 2012/11/16 (PN) Special Issue of ACM Transactions on Management Information Systems on Business Process Intelligence Aalst, W.M.P. van der
• 2012/11/12 (PN) MESM'2012, Middle Eastern Simulation and Modelling Conference, December 10-12, 2012, AOU, Muscat, Oman - Preliminary Programme philippe . geril
• 2012/11/11 (PN) BPMDS'2013 - Call for Papers Selmin Nurcan
• 2012/11/11 (PN) Last Mile: LMPCNA 2013 || March 24 - 29, 2013 - Lisbon, Portugal Cristina Pascual
• 2012/11/11 (PN) Last call for papers: Special session on Process Mining at CIDM 2013, Singapore Maggi, F.M.
• 2012/11/09 (PN) SR 2013 - Call for contributions Nello Murano
• 2012/11/05 (PN) CADE-24 CFP and Workshops Geoff Sutcliffe
• 2012/11/05 (PN) Call for Papers (ICTAC 2013) Huibiao Zhu
• 2012/11/05 (PN) Model Checking Contest 2013 - second call for model Fabrice Kordon
• 2012/11/04 (PN) Special Issue in the Transactions on Emerging Telecommunications Technologies Journal (ETT) on "High Performance Mobile Opportunistic Systems"Paper Submission: 15th March 2013 Constandinos X. Mavromoustakis
• 2012/11/04 (PN) CFP: IFIPTM 13 - 7th IFIP International Conference on Trust Management, Deadline January 25th, 2013 Isaac Agudo
• 2012/11/04 (PN) Deadline Extension: ENERGY 2013 || March 24 - 29, 2013 - Lisbon, Portugal Cristina Pascual
• 2012/11/04 (PN) Call for tutorials RCIS 2013 - Seventh IEEE International Conference on Research Challenges in Information Science Sergio España
• 2012/11/01 (PN) Deadline Extension: LMPCNA 2013 || March 24 - 29, 2013 - Lisbon, Portugal Cristina Pascual
• 2012/11/01 (PN) [simu-conf] *** Extended Deadline *** Nov 19 CfP: 3rd International Workshop on Model-driven Approaches for Simulation Engineering (Mod4Sim13) part of the Symposium on Theory of Modeling and Simulation SCS SpringSim 2013) vsim-conf
• 2012/11/01 (PN) Sigmetrics'13 call for Tutorials Eno Thereska
• 2012/11/01 (PN) (IEEE) CoDIT'13: Deadline Extension Achraf Jabeur Telmoudi
• 2012/10/31 (PN) *** Extended Deadline *** Nov 19 CfP: 3rd International Workshop on Model-driven Approaches for Simulation Engineering (Mod4Sim13) part of the Symposium on Theory of Modeling and Simulation SCS SpringSim 2013) Daniele Gianni
• 2012/10/31 (PN) Deadline Extension: ICNS 2013 || March 24 - 29, 2013 - Lisbon, Portugal Cristina Pascual
• 2012/10/31 (PN) 2nd CFP ASTEC 2013, 4th Asian Simulation Technology Conference, March 7-9, 2013, Westin Bund, Shanghai, China philippe . geril
• 2012/10/31 (PN) Deadline Extension (November 9) Call for Book Chapters - Security for Multihop Wireless Networks - Auerbach Publications, Taylor & Francis Group Jaime Lloret Mauri
• 2012/10/31 (PN) Deadline Extension: ICAS 2013 || March 24 - 29, 2013 - Lisbon, Portugal Cristina Pascual
• 2012/10/30 (PN) AnTe, Special Issue on Privacy-aware electronic society - Deadline Extended: November 8th, 2012 sara . foresti
• 2012/10/30 (PN) TAP 2013: 1st Call for Papers Achim D. Brucker
• 2012/10/30 (PN) ESSS workshop 2013 -- 1st Call for Papers Jun PANG
• 2012/10/28 (PN) SPIN 2013 CFP Scott Stoller
• 2012/10/27 (PN) PhD position in model-driven software engineering and verification Lars Michael Kristensen
• 2012/10/27 (PN) 1st CfP Logics, Agents, and Mobility (LAM'13) Muller B (AT)
• 2012/10/27 (PN) [CFP] The 4th IEEE International Workshop on Security Testing (SECTEST 2013) -- March 22, Luxembourg Wissam Mallouli
• 2012/10/27 (PN) 2nd CFP for TASE 13, 1 - 3 July 2013, Birmingham, UK TASE 2013
• 2012/10/25 (PN) CFP RCIS 2013 Doctoral Consortium - Seventh IEEE International Conference on Research Challenges in Information Science Sergio España
• 2012/10/25 (PN) 2nd Call For Papers/IEEE-CoDIT'13 Achraf Jabeur Telmoudi
• 2012/10/24 (PN) CfP: DSN 2013 - Dependable Computing and Communications Symposium (DCCS) Istvan Majzik
• 2012/10/24 (PN) CfP: DSN 2013 - Performance and Dependability Symposium (PDS) Istvan Majzik
• 2012/10/24 (PN) TAP 2013: 1st Call for Papers (with correction) Margus Veanes
• 2012/10/23 (PN) FSEN 2013: Final Call for Papers (Extended Deadlines) fsen13
• 2012/10/23 (PN) ICECCS 2013 in Singapore -- 1st Call for Papers Jun PANG
• 2012/10/23 (PN) CFP Industry & Experience Track (ICPE 2013) John Murphy
• 2012/10/21 (PN) The 4th International Conference on Information and Communication Systems, ICICS 2013, April 23-25 2013, Irbid, Jordan Yaser Jararweh
• 2012/10/21 (PN) CFP RCIS 2013 - Seventh IEEE International Conference on Research Challenges in Information Science Sergio España
• 2012/10/18 (PN) Call for Papers: Only Two Months Left - STVR Special Issue on Tests and Proofs Achim D. Brucker
• 2012/10/16 (PN) Vacant PhD research position in SCARE Eike Best
• 2012/10/14 (PN) EXTENSION --- IESS 1.3 CfP -- Int. Conf. Exploring Service Science -- 2013 Feb 6-8 -- Porto, Portugal Vera Miguéis
• 2012/10/14 (PN) 2nd TACAS Competition on Software Verification -- Call for Participation Dirk Beyer
• 2012/10/14 (PN) ePNK version 1.0.0 released Ekkart Kindler
• 2012/10/14 (PN) New Taylor & Francis Int. Journal "Computer Methods in Biomechanics and Biomedical Engineering: Imaging & Visualization": Announcement and CfP João Manuel R. S. Tavares
• 2012/10/14 (PN) WoPeD 3.0.0 has been released Thomas Freytag
• 2012/10/14 (PN) 2013 European Conference on Computer Supported Cooperative Work (ECSCW): Second Call for Papers Announcements
• 2012/10/04 (PN) Deadline extension: October 19 || ACHI 2013 || February 24 - March 1, 2013 - Nice, France Cristina Pascual
• 2012/10/04 (PN) CFP: ISORC 2013 Dr. Rob Pettit
• 2012/10/04 (PN) WISE 2012: Call for Participation Announcements
• 2012/10/03 (PN) Final Call for Papers: AOW@AI2012 AOW
• 2012/10/02 (PN) Second Call for Papers: FSEN 2013 fsen2013
• 2012/10/02 (PN) Second Call for Papers: FSEN 2013 fsen2013
• 2012/10/01 (PN) integrated Formal Methods 2013, Turku, Finland - First Call for Papers Einar Broch Johnsen
• 2012/09/30 (PN) FSFLA 2012: final announcement GRLMC
• 2012/09/30 (PN) Model Checking Contest 2013 - call for model Fabrice Kordon
• 2012/09/27 (PN) First Call for Papers- 11th annual Industrial Simulation Conference, ISC'2013, May 22-24, 2013, Ghent University, Ghent, Belgium philippe . geril
• 2012/09/27 (PN) Call for papers: ACSD 2013 Marta Koutny
• 2012/09/27 (PN) WoLLIC 2013 (Darmstadt) - Call for Papers Ruy de Queiroz

• Earlier messages
• Later messages