Parosh Aziz Abdulla
Uppsala University, Sweden
parosh(AT)it.uu.se

11 - 18 Sep 2016

Dual semantics for total store order

Bahareh Afshari
Technische Universität Wien, Austria
bahareh.afshari(AT)tuwien.ac.at

10 - 24 Sep 2016

Finitary proof systems for Kozen's mu

(PDF)

Pablo Barcelo
Universidad de Chile, Chile
pbarcelo(AT)dcc.uchile.cl

26 Aug - 3 Sep 2016

The interplay between word equations with rational constraints and graph querying with path comparisons

Gilles Barthe
The IMDEA Software Institute, Spain
gilles.barthe(AT)imdea.org

5 - 17 Sep 2016

Tutorial:

Probabilistic couplings for privacy and security

(PDF)

Nathalie Bertrand
Institut de Recherche en Informatique et en Automatique, France
nathalie.bertrand(AT)inria.fr

21 - 27 Aug 2016

Distributed local strategies in broadcast networks

Nikolaj Bjorner
Microsoft Research, USA
nbjorner(AT)microsoft.com

27 Aug - 3 Sep 2016

Programming constraint services with Z3

Mikolaj Bojanczyk
University of Warsaw, Poland
bojan(AT)mimuw.edu.pl

21 - 25 Aug 2016

A question about Mazurkiewicz traces

(PDF)

Benedikt Bollig
Centre National de la Recherche Scientifique, France
bollig(AT)lsv.ens-cachan.fr

21 - 26 Aug 2016

Towards a regular theory of parameterized concurrent systems

Ahmed Bouajjani
University Paris Diderot, Paris 7, France
abou(AT)liafa.univ-paris-diderot.fr

11 - 25 Sep 2016

Tutorial:

Verification of concurrent data structures

(PDF)

Tomas Brazdil
Masaryk University, Czech Republic
xbrazdil(AT)fi.muni.cz

3 - 9 Sep 2016

Franck Cassez
Macquarie University, Australia
franck.cassez(AT)mq.edu.au

11 - 18 Sep 2016

Static analysis: from finding bugs to building proofs

(PDF)

Taolue Chen
Middlesex University, UK
taolue.chen(AT)gmail.com

22 Aug - 15 Sep 2016

Yu-Fang Chen
Academia Sinica, Taiwan
gulu0724(AT)gmail.com

29 Aug - 2 Sep 2016

The commutativity problem of MapReduce programs

Dmitry Chistikov
University of Oxford, UK
chdir(AT)cs.ox.ac.uk

21 Aug - 4 Sep 2016

Rational and irrational interpolants for polytopes

(PDF)

The complexity of regular abstractions of one-counter languages

Aiswarya Cyriac
Chennai Mathematical Institute, India
aiswarya(AT)cmi.ac.in

17 - 25 Sep 2016

Nested words for order-2 pushdown systems

(PDF)

Emanuele D'Osualdo
University of Oxford, UK
emanuele.dosualdo(AT)gmail.com

21 Aug - 2 Sep 2016

On hierarchical communication topologies in the pi-calculus

(PDF)

Yuxin Deng
East China Normal University, China
yxdeng(AT)sei.ecnu.edu.cn

4 - 17 Sep 2016

Formal reasoning for quantum programming languages

(PDF)

Rayna Dimitrova
Max Planck Institute, Germany
rayna(AT)mpi-sws.org

21 - 27 Aug 2016

Quantitative verification of parameterized systems

(PDF)

Zhenhua Duan
Xi Dian University, China
zhenhua_duan(AT)126.com

2 - 10 Sep 2016

Verifying temporal properties via dynamic program execution

(PDF)

Javier Esparza
Technische Universität München, Germany
esparza(AT)in.tum.de

11 - 24 Sep 2016

Limit-deterministic autoamta for probabilistic model checking

(PDF)

Antonio Filieri
Imperial College London, UK
a.filieri(AT)imperial.ac.uk

4 - 10 Sep 2016

Vojtech Forejt
University of Oxford, UK
vofor(AT)cs.ox.ac.uk

3 - 9 Sep 2016

Yuxi Fu
Shanghai Jiaotong University, China
fu-yx(AT)cs.sjtu.edu.cn

11 - 17 Sep 2016

Vijay Ganesh
University of Waterloo, Canada
vganesh(AT)uwaterloo.ca

28 Aug - 6 Sep 2016

An empirical understanding of conflict-driven clause-learning SAT solvers

Pierre Ganty
Universidad Politécnica de Madrid, Spain
pierre.ganty(AT)imdea.org

22 - 27 Aug 2016

Population protocols and predicates

Charles Grellois
University Paris 7, France
charles(AT)grellois.fr

21 Aug - 23 Sep 2016

Distribution types: a type-theoretic approach to almost sure termination

(PDF)

First steps towards probabilistic higher-order model-checking

(PDF)

Probabilistic extension of higher-order model-checking

Matthew Hague
Royal Holloway, University of London, UK
Matthew.Hague(AT)rhul.ac.uk

21 Aug - 26 Sep 2016

Formalisation and static analysis of CSS3 selectors

Constrained dynamic tree networks

Christoph Hasse
Centre National de la Recherche Scientifique, France
haase(AT)lsv.ens-cachan.fr

21 - 29 Aug 2016

The benefits of continuous over-approximations for vector addition systems with states

Piotrek Hofman
Centre National de la Recherche Scientifique and École Normale Supérieure de Cachan, France
piotrek.hofman(AT)gmail.com

21 Aug - 3 Sep 2016

A state equation for Petri nets with unordered data

(PDF)

Martin Hofmann
Ludwig-Maximilians-Universität München, Germany
hofmann(AT)ifi.lmu.de

18 - 23 Sep 2016

Higher-order Buchi types

(PDF)

Lukas Holik
Brno Unversity of Technology, Czech Republic
holik(AT)fit.vutbr.cz

21 Aug - 1 Sep 2016

String constraints for verification

(PDF)

Xiaowei Huang
University of Oxford, UK
xiaowei.huang(AT)cs.ox.ac.uk

28 Aug - 10 Sep 2016

Roland Jiang
National Taiwan University, Taiwan
jhjiang(AT)ntu.edu.tw

28 Aug - 3 Sep 2016

QBF solving and certification

Neil Jones
University of Copenhagen, Denmark
neil(AT)diku.dk

18 - 23 Sep 2016

Compiling untyped Lambda Calculus to lower-level code by game semantics and partial evaluation

(PDF)

Joost-Pieter Katoen
RWTH Aachen University, Germany
katoen(AT)cs.rwth-aachen.de

6 - 13 Sep 2016

Scalable parameter synthesis in Markov models

(PDF)

Run time analysis of probabilistic programs

Tutorial:

Tutorial on the probabilistic model checking landscape

(PDF)

Sascha Klüppelholz
Dresden University of Technology, Germany
sascha.klueppelholz(AT)tu-dresden.de

3 - 11 Sep 2016

Naoki Kobayashi
The University of Tokyo, Japan
koba(AT)is.s.u-tokyo.ac.jp

18 - 23 Sep 2016

On two notions of higher-order model checking

(PDF)

Igor Konnov
Technische Universität Wien, Austria
konnov(AT)forsyte.tuwien.ac.at

4 - 17 Sep 2016

Narayan Kumar Krishnan
Chennai Mathematical Institute, India
kumar(AT)cmi.ac.in

21 - 27 Aug 2016

12 - 17 Sep 2016

Tutorial:

Graph decompositions and the verification of concurrent recursive

(PDF 1, PDF 2)

Using graph decompositions to verify concurrent recursive programs

Antonin Kucera
Masaryk University, Czech Republic
kucera(AT)fi.muni.cz

10 Aug - 17 Sep 2016

Solving deductive games

Denis Kuperberg
Technical University of Munich, Germany
denis.kuperberg(AT)gmail.com

21 - 27 Aug 2016

Soundness in negotiations

(PDF)

Marta Kwiatkowska
University of Oxford, UK
Marta.Kwiatkowska(AT)cs.ox.ac.uk

4 - 10 Sep 2016

Tutorial:

Tutorial on PRISM

(PDF)

Graham Leigh
University of Gothenburg, Sweden
graham.leigh(AT)gu.se

10 - 24 Sep 2016

Finitary proof systems for Kozen's mu

(PDF)

Ondrej Lengal
Brno University of Technology, Czech Republic
lengal(AT)fit.vutbr.cz

21 Aug - 4 Sep 2016

Nested antichains for WS1S

(PDF)

Fully automated shape analysis based on forest automata

(PDF)

Leonid Libkin
University of Edinburgh, UK
libkin(AT)inf.ed.ac.uk

27 Aug - 4 Sep 2016

Constrained validity and querying uncertain data: exact and approximate solutions

(PDF)

Michele Loreti
Università degli Studi di Firenze, Italy
michele.loreti(AT)unifi.it

11 - 17 Sep 2016

Modelling and analysis of collective adaptive systems

Michael Luttenberger
Technische Universität München, Germany
luttenbe(AT)model.in.tum.de

11 - 17 Sep 2016

Rupak Majumdar
Max Planck Institute for Software Systems, Germany
rupak(AT)mpi-sws.org

21 - 26 Aug 2016

Tutorial:

Algorithmic analysis for parameterized systems

Mehrdad Maleki
IPM (Institute for Research in Fundamental Sciences), Iran
mehrdad.maleki(AT)gmail.com

22 Aug - 25 Sep 2016

Annabelle McIver
Macquarie University, Australia
annabelle.mciver(AT)mq.edu.au

3 - 9 Sep 2016

Tutorial:

Tutorial on program refinement and information flow security

Roland Meyer
University of Kaiserslautern, Germany
meyer(AT)cs.uni-kl.de

11 - 24 Sep 2016

Summaries for context-free games

(PDF)

Replication and consistency

(PDF)

Ugo Montanari
University of Pisa, Italy
ugo(AT)di.unipi.it

11 - 18 Sep 2016

Tutorial:

General description of network systems

(PDF)

Carroll Morgan
University of New South Wales, Australia
carroll.morgan(AT)unsw.edu.au

11 - 17 Sep 2016

A demonic lattice of information

Markus Mueller-Olm
Universität Münster, Germany
markus.mueller-olm(AT)uni-muenster.de

10 - 23 Sep 2016

Automata-based analysis of threaded programs

Information flow and program analysis

(PDF)

Andrzej Murawski
University of Warwick, UK
a.murawski(AT)warwick.ac.uk

11 - 24 Sep 2016

Game semantics for middleweight Java

(PDF)

Automata theory and game semantics of higher-order computation

(PDF)

Anca Muscholl
Université Bordeaux, France
anca(AT)labri.fr

20 - 26 Aug 2016

On parametrized verification of asynchronous, shared-memory pushdown systems

(PDF

Luke Ong
University of Oxford, UK
lo(AT)cs.ox.ac.uk

22 Aug - 25 Sep 2016

Automata, logic and games for higher-type Bohm trees

(PDF)

Pawel Parys
University of Warsaw, Poland
parys(AT)mimuw.edu.pl

17 - 23 Sep 2016

Tutorial:

Introduction to collapsible pushdown automata and higher-order recursion schemes

(PDF)

Kirstin Peters
Technische Universität Berlin, Germany
kirstin.peters(AT)tu-berlin.de

11 - 18 Sep 2016

K. V. S. Prasad
Chalmers University, Sweden
prasad(AT)chalmers.se

11 - 16 Sep 2016

Geguang Pu
East China Normal University, China
ggpu(AT)sei.ecnu.edu.cn

21 - 26 Aug 2016

SAT-based explicit LTL reasoning

(PDF)

Steven Ramsay
University of Oxford, UK
steven.ramsay(AT)cs.ox.ac.uk

28 Aug - 25 Sep 2016

Refinement types and higher-order constrained horn clauses

(PDF)

Jean-Francois Raskin
Université Libre de Bruxelles, Belgium
jraskin(AT)ulb.ac.be

5 - 14 Sep 2016

Quantitative two-player games

(PDF)

Admissibility and reactive synthesis

(PDF)

Philipp Ruemmer
Uppsala University, Sweden
philipp.ruemmer(AT)it.uu.se

27 Aug - 9 Sep 2016

Bounded rigid E-unification

Jan Rutten
Centrum Wiskunde & Informatica, The Netherlands
jjmmrutten(AT)gmail.com

13 - 20 Sep 2016

Tutorial:

Illustrating the coalgebraic method: circularity and coinduction?

(PDF 1, PDF 2)

Prakash Saivasan
University of Kaiserslautern, Germany
saivasan(AT)rhrk.uni-kl.de

18 - 24 Sep 2016

Davide Sangiorgi
University of Bologna, Italy
Davide.Sangiorgi(AT)cs.unibo.it

11 - 17 Sep 2016

Bisimulation in probabilistic higher-order languages

Ryosuke Sato
University of Tokyo, Japan
ryosuke(AT)kb.is.s.u-tokyo.ac.jp

18 - 24 Sep 2016

Modular verification of higher-order functional programs

Olivier Serre
Centre National de la Recherche Scientifique, France
Olivier.Serre(AT)liafa.univ-paris-diderot.fr

17 - 23 Sep 2016

How to decide quantitative properties for higher-order program with nature?

(PDF)

Tony Tan
National Taiwan University, Taiwan
tonytan(AT)csie.ntu.edu.tw

21 - 27 Aug 2016

Register automata as a model for local computation in distributed query evaluation

(PDF)

Andrzej Tarlecki
Univeristy of Warsaw, Poland
tarlecki(AT)mimuw.edu.pl

11 - 17 Sep 2016

Takeshi Tsukada
University of Tokyo, Japan
tsukada(AT)is.s.u-tokyo.ac.jp

18 - 24 Sep 2016

Negations in refinement intersection type systems

(PDF)

Nikos Tzevelekos
Queen Mary University of London, UK
nikos.tzevelekos(AT)qmul.ac.uk

18 - 24 Sep 2016

Nominal games: a semantics paradigm for effectful languages

(PDF)

Sebastián Uchitel
Imperial College London, UK and Universidad de Buenos Aires, Argentina
s.uchitel(AT)imperial.ac.uk

31 Aug - 12 Sep 2016

Less is more: estimating probabilistic rewards over partial system explorations

Hiroshi Unno
University of Tsukuba, Japan
uhiro(AT)cs.tsukuba.ac.jp

18 - 24 Sep 2016

Tutorial:

Applications of higher-order model checking to program verification

(PDF)

Rob van Glabbeek
Commonwealth Scientific and Industrial Research Organisation, Australia
rvg(AT)cs.stanford.edu

11 - 17 Sep 2016

Ensuring liveness properties of distributed systems (A research agenda)

(PDF)

Moshe Y. Vardi
Rice University, USA
vardi(AT)cs.rice.edu

29 Aug - 3 Sep 2016

YALE-NUS Presidential Seminar:

Humans, Machines, and Work: The Future is Now

Public Lecture:

The Automated-Reasoning Revolution: From Theory to Practice and Back

Margus Veanes
Microsoft Research, USA
margus(AT)microsoft.com

27 Aug - 6 Sep 2016

Tutorial:

Symbolic Automata and Monadic second-order logic on finite sequences

Tomas Vojnar
Brno University of Technology, Czech Republic
vojnar(AT)fit.vutbr.cz

21 Aug - 1 Sep 2016

Byte-precise verification of low-level list manipulation

(PDF)

Igor Walukiewicz
Université Bordeaux and Centre National de la Recherche Scientifique, France
igw(AT)labri.fr

10 - 21 Sep 2016

Systems with parametric thread creation

(PDF)

Soundness in negotiations

(PDF)

Bow-Yaw Wang
Academia Sinica, Taiwan
bywang(AT)iis.sinica.edu.tw

28 Aug - 2 Sep 2016

Verification problems in SPARK programs

(PDF)

Georg Weissenbacher
Technische Universität Wien, Austria
georg.weissenbacher(AT)tuwien.ac.at

27 Aug - 3 Sep 2016

Tutorial:

Interpolation algorithms and their applications in model checking

(PDF)

Yoriyuki Yamagata
National Institute of Advanced Industrial Science and Technology, Japan
yoriyuki.yamagata(AT)aist.go.jp

9 Sep 2016

Georg Zetzsche
École Normale Supérieure de Cachan, France
zetzsche(AT)cs.uni-kl.de

21 Aug - 3 Sep 2016

Monoids as storage mechanisms

Naijun Zhan
Chinese Academy of Sciences, China
znj(AT)ios.ac.cn

5 - 18 Sep 2016

Invariant-based verification and synthesis for hybrid systems

(PDF)

Formal verification of stochastic hybrid systems

Jin Song Dong
National University of Singapore
dcsdjs(AT)nus.edu.sg

22 Aug - 25 Sep 2016

Tutorial:

Tutorial on PAT

Joxan Jaffar
National University of Singapore
joxan(AT)comp.nus.edu.sg

22 Aug - 25 Sep 2016

Quang Loc Le
Singapore University of Technology and Design
quangloc_le(AT)sutd.edu.sg

22 Aug - 25 Sep 2016

Satisfiability modulo heap-based programs

(PDF)

Anthony Widjaja Lin
Yale-NUS College and National University of Singapore
anthony.w.to(AT)gmail.com

22 Aug - 25 Sep 2016

String solving with word equations and transducers: towards a logic for analysing mutation XSS

Proving liveness in parameterised probabilistic concurrent systems

David S. Rosenblum
National University of Singapore
david(AT)comp.nus.edu.sg

22 Aug - 25 Sep 2016

Mario Alvarez-Picallo
University of Oxford, UK
mario.alvarez739(AT)gmail.com

12 - 25 Sep 2016

Daniil Berezun
Saint Petersburg State University, Russia
danya.berezun(AT)gmail.com

11 - 24 Sep 2016

Zhuohong Cai
National University of Singapore
johnzhuohong(AT)gmail.com

22 Aug - 25 Sep 2016

Hongxu Chen
Nanyang Technological University
hchen017(AT)e.ntu.edu.sg

7 - 16 Sep 2016

Mirela Andreea Costea
National University of Singapore
andreeac(AT)comp.nus.edu.sg

22 Aug - 25 Sep 2016

Pablo Muñoz Fuentes
University of Chile, Chile
pablo.bmf(AT)gmail.com

28 Aug - 11 Sep 2016

Jennifer Jochems
University of Oxford, UK
jennifer.jochems(AT)cs.ox.ac.uk

11 - 25 Sep 2016

Benjamin Kaminski
RWTH Aachen University, Germany
benjamin.kaminski(AT)informatik.rwth-aachen.de

4 - 12 Sep 2016

Expected run-times of probabilistic programs

Xuan Bach Le
National University of Singapore
bachdylan(AT)gmail.com

22 Aug - 25 Sep 2016

Anup Basil Mathew
Institute of Mathematical Sciences, India
anupbasil(AT)gmail.com

21 - 28 Aug 2016

Pablo Munoz
Universidad de Chile, Chile
pmunoz(AT)dcc.uchile.cl

28 Aug - 11 Sep 2016

Filip Niksic
Max Planck Institute, Germany
fniksic(AT)mpi-sws.org

21 - 27 Aug 2016

Hitting families of schedules

(PDF)

Anantha Padmanabha
The Institute of Mathematical Sciences, India
ananthap(AT)imsc.res.in

21 - 28 Aug 2016

Adrian Rebola Pardo
Technische Universität Wien, Austria
arebolap(AT)forsyte.tuwien.ac.at

28 Aug - 5 Sep 2016

Interpolants from SAT solving certificates

(PDF)

Ramanathan Rajendiran
National University of Singapore
ramanathan(AT)comp.nus.edu.sg

22 Aug - 25 Sep 2016

Ratul Saha
National University of Singapore
ratul(AT)comp.nus.edu.sg

5 - 17 Sep 2016

Yamilet Rosario Serrano Llerena
National University of Singapore
yamis940(AT)gmail.com

22 Aug - 25 Sep 2016

Dealing with uncertainty in the verification of MDPs

Marcelo Sousa
University of Oxford, UK
marceloabsousa(AT)gmail.com

27 Aug - 6 Sep 2016

Automated verification of safety hyperproperties

Trung Ta
National University of Singapore
taqt(AT)comp.nus.edu.sg

22 Aug - 25 Sep 2016

Taku Terao
The University of Tokyo, Japan
terao1984(AT)is.s.u-tokyo.ac.jp

18 - 24 Sep 2016

Higher-order model checking in direct style

(PDF)

Thai Trinh
National University of Singapore
trinhmt(AT)comp.nus.edu.sg

22 Aug - 25 Sep 2016

Mahamarakkalage Dileepa Yasas Fernando
National University of Singapore
a0134674(AT)u.nus.edu

22 Aug - 25 Sep 2016

Verification of Nash-equilibrium for probabilistic BAR systems

(PDF)

Quanqi Ye
National University of Singapore
yequanqi(AT)u.nus.edu

22 Aug - 25 Sep 2016

Fuyuan Zhang
Nanyang Techonological University
fuzh(AT)ntu.edu.sg

1 - 9 Sep 2016

Yueling Zhang
East China Normal University, China
yueling671231(AT)163.com

21 Aug - 2 Sep 2016

A multi estimations approach for computing backbones of hard and dense propositional formulae

(PDF)

Ki Yung Ahn
Nanyang Technological University
kyagrd(AT)gmail.com

22 Aug - 25 Sep 2016

Guangdong Bai
National University of Singapore
baiguangdong(AT)gmail.com

22 Aug - 25 Sep 2016

Naipeng Dong
National University of Singapore
dongnaipeng(AT)gmail.com

22 Aug - 25 Sep 2016

Chu Duc Hiep
National University of Singapore
hiepcd(AT)comp.nus.edu.sg

22 Aug - 25 Sep 2016

Felicia Halim
National University of Singapore
felicia.halim(AT)live.com

22 Aug - 25 Sep 2016

Ross Horne
Nanyang Technological University
ross.horne(AT)gmail.com

22 Aug - 25 Sep 2016

Cyrille Jegourel
National University of Singapore
jegourel(AT)comp.nus.edu.sg

5 - 9 Sep 2016

Rare events for statistical model checking

(PDF)

Ton Chanh Le
National University of Singapore
chanhle(AT)comp.nus.edu.sg

22 Aug - 25 Sep 2016

Benedict Lee
National University of Singapore
benedictleejh(AT)gmail.com

22 Aug - 25 Sep 2016

Shang-Wei Lin
Nanyang Technological University
shang-wei.lin(AT)ntu.edu.sg

22 Aug - 25 Sep 2016

Automatic compositional verification: modern apporaches

Yun Lin
National University of Singapore
llmhyy(AT)gmail.com

22 Aug - 25 Sep 2016

Yang Liu
Nanyang Technological University
yangliu(AT)ntu.edu.sg

22 Aug - 25 Sep 2016

Abhik Roychoudhury
National University of Singapore
abhik(AT)comp.nus.edu.sg

22 Aug - 2 Sep 2016

Andrew Santosa
National University of Singapore
dcsandr(AT)nus.edu.sg

22 Aug - 25 Sep 2016

Ling Shi
National University of Singapore
shiling(AT)comp.nus.edu.sg

22 Aug - 25 Sep 2016

Guoxin Su
National University of Singapore
guoxin.su(AT)gmail.com

22 Aug - 25 Sep 2016

Asymptotic analysis in probabilistic model checking

Martin Sulzmann
National University of Singapore
sulzmann(AT)comp.nus.edu.sg

22 Aug - 25 Sep 2016

Jun Sun
Singapore University of Technology and Design
sunjun(AT)sutd.edu.sg

22 Aug - 25 Sep 2016

Alwen Tiu
Nanyang Technological University
atiu(AT)ntu.edu.sg

22 Aug - 25 Sep 2016

Intruder deduction in sequent calculus