petrinet  

Messages by Date

• 2015/05/26 (PN) Final CfP ISSRE 2015, deadline extended to June 7th. Katinka Wolter
• 2015/05/26 (PN) MCC'2015 - list of qualified tools Fabrice Kordon
• 2015/05/22 (PN) Call for Papers - 11th International Workshop on Security and Trust Management (STM 2015) STM 2015
• 2015/05/22 (PN) PhD in Computer Science at IMT Lucca (Italy) - Deadline June 29, 2015 - Rocco De Nicola
• 2015/05/22 (PN) LPAR-20 in Fiji - Call for Papers and Workshops Geoff Sutcliffe
• 2015/05/22 (PN) MFPS XXXI/CALCO 2015 : Call for Participation fabio . zanasi
• 2015/05/22 (PN) Call for Papers - 8th International Symposium on Foundations & Practice of Security (FPS 2015) FPS.cfp
• 2015/05/22 (PN) MoKMaSD 2015 - Deadline extension Paolo Milazzo
• 2015/05/22 (PN) GandALF 2015: DEADLINE EXTENSION Javier Esparza
• 2015/05/22 (PN) Extension deadline to 8 June : 2nd workshop Quality of Models and Models of Quality in conjunction with ER'2015 Charlotte Hug
• 2015/05/22 (PN) PhD Position in Grenoble (France) Gwen Salaun
• 2015/05/22 (PN) Petri Net Course and Tutorials, Brussels 21-23 June 2015 Jetty Kleijn
• 2015/05/22 (PN) Call for Workshop Proposals, PN 2016 Jetty Kleijn
• 2015/05/22 (PN) CONTEXT 2015: Final Call for Papers and Posters (extended deadline!) Announce Announcements
• 2015/05/22 (PN) SoftCOM 2015 - Deadline approaching SoftCOM
• 2015/05/17 (PN) Deadline Extension: Topics in Theoretical Computer Science (TTCS 2015) -- Tehran, Iran Mahdi Jaghoori
• 2015/05/13 (PN) CiE 2015 in Bucharest - Call for Participation S B Cooper
• 2015/05/13 (PN) Visiting Assistant Professor position M. H. Samadzadeh
• 2015/05/13 (PN) Last reminder: 3rd IEEE International Workshop on Formal Methods Integration - FMi 2015 Thouraya Bouabana Tebibel
• 2015/05/13 (PN) Petri Nets 2015 and ACSD 2015: 2nd call for participation (early registration ends on May, 15th) Gilles Geeraerts
• 2015/05/13 (PN) DCM 2015 (Cali, Colombia): Call for Papers Jorge A. Perez
• 2015/05/07 (PN) 2nd CfP: ICTAC 2015 - Cali, Colombia Frank D. Valencia
• 2015/05/06 (PN) Final Call for Papers: Algorithms & Theories for the Analysis of Event Data (ATAED'2015) Robin Bergenthum
• 2015/05/06 (PN) 3rd FMCAD Student Forum Geoff Sutcliffe
• 2015/05/06 (PN) CfP: 11th International Workshop on Business Process Intelligence (BPI 15) Andrea Burattin
• 2015/05/05 (PN) Final Call for Papers: PNSE'15 Petri Nets and Software Engineering PNSE15
• 2015/05/04 (PN) CFPs: Workshops of 31st International Conference on Logic Programming (ICLP 2015) Ian Miguel
• 2015/05/04 (PN) FM 2015: Call for Participation (20th Intl. Symposium on Formal Methods, Oslo) Martin Steffen
• 2015/05/04 (PN) Call For Paper GandALF 2015 dario della monica
• 2015/05/04 (PN) Last CFP Special Issue SCP on AVOCS'14 j.c.vandepol
• 2015/05/04 (PN) BPMS2'2015 (BPM and Social Software) - Call for papers (in conjunction with BPM) Selmin Nurcan
• 2015/05/04 (PN) Abstract registration EXTENDED to MAY 8 -- Formal Methods in Computer-Aided Design (FMCAD), 2015 Thomas Wahl
• 2015/04/29 (PN) Invitation to organise future Petri Net conferences Maciej Koutny
• 2015/04/29 (PN) One day before the firm deadline - The 9th WISTP International Conference on Information Security Theory and Practice (WISTP'2015) Ruggero Donida Labati
• 2015/04/29 (PN) REACHABILITY PROBLEMS 2015 (call for papers) Slawomir Lasota
• 2015/04/27 (PN) Deadline approaching: 3rd IEEE International Workshop on Formal Methods Integration - FMi 2015 Thouraya Bouabana Tebibel
• 2015/04/27 (PN) Final CFP: Topics in Theoretical Computer Science (TTCS 2015) -- Tehran, Iran Mahdi Jaghoori
• 2015/04/27 (PN) Research positions at the University of Oldenburg Eike Best
• 2015/04/27 (PN) Cfp ICTAC 2015 12th International Colloquium on Theoretical Aspects of Computing shaar
• 2015/04/27 (PN) TABLEAUX - Call for Papers Geoff Sutcliffe
• 2015/04/23 (PN) Petri nets 2015, ACSD 2015 and workshops: call for participation and papers Gilles Geeraerts
• 2015/04/22 (PN) CAV 2015: 3rd CfP Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) Sergiy Bogomolov
• 2015/04/22 (PN) Two permanent lecturer posts at Imperial College London Alastair Donaldson
• 2015/04/20 (PN) xSAP 1.0.0 has been released Marco Bozzano
• 2015/04/20 (PN) Extended deadline: ATVA 2015, 13th International symposium on Automated Technology for Verification and Analysis David N. Jansen
• 2015/04/20 (PN) Final CFP (with deadline extension): (EC)2 - International Workshop on Exploiting Concurrency Efficiently and Correctly Alastair Donaldson
• 2015/04/20 (PN) Extented deadline: 3rd IEEE International Workshop on Formal Methods Integration - FMi 2015 Thouraya Bouabana Tebibel
• 2015/04/20 (PN) 2nd CALL FOR PhD/MSc Contributions (RAMiCS 2015) Michael Winter
• 2015/04/20 (PN) [Mycolleagues] cfp: The International Workshop on the Use of Formal Methods in Future Communication Networks (UFMFCN’2015) LAID K
• 2015/04/20 (PN) First Call for Papers: 12th International Conference on Formal Aspects of Component Software Peter Csaba Ølveczky
• 2015/04/20 (PN) CALCO Early Ideas 2015 : Call for Contributions fabio . zanasi
• 2015/04/15 (PN) Call for Papers: PNSE'15 Petri Nets and Software Engineering PNSE15
• 2015/04/15 (PN) 1st CFP: 29th European Simulation and Modelling Conference - ESM'2015, October 26-28, 2015, Holiday Inn, Leicester, UK Philippe Geril
• 2015/04/15 (PN) CfP Deadline Extension: RV'15 - The 15th International Conference on Runtime Verification Nickovic Dejan
• 2015/04/13 (PN) MCC'2015 - 17 days left for submitting your tool Fabrice Kordon
• 2015/04/13 (PN) CALL FOR PAPERS -- GandALF 2015 Javier Esparza
• 2015/04/13 (PN) Research fellow in Automated detection of conflict in models of medical care pathways b.bordbar
• 2015/04/13 (PN) LOPSTR 2015 -- Deadline extended: May 2 Maurizio Proietti
• 2015/04/13 (PN) MoKMaSD 2015 - First Call for Papers Paolo Milazzo
• 2015/04/06 (PN) Call for Papers: 11th International Conference on Information Systems Security sara . foresti
• 2015/04/05 (PN) ADECS 2015 (1st CfP) Kamel Barkaoui
• 2015/04/05 (PN) Final CFP: 2015 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2015) Claudia Ermel
• 2015/04/02 (PN) CFP: Graphical Models for Security - GraMSec 2015 (LNCS proceedings) Ravi JHAWAR
• 2015/04/01 (PN) Deadline approaching - The 9th WISTP International Conference on Information Security Theory and Practice (WISTP'2015) Ruggero Donida Labati
• 2015/04/01 (PN) [Call for Paper] fifth International Symposium on Data-driven Process Discovery and Analysis (SIMPDA2015) Fulvio Frati
• 2015/04/01 (PN) ASPCOMP 2015: Second Call for Participation Marco Maratea
• 2015/03/30 (PN) Verification Mentoring Workshop Student Scholarships Geoff Sutcliffe
• 2015/03/30 (PN) NSV 2015 - Call for participation Sergiy Bogomolov
• 2015/03/30 (PN) LOPSTR 2015, Siena (Italy): Last call for papers Maurizio Proietti
• 2015/03/26 (PN) CFP: 3rd IEEE International Workshop on Formal Methods Integration - FMi 2015 Thouraya Bouabana Tebibel
• 2015/03/26 (PN) CFP SaFoMe 2015 (June 22, 2015) -- co-located with FM 2015 -- EXTENDED DEADLINE! ULE
• 2015/03/26 (PN) funded MSc and PhD positions in Computer Science and 5th Workshop on Evolutionary Computation for the Automated Design of Algorithms John Woodward
• 2015/03/26 (PN) [simu-conf] SummerSim 2015 - Extended Deadline (Final) vsim-conf
• 2015/03/26 (PN) ICFEM 2015 in Paris: Call for workshops Étienne André
• 2015/03/26 (PN) - deadlines extended - WWV 2015, with FM 2015 in Oslo, Keynotes by Meseguer (UIUC) and Distefano (QMUL, Facebook) Alberto Lluch Lafuente
• 2015/03/19 (PN) Computability in Europe 2015: Call for Informal Presentations S B Cooper
• 2015/03/18 (PN) CALL FOR PhD/MSc Contributions (RAMiCS 2015) Michael Winter
• 2015/03/18 (PN) MOOC “Process Mining: Data science in Action” to be repeated as of April 2015 Buijs, J.C.A.M.
• 2015/03/18 (PN) Graphs as Models, 11-12 April 2015: Call for Tool Demos Arend Rensink
• 2015/03/18 (PN) Horn Clauses for Verification and Synthesis - Call for Papers Geoff Sutcliffe
• 2015/03/17 (PN) BPM 2015 - Deadline extension for abstract and full paper submissions Henrik Leopold
• 2015/03/17 (PN) Second CFP: Algorithms & Theories for the Analysis of Event Data (ATAED'2015) - Brussels, Belgium, June 2015 [Deadline: May 10, 2015] Aalst, W.M.P. van der
• 2015/03/17 (PN) Two PhD positions on Data Science in the Department of Mathematics and Computer Science at TU Eindhoven Aalst, W.M.P. van der
• 2015/03/09 (PN) CALCO 2015 : Last Call for Papers fabio . zanasi
• 2015/03/09 (PN) TASE 2015 -- Deadlines extended Jun PANG
• 2015/03/09 (PN) ETAPS 2015 final call for participation Tarmo Uustalu
• 2015/03/07 (PN) CfPart: FSEN 2015 Marjan Sirjani
• 2015/03/07 (PN) Vacant PostDocs and Ph.D. Positions for Project COORDICY - Center for Energy Informatics Sanja L Molnar
• 2015/03/05 (PN) Vacant PostDocs and Ph.D. Positions for Project COORDICY - Center for Energy Informatics Sanja Lazarova-Molnar
• 2015/03/05 (PN) Call for papers - GandALF 2015 Margherita Napoli
• 2015/03/05 (PN) 3rd Workshop on Interpolation - Call for Papers Geoff Sutcliffe
• 2015/03/05 (PN) SFM-15:MP school on multicore programming -- last call for participation Marco Bernardo
• 2015/03/05 (PN) VECoS 2015 (1st CfP) Denis Poitrenaud
• 2015/03/05 (PN) Call for papers - International Conference on Mobile, Secure and Programmable Networking (MSPN'2015) Ruggero Donida Labati
• 2015/03/05 (PN) CFP - Graphical Models for Security (GraMSec 2015) Ravi JHAWAR
• 2015/03/05 (PN) SCART 2015 - 1st Call for Papers (at SEFM 2015) Alexander Perucci
• 2015/03/05 (PN) CFP: 3rd IEEE International Workshop on Formal Methods Integration - FMi 2015 Thouraya Bouabana Tebibel
• 2015/03/05 (PN) Post-doc position in Algorithms in Secure Software Engineering Paolo Falcarin
• 2015/03/05 (PN) IEEE CSS 2015 CALL FOR PAPERS CSS 2015
• 2015/03/05 (PN) CAiSE'15 Doctoral Consortium Call for Papers / CAISE PhD Award Erik Perjons
• 2015/03/05 (PN) Formal Methods in Computer-Aided Design (FMCAD), 2015 - First Call for Papers Thomas Wahl
• 2015/03/05 (PN) Call for Papers - The 9th WISTP International Conference on Information Security Theory and Practice (WISTP'2015) Ruggero Donida Labati
• 2015/03/01 (PN) CFP: PE-WASUN 2015, Cancun, Mexico, November 2nd - 6th, 2015 Conference Contact
• 2015/03/01 (PN) 2nd CFP: WWV 2015, 11th Workshop on Automated Specification and Verification of Web Systems Alberto Lluch Lafuente
• 2015/03/01 (PN) 1st Announcement- Call for Tutorials & Workshops: 29th Annual ESM'2015, October 26-28, 2015, Leicester, UK Philippe Geril
• 2015/03/01 (PN) Description Logics 2015 - Call for Papers Geoff Sutcliffe
• 2015/03/01 (PN) AlCoB 2015: extended submission deadline 9 March GRLMC
• 2015/03/01 (PN) ETAPS 2016 call for satellite events Tarmo Uustalu
• 2015/02/25 (PN) Vacancy: Full Professor in Data Mining at the Data Science Center Eindhoven (DSC/e) at TU/e Aalst, W.M.P. van der
• 2015/02/24 (PN) CFP: (EC)2 - International Workshop on Exploiting Concurrency Efficiently and Correctly Alastair Donaldson
• 2015/02/24 (PN) BPMDS'2015 - deadline extension (in conjunction with CAISE) Jelena Zdravkovic
• 2015/02/24 (PN) CALL FOR PhD/MSc Contributions (RAMiCS 2015) Michael Winter
• 2015/02/24 (PN) Reachability Problems 2015: call for papers Slawomir Lasota
• 2015/02/24 (PN) ICFEM 2015 (in Paris): Call for workshops Étienne André
• 2015/02/24 (PN) ICE 2015: Call for Papers Giorgio Bacci
• 2015/02/24 (PN) TESTS AND PROOFS - Deadline extended Geoff Sutcliffe
• 2015/02/24 (PN) Postdoctoral position at CRI - Paris 1/ Braincities : Intelligent user profiling for recommendations in a collaborative Human Resource Management System Charlotte Hug
• 2015/02/24 (PN) FOCLASA 2015 - 1st Call For Papers Alexander Perucci
• 2015/02/24 (PN) Opening of a Full Professor position in the department of Language and Software Engineering at IRISA, University of Rennes 1, France Benoit Caillaud
• 2015/02/16 (PN) MCC'2015 - call for tools is out Fabrice Kordon
• 2015/02/16 (PN) LOPSTR 2015: 2nd Call for Papers Maurizio Proietti
• 2015/02/14 (PN) 2nd Call for Papers, 13th Annual Industrial Simulation Conference, ISC'2015, June 1-3, 2015, UPV, Valencia, Spain Philippe Geril
• 2015/02/14 (PN) TASE 2015 -- Final Call for Papers Jun PANG
• 2015/02/14 (PN) CfP SERENE 2015: 7th Int Workshop on Software Engineering for Resilient Systems Alexander Romanovsky
• 2015/02/14 (PN) Call for Papers - 20th European Symposium on Research in Computer Security (ESORICS 2015) Giovanni Livraga
• 2015/02/14 (PN) CADE-25 Workshops- Calls for Papers Geoff Sutcliffe
• 2015/02/14 (PN) LATA 2015: call for participation GRLMC
• 2015/02/14 (PN) CFP: 3rd IEEE International Workshop on Formal Methods Integration - FMi 2015 Thouraya Bouabana Tebibel
• 2015/02/14 (PN) ESSS 2015 (co-located with FM 2015 in Oslo): 2nd call for papers Jun PANG
• 2015/02/14 (PN) CFP AROSA 2015: Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures Slim Kallel
• 2015/02/14 (PN) CADE-25 Final Call for Papers Geoff Sutcliffe
• 2015/02/14 (PN) SFM-15:MP school on Multicore Programming -- second cfpart Marco Bernardo
• 2015/02/14 (PN) ETAPS 2015 call for participation Tarmo Uustalu
• 2015/02/11 (PN) Call for Papers - 29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2015) DBSec 2015
• 2015/02/11 (PN) LCTES 2015: 2nd Call for Papers Klaus Havelund
• 2015/02/11 (PN) TABLEAUX/FroCoS Call for Workshops Geoff Sutcliffe
• 2015/02/11 (PN) CFP: SETTA 2015 jun sun
• 2015/02/11 (PN) ASPCOMP 2015: First Call for Benchmarks Marco Maratea
• 2015/02/11 (PN) CPSWeek NSV 2015: Deadline extended Sergiy Bogomolov
• 2015/02/11 (PN) Topics in Theoretical Computer Science 2015 (Tehran, Iran) -- Call for Papers Mahdi Jaghoori
• 2015/02/11 (PN) CFP: Graphical Models for Security (GraMSec 2015) Ravi JHAWAR
• 2015/02/11 (PN) Ph.D. Position in Model-Based Testing, Halmstad University, Sweden M.R. Mousavi
• 2015/02/02 (PN) CFP ICFEM 2015 - The 17th International Conference on Formal Engineering Methods Fatiha Zaidi
• 2015/02/02 (PN) Special Session at CASE'2015 Cristian Mahulea
• 2015/01/26 (PN) Looking for 6 PhDs and 3 Postdocs in Software Analytics and Data Science for 3TU.BSR "Big Software on the Run" research program Aalst, W.M.P. van der
• 2015/01/26 (PN) CFP: 3rd IEEE International Workshop on Formal Methods Integration - FMi 2015 Thouraya Bouabana Tebibel
• 2015/01/26 (PN) cfp special issue SCP on AVoCS 2014 j.c.vandepol
• 2015/01/26 (PN) CALCO 2015 : Second Call for Papers fabio . zanasi
• 2015/01/26 (PN) Postdoctoral position in machine learning for systems biology - Paris region François KEPES
• 2015/01/26 (PN) Three Postdoc positions in Computer Science at GSSI - L'Aquila (Itay) - Deadline February 2, 2015 Rocco De Nicola
• 2015/01/26 (PN) TASE 2015: Call for Paper, Nanjing 12 - 14 September jun sun
• 2015/01/26 (PN) CFP: 8th Interaction and Concurrency Experience (ICE 2015), June 5, 2015, Grenoble, France Alberto Lluch Lafuente
• 2015/01/26 (PN) CFP: CRV15 - 2nd Competition on Runtime Verification Yliès Falcone
• 2015/01/19 (PN) FormaliSE 2015: Call for Papers (deadline approaching!) Nico Plat
• 2015/01/19 (PN) CPSWeek: Workshop on Numerical Software Verification 2015 - 2nd Call for Papers Sergiy Bogomolov
• 2015/01/19 (PN) CFP-Formal Verification of Service Based Systems FVSBS 2015 @ IEEE WETICE - Larnaca, Cyprus mohamed Graiet
• 2015/01/15 (PN) ACSD 2015 - Final Call for Papers - NEW deadline 29th January shaar
• 2015/01/15 (PN) Open PhD position at TU Wien Ezio Bartocci
• 2015/01/15 (PN) 10th Ershov Informatics Conference, Call for Papers Geoff Sutcliffe
• 2015/01/15 (PN) Two postdoctoral positions in Paris in computer and cognitive science Charlotte Hug
• 2015/01/15 (PN) CFP: WWV 2015, 11th Workshop on Automated Specification and Verification of Web Systems Alberto Lluch Lafuente
• 2015/01/15 (PN) open position starting summer semester 2015 Monika Heiner
• 2015/01/15 (PN) SFM-16:MP school in Bertinoro -- first call for participation Marco Bernardo
• 2015/01/15 (PN) Reminder: Graphs as Models (ETAPS workshop), 11-12 April 2015; deadline 16 Jan 2015 Arend Rensink
• 2015/01/15 (PN) ACSD 2015 - Final Call for Papers shaar
• 2015/01/15 (PN) CiE 2015 in Bucharest - FINAL CALL FOR PAPERS and EXTENDED DEADLINE, 21 Jan, 2015 S B Cooper
• 2015/01/05 (PN) Call for Papers: FormaliSE 2015 (18 May 2015, Florence, Italy) Nico Plat
• 2015/01/05 (PN) MCU'15 - 1st call for papers Rza Bashirov
• 2015/01/02 (PN) IJCAI-15 Call for Papers IJCAI 2015 Publicity Chairs
• 2014/12/29 (PN) FM 2015: Final Call for Papers (20th Intl. Symposium on Formal Methods, Oslo) Martin Steffen
• 2014/12/29 (PN) Postdoctoral Research Associate at the University of Liverpool Potapov, Igor
• 2014/12/29 (PN) First CFP: CRV15 - 2nd Competition on Runtime Verification Yliès Falcone
• 2014/12/19 (PN) Assistant Professor in Data Science (0.8-1.0 fte) V32.2132 at the Data Science Center Eindhoven (DSC/e) Buijs, J.C.A.M.
• 2014/12/19 (PN) PhD Vacancy: Discovering Behavioral Software Models from Software Event Data (V32.2142) at Eindhoven University of Technology Buijs, J.C.A.M.
• 2014/12/19 (PN) PhD on Process Mining for Predictive Models in Healthcare Smart Maintenance at DSC/e & Philips, Eindhoven, The Netherlands Aalst, W.M.P. van der
• 2014/12/19 (PN) TASE 2015 -- First Call for Papers Jun PANG
• 2014/12/19 (PN) Full Professor Position / SPC Chair in Mathematics and/or Computer Science Petrucci Laure
• 2014/12/19 (PN) Postdoc Vacancy: Process Analytics for the European Data Science Academy Aalst, W.M.P. van der
• 2014/12/19 (PN) BPMDS'2015 - Call for Papers (in conjunction with CAISE) Selmin Nurcan
• 2014/12/19 (PN) 1st Call for Papers- 13th Annual Industrial Simulation Conference, ISC'2015, June 1-3, 2015, UPV, Valencia, Spain Philippe Geril
• 2014/12/19 (PN) Call for papers TTCS'15 (Tehran, Iran) Mahdi Jaghoori
• 2014/12/11 (PN) CICM Call for Papers Geoff Sutcliffe
• 2014/12/11 (PN) WoLLIC 2015 - Second Call for Papers Ruy de Queiroz
• 2014/12/11 (PN) Post-doctoral Research Position on the Synthesis and Simulation of Surgical Process Models Benoit Caillaud
• 2014/12/11 (PN) Vacancy: Assistant Professor in Data Science at Eindhoven University of Technology (TU/e) --- Includes a coordinating role in the Data Science Center Eindhoven (DSC/e) and the EIT ICT Labs Data Science Master Program (DSC) Aalst, W.M.P. van der
• 2014/12/11 (PN) Call for Papers: FormaliSE 2015 Nico Plat
• 2014/12/04 (PN) CfP special issue JLAMP on automated verification of programs and web systems Maurice ter Beek
• 2014/12/04 (PN) CfP: Special Issue of BISE on Business Process Management (BPM) – "BPM Use Cases: Structuring the Business Process Management discipline" Aalst, W.M.P. van der
• 2014/12/04 (PN) 20th Intl. Symposium on Formal Methods (FM 2015), Oslo. 2nd CFP Martin Steffen
• 2014/12/04 (PN) FESCA@ETAPS 2015: CfP for 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, April 12th, 2015, London, UK kapova
• 2014/12/04 (PN) 1st Call for Papers, 22nd Annual European Concurrent Engineering Conference, April 27-29, 2015, IST, Lisbon, Portugal Philippe Geril
• 2014/11/25 (PN) CALCO 2015: First Call for Papers Zanasi Fabio
• 2014/11/21 (PN) CfP: Graphs as Models (ETAPS workshop), 11-12 April 2015; deadline 16 Jan 2015 Arend Rensink
• 2014/11/21 (PN) MCC'2015 - do not forget pre-registration Fabrice Kordon
• 2014/11/21 (PN) HiPMoS 2015 call for papers [email protected]
• 2014/11/21 (PN) TASE 2015 -- Preliminary Call for Papers Jun PANG
• 2014/11/21 (PN) Final Call - 12th Annual Conference on Theory and Applications of Models of Computation (TAMC 2015), Singapore 18-20 May, 2015 S B Cooper
• 2014/11/15 (PN) Deadline extension | SOFTENG 2015 || April 19 - 23, 2015 - Barcelona, Spain Cristina Pascual
• 2014/11/15 (PN) two tenure-track asst prof positions M. H. Samadzadeh
• 2014/11/15 (PN) 1st CFP, ASTEC'2015, 4th Asian Simulation Technology Conference 2015, March 25-27, 2015, Ghent University, Incheon, South Korea Philippe Geril

• Earlier messages
• Later messages