imtlucca.it
Visiting Professors - IMT School for Advanced Studies Lucca
http://www.imtlucca.it/institute/people/visiting-professors
INFORMATIVA SULL'UTILIZZO DEI COOKIE. Il sito di IMT Alti Studi Lucca utilizza cookie di Sessione e di Profilazione per il corretto funzionamento delle pagine web e per il miglioramento dei servizi. Per saperne di più consulta la nostra Privacy Policy. Proseguendo nella navigazione di questo sito o clicando sul bottone 'Accetto' si acconsentirà all'utilizzo dei cookie. Skip to main content. Election of Representatives for Governing Bodies. Assistant Professors and Post-Doctoral Fellows. How to reach us.
cs.gssi.infn.it
People | Computer Science @ GSSI
http://cs.gssi.infn.it/people
Computer Science @ GSSI. 2015/2016 – Courses. 2014/2015 – Courses. Chair, IMT and GSSI). Carnegie Mellon University, Pittsburgh). Vrije Universiteit, Amsterdam). Imperial College, London). Lecturers from other institutions. University of Firenze, Italy). University of Sannio, Italy). CNRS and University Paris Diderot, France). Marta Z. Kwiatkowska. University of Oxford, UK). University of Firenze, Italy). George Mason University, USA). Politecnico di Milano, Italy). Georgia Institute of Technology, USA).
sysma.imtlucca.it
People |
http://sysma.imtlucca.it/people
Skip to primary content. How to Do a PhD. Proudly powered by WordPress.
win.tue.nl
Erik de Vink
http://www.win.tue.nl/~evink
I am currently interested in formal modelling and analysis of Software Product Lines. And in formal methods for Dynamic System Adaptation. Modelcheckers for tool support. 7th IPM International Conference on Fundamentals of Software Engineering April 26-28, 2017, Tehran. 11th International Workshop on Variability Modelling of Software-intensive Systems, February 1-3, 2017, Eindhoven. 21st international symposium on Formal Methods, November 7-11, 2016, Limassol. 2nd Workshop on Software Product Line Analys...
cs.gssi.infn.it
2014/2015 – Courses | Computer Science @ GSSI
http://cs.gssi.infn.it/phd-program/2014-2015-courses
Computer Science @ GSSI. 2015/2016 – Courses. 2014/2015 – Courses. 2014/2015 – Courses. For each pillar, the 2014/2015 PhD program is structured as follows. 3rd November – 15th January. Introductory course on the basics, main topics and research trends in the area. 16th January – 30th April. Detailed courses on selected topics of interest, with a strong focus on research results, techniques, and challenges. You can follow this link to access the up-to-date schedule of our courses. Formal Methods at Work.
cs.gssi.infn.it
2016/2017 Courses | Computer Science @ GSSI
http://cs.gssi.infn.it/20162017-courses
Computer Science @ GSSI. 2015/2016 – Courses. 2014/2015 – Courses. For each pillar, the 2016/2017 PhD program is structured as follows. 8th November – 19th December. Introductory course on the basics, main topics and research trends in the area. 31 Jan – 30 Apr. Detailed courses on selected topics of interest, with a strong focus on research results, techniques, and challenges. You can follow this link to access the up-to-date schedule of our courses. Introduction to Formal Methods. Formal Methods at Work.
cs.gssi.infn.it
2015/2016 – Courses | Computer Science @ GSSI
http://cs.gssi.infn.it/2015-2016-courses
Computer Science @ GSSI. 2015/2016 – Courses. 2014/2015 – Courses. 2015/2016 – Courses. For each pillar, the 2015/2016 PhD program is structured as follows. 2nd November – 18th December. Introductory course on the basics, main topics and research trends in the area. 11th January – 1st April. Detailed courses on selected topics of interest, with a strong focus on research results, techniques, and challenges. You can follow this link to access the up-to-date schedule of our courses. Formal Methods at Work.
staf2016.conf.tuwien.ac.at
Workshops - STAF 2016
http://staf2016.conf.tuwien.ac.at/workshops
Restaurants & Cafés. Call for Projects Showcases. Call for Doctoral Papers. July 4-8, 2016 in Vienna, Austria. This year, STAF is proud to feature the following interesting workshops:. BigMDE: Scalable Model Driven Engineering. DataMod: From Data to Models and Back. FORECAST: FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems. GCM: Graph Computation Models. HOFM: Human-Oriented Formal Methods: From Readability to Automation. MELO: Model-Driven Engineering, Logic and Optimization.