max planck institut
informatik
informatik
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 | |