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 | |