max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

List of invited participants

for the workshop Constraints and Verification

Name Institution visit dates Title of Talk
Abdullah, P Uppsala University 8 May - 12 May Language Inclusion for Timed Automata
Alechina, N University of Nottingham 8 May - 12 May
Amir, E University of Illinois 8 May - 12 May Compact Propositional Encodings of First-Order Theories
Ben-Amram, A The Academic College of Tel-Aviv Yafo 7 May - 12 May
Berstel, B ILOG SA 7 May - 12 May
Bierman, G Microsoft Research Cambridge 8 May - 12 May
Boigelot, B Universite de Liege 8 May - 12 May
Bordeaux, L Microsoft Research Ltd 8 May - 12 May
Bouajjani, A University of Paris 7 8 May - 12 May Reasoning about dynamic networks of counter systems
Bradley, A Stanford University 7 May - 12 May Solving Verification Constraint Problems with Constraint Programming
Brihaye, T Universite de Mons-Hainaut 8 May - 12 May
Cardelli, L Microsoft Research Cambridge 8 May - 12 May
Charatonik, W University of Wroclaw 7 May - 12 May
Chevalier, Y IRIT, Universite Paul Sabatier 7 May - 12 May
Clarke, E Carnegie Mellon University 7 May - 12 May Bounded Model Checking in Hardware and Software
Cook, B Microsoft Research Cambridge 8 May - 12 May Proving termination of programs
Cook, S University of Toronto 8 May - 12 May
Cotton, S Verimag 7 May - 13 May Satisfiability modulo theory chains with DPLL(T)
Cousot, P ENS - DI 7 May - 12 May Program Verification by Parametric Abstraction and Semi-Definite Programming
Cousot, R ENS - DI 7 May - 12 May
Dams, D Lucent Technologies 8 May - 12 May Feasibility Checking in Static Analysis
Dawar, A University of Cambridge 8 May - 12 May
Dechter, R University of California 7 May - 12 May Generalizing BDD Trees Using Minimal AND/OR Graphs
Delzanno, G Universita di Genova 7 May - 12 May
Etessami, K University of Edinburgh 7 May - 12 May
Fiore, M University of Cambridge 8 May - 12 May
Fisler, K Worcester Polytechnic Institute 8 May - 12 May Parameterized Interfaces for Open System Verification of Product Lines
Fix, L Intel Corporation 7 May - 12 May Coverage in Formal Verification
Fournet, C Microsoft Research Cambridge 8 May - 12 May
Ghafari, NH University of Waterloo 8 May - 12 May
Giunchiglia, E DIST - Universita di Genova 7 May - 12 May State of the art in QBF reasoning, with emphasis on applications in FV
Gordon, A Microsoft Research Cambridge 8 May - 12 May
Gordon, M University of Cambridge 8 May - 12 May
Gotsman, A University of Cambridge 8 May - 12 May
Griffin, T University of Cambridge 8 May - 12 May
Grumberg, O G TECHNION - Israel Institute of Technology 9 May - 12 May Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
Gupta, A NEC Labs America 7 May - 12 May Enhancing Software Model Checking with Static Program Analysis
Hamadi, Y Microsoft Research Ltd 7 May - 12 May
Hanna, Z Intel Corp 7 May - 12 May Logic Verification challenges in System Level Design at Intel
Havlicek, J Freescale, Inc. 7 May - 12 May Constraints in Hardware Verification: Some Industrial Perspectives
Hella , L University of Tampere 8 May - 12 May
Hill , P University of Leeds 8 May - 12 May
Hoare, T Microsoft Research Cambridge 8 May - 12 May
Hunter, P University of Cambridge 8 May - 12 May
Hyland, M University of Cambridge 8 May - 12 May
Jeavons, P Oxford University 7 May - 12 May
Jemni Ben Ayed, L Ecole Superieure des Sciences 8 May - 12 May
Junker, U ILOG 7 May - 12 May Return of the JTMS: Preferences Orchestrate Conflict Learning and Solution Synthesis
Jurdzinski, M University of Warwick 7 May - 12 May Time Average Games
Klaedtke, F ETH Zentrum 8 May - 12 May
Klarlund, NK Google Inc 7 May - 12 May
Krajicek, J Mathematical Institute, AS CR 8 May - 12 May
Kreutzer, S Humboldt-Universitat zu Berlin 8 May - 12 May
Kroening, D ETH Zentrum 7 May - 11 May Model Checking C++ Programs that use the STL
Krokhin, A University of Durham 7 May - 12 May
Kulesza, K University of Cambridge 8 May - 12 May
Kullmann, O University of Wales, Swansea 7 May - 12 May
Kwiatkowska, M Z University of Birmingham 8 May - 12 May Model checking for probabilistic timed automata: Methods, applications and tools
Leconte, M ILOG SA 7 May - 12 May
Legay, A University of Liege 7 May - 12 May
Lisitsa, A University of Liverpool 7 May - 11 May Uniform testing + supercompilation = verification
Lugiez, D CMI 7 May - 12 May Symbolic Constraint Solving for Cryptographic Protocols
Madelaine, F University of Durham 8 May - 12 May
Maler, O Verimag 8 May - 12 May Controller Synthesis with Adversaries
Manna, Z Stanford University 8 May - 12 May From Verification Conditions to Constraints
Marques-Silva, J University of Southampton 7 May - 12 May Towards More Efficient SAT-Based Model Checking
Martin, B University of Durham 8 May - 12 May
Martin, U Queen Mary, University of London 8 May - 12 May
McMillan, K Cadence Berkeley Labs 7 May - 12 May Consequence Generation, Interpolants and Invariant Discovery
Michaux, C Universite de Mons-Hainaut 8 May - 12 May
Middeldorp, A University of Innsbruck 7 May - 12 May
Mitchell, D Simon Fraser University 7 May - 12 May Modelling with FO(ID); Solving with SAT
Mukhopadhyay, S West Virginia University 7 May - 12 May
Nain, S Rice University 8 May - 12 May
Namjoshi, K Bell Labs 8 May - 12 May Incremental Model Checking
Naveh, Y IBM Research Lab in Haifa 7 May - 12 May Constraint Satisfaction for Random Generated Stimuli
Nicolini, E Universita degli Studi di Milano 7 May - 12 May
Pitts, A University of Cambridge 8 May - 12 May
Podelski, A Max-Planck-Institut fuer Informatik, Saarbruecken 8 May - 12 May
Puget, JF ILOG 7 May - 12 May State of the Art in Constraint Programming Solvers
Qadeer, S Microsoft Research 8 May - 12 May Verifying properties of well-founded linked lists
Raskin, JFR Universite Libre de Bruxelles 7 May - 12 May
Revesz, P Max-Planck-Institut fuer Informatik, Saarbruecken 8 May - 12 May
Rozier, KY Rice University 8 May - 12 May
Rybalchenko, A Max-Planck-Institut fuer Informatik, Saarbruecken 8 May - 12 May
Sakallah, K University of Michigan 7 May - 13 May A Progressive Approach to Solving Satisfiability Modulo Theories (SMT)
Sankaranarayanan, S NEC Labs America 7 May - 13 May Polyhedral Analysis of Systems Software
Sebastiani, R Universita di Trento 7 May - 12 May
Sistla, P University of Illinois at Chicago 7 May - 13 May
Tabakov, D Rice University 8 May - 12 May
Ternovska, E Simon Fraser University 8 May - 12 May
van Dongen, M University College Cork 7 May - 13 May
Vardi, M Rice University 8 May - 12 May
Verma, R University of Houston 7 May - 12 May
Vollmer, H Universitaet Hannover 8 May - 12 May
Vorobyov, S Uppsala University 7 May - 12 May
Winskel, G University of Cambridge 8 May - 12 May
Wolper, P Université de Liège 10 May - 12 May On the Use of Automata for Representing Arithmetic Constraints
Zucchelli, D Universita degli Studi di Milano 7 May - 12 May