ICTAC 2015 - ICTAC Summer School

The ICTAC Summer School will consist of four different courses/tutorials on hot topics in theoretical aspects of computing:
Formal methods and verification
Formal models of concurrency
Security in concurrency
The courses will be intended to students and young researchers in computer science, engineering and mathematics.
The ICTAC Summer School will be a unique opportunity to learn from and interact with prominent international researchers.
Dates
October 25 - October 27, 2015 -- before DCM 2015 and ICTAC 2015.
Lecturers and Courses
Jean-Raymond Abrial: Formal Modeling
Martin Leucker: Formal Verification Techniques
Kostas Chatzikokolakis: Security and Information Flow
Pawel Sobonciski: Models for Concurrency
Jean-Raymond Abrial
Course on Formal Modeling.
Jean-Raymond Abrial
Jean-Raymond Abrial is a French computer scientist, widely known as the co-inventor of various formal approaches to software specification: Z, B and Event-B.
He is the author of the "B-book" (Cambridge University Press, 1996), which presents the B-Method. More recently, he published the book "Modeling in Event-B: System and Software Engineering" (Cambridge University Press 2010). He was Guest Professor at ETH Zurich from 2004 to 2007, where he led the team developing the Rodin Platform tool for Event-B (funded by the European Project "Rodin"). After that, he was a researcher, also at ETH Zurich, working on the European Project "Deploy" until May 2009.
Jean-Raymond Abrial has been invited to give courses on formal methods in various Chinese Universities (Peking University in Beijing, East China Normal University in Shanghai). Before Zurich, he was a consultant for more than 20 years working in close contact with several industrial companies and universities around the world.
Martin Leucker
Course on Formal Verification Techniques.
Martin Leucker
Martin Leucker is Director of the Institute for Software Engineering and Programming Languages at the University of Lübeck, Germany.
Born in 1971, he studied mathematics and computer science at Aachen University of Technology, Germany, from 1990 until 1996, graduating with a diploma in mathematics in 1996. He obtained his doctoral degree (Ph.D.) in computer science at Aachen in 2002. He then worked as a post-doctoral researcher at the University of Philadelphia, USA, and, within the European Research and Training Network on Games, at Uppsala University, Sweden.
He obtained his Habilitation at TU München (awarded in 2007) while being a member of Manfred Broy’s group on Software and Systems Engineering.
At TU Munich, he also worked as a professor of Theoretical Computer Science and Software Reliability.
Martin Leucker is the author of more than a hundred reviewed conference and journal papers in software engineering, formal methods, and theoretical computer science. He frequently is a PC member of top ranked conferences, and has been the principal investigator in several research projects with industry participation, especially in the medical devices, automotive and energy domain.
Kostas Chatzikokolakis
Course on Security and Information Flow.
Kostas Chatzikokolakis
Kostas Chatzikokolakis is a CNRS researcher at the Ecole Polytechnique of Paris, France.
He was born in 1980 in Athens, Greece, where he studied computer science and telecommunications at the National University of Athens. He also did a masters degree and a Ph.D. in computer science (awarded in 2007) at the Ecole Polytechnique of Paris, France, under the direction of Catuscia Palamidessi.
From 2007 to 2010 he has was a post-doctoral researcher at Oxford University, UK, and at the Technical University of Eindhoven, The Netherlands.
His research interests include security and privacy (in particular quantitative information flow and differential privacy), probabilistic process calculi and information theory.
Dr Chatzikokolakis has published more than 35 research papers and has been in the PC of 24 international workshops and conferences. He has also been PC co-chair of SecCo'11 and SecCo'10 and co-editor of a special issue for SecCo'11 in the Journal of Computer Security.
His teaching experience includes a master course on concurrency at the Parisian Master of Research in Computer Science (MPRI), a master course on security protocols at the Information Security Technology master at TU/e, and a summer school course on quantitative information flow and differential privacy at Rio Cuarto, Argentina. He currently is the supervisor of 2 Ph.D. and 3 masters theses.
Pawel Sobocinski
Course on Models for Concurrency.
Pawel Sobocinski
Pawel Sobocinski graduated in Computer Science and Mathematics from the University of Sydney, Australia in 1999. He was awarded a PhD in Computer Science from the University of Aarhus, Denmark, in 2004, where he studied under the direction of Prof Mogens Nielsen. Since 2007 he is a faculty member of Electronics and Computer Science at the University of Southampton, UK.
Dr. Sobocinski has published more than 40 research papers, including 10 journal articles. He has served on the PC of several international conferences and workshops and has been the chair of the workshop on Structural Operational Semantics. In 2015 he will be the chair of the International Conference in Algebra and Coalgebra in Computer Science (CALCO).
Sobocinski currently works on models of Concurrency, such as Process Algebra and Petri Nets, and more generally in Network Theory --- the study of compositional, algebraic approaches of interconnected systems, with deep connections to Physics, Engineering and Control Theory. His methodology is guided by the structural principles of Category Theory.
At the University of Southampton, Dr Sobocinski has led and taught modules on Theoretical Computer Science, Discrete Mathematics and Foundations and Programming Language Concepts. He has also taught Operating Systems and Denotational Semantics. He has supervised over 20 undergraduate and MSc dissertation projects and is currently supervising 2 PhD students.