[Hol-info] VSTTE 2017 - First Call for Papers

2017-02-17 Thread Andrei Paskevich
, USA) * Francesco Logozzo (Facebook, USA) * Peter Müller (ETH Zürich, Switzerland) * Jorge A. Navas (SRI International, USA) * Scott Owens (University of Kent, UK) * Andrei Paskevich (Université Paris-Sud, France), co-chair * Gerhard Schellhorn (Universität Augsburg, Germany) * Peter

[Hol-info] VSTTE 2017 - Second Call for Papers

2017-04-20 Thread Andrei Paskevich
(University of Kent, UK) * Andrei Paskevich (Université Paris-Sud, France), co-chair * Gerhard Schellhorn (Universität Augsburg, Germany) * Peter Schrammel (University of Sussex, UK) * Natarajan Shankar (SRI International, USA) * Mihaela Sighireanu (Université Paris-Diderot, France) * Julien

[Hol-info] VSTTE 2017 - Deadline Extension

2017-04-25 Thread Andrei Paskevich
copyright transfer form. A selection of best papers will be invited for publication in the Journal of Automated Reasoning. Invited Speakers * Christoph Weidenbach (Max Planck Institute for Informatics, Germany) * Santiago Zanella-Beguelin (Microsoft Research, UK) Program Chairs * Andrei

[Hol-info] VerifyThis 2018: Call for Problems and First Announcement

2018-03-04 Thread Andrei Paskevich
, Maynooth University, Ireland * Peter Müller, ETH Zürich, Switzerland * Andrei Paskevich, Paris-Sud University, France * Gidon Ernst, National Institute of Informatics Tokyo, Japan CONTACT Email: verifyt...@cs.nuim.ie Web: http://verifythis.ethz.ch

[Hol-info] VerifyThis 2018: Call for Participation and Travel Grants

2018-03-06 Thread Andrei Paskevich
, University of Twente, the Netherlands * Rosemary Monahan, Maynooth University, Ireland * Peter Müller, ETH Zürich, Switzerland * Andrei Paskevich, Paris-Sud University, France * Gidon Ernst, National Institute of Informatics Tokyo, Japan CONTACT Email: verifyt...@cs.nuim.ie Web: http

[Hol-info] ARiSVe 2013 call for papers

2013-01-15 Thread Andrei Paskevich
of Ireland) * Andrei Paskevich (Université Paris-Sud), co-chair * Silvio Ranise (Fondazione Bruno Kessler) -- Master SQL Server Development, Administration, T-SQL, SSAS, SSIS, SSRS and more. Get SQL Server skills now (including

[Hol-info] ARiSVe 2013 final call for papers

2013-03-04 Thread Andrei Paskevich
University) * Jean-Christophe Filliâtre (CNRS), co-chair * Alwyn Goodloe (NASA) * Matthias Horbach (Koblenz University) * Vladimir Klebanov (Karlsruhe Institute of Technology) * Konstantin Korovin (The University of Manchester) * Rosemary Monahan (National University of Ireland)

[Hol-info] ARiSVe 2013: submission deadline extension to April 8, 2013

2013-03-11 Thread Andrei Paskevich
Manchester) * Rosemary Monahan (National University of Ireland) * Andrei Paskevich (Université Paris-Sud), co-chair * Silvio Ranise (Fondazione Bruno Kessler) -- Symantec Endpoint Protection 12 positioned as A

[Hol-info] F-IDE 2021 - Call for Papers

2020-10-21 Thread Andrei Paskevich
rgile Prevosto, Institut List, CEA Tech, Université Paris-Saclay, France * Yannick Moy, AdaCore, France * Yi Zhang, Massachusetts General Hospital, USA PC Chairs * Andrei Paskevich, Université Paris-Saclay, France * José Proença, CISTER/ISEP, Portugal Steering Committee * Catherine D

[Hol-info] F-IDE 2021 - 2nd Call for Papers

2021-01-08 Thread Andrei Paskevich
pital, USA PC Chairs * Andrei Paskevich, Université Paris-Saclay, France * José Proença, CISTER/ISEP, Portugal Steering Committee * Catherine Dubois, Samovar, ENSIIE, France * Paolo Masci, US National Institute of Aerospace (NIA), USA * Dominique Méry, LORIA, Université de Lor

[Hol-info] F-IDE 2021 - Last Call for Papers - Extended Deadline

2021-02-24 Thread Andrei Paskevich
Zhang, Massachusetts General Hospital, USA PC Chairs * Andrei Paskevich, Université Paris-Saclay, France * José Proença, CISTER/ISEP, Portugal Steering Committee * Catherine Dubois, Samovar, ENSIIE, France * Paolo Masci, US National Institute of Aerospace (NIA), USA * Dominique Méry,