Higher-Order Model Checking

Icon

NII Shonan Meeting Seminar 078

Participants

  • Pierre Clairambault, CNRS & ENS Lyon, France
  • Amina Doumane PPS, Université Paris Diderot, France
  • Charles Grellois, Université Paris Diderot & University of Dundee France
  • Marco Gaboardi, University of Dundee, UK
  • Matthew Hague Royal Holloway, University of London, UK
  • Atsushi Igarashi, Kyoto University, Japan
  • Jennifer Jochems, University of Oxford, UK
  • Neil Jones DIKU, University of Copenhagen, Denmark
  • Naoki Kobayashi, The University of Tokyo, Japan
  • Martin Lange, University of Kassel, Germany
  • Martin Lester, University of Oxford, UK
  • Rupak Majumdar, MPI-SWS, Germany
  • Paul-André Melliès, CNRS, University Paris Diderot, France
  • Roland Meyer, TU Kaiserslautern, Germany
  • Matthew Might, University of Utah, USA
  • Yasuhiko Minamide, Tokyo Institute of Technology, Japan
  • Andrzej Murawski, University of Warwick, UK
  • Luke Ong, University of Oxford, UK
  • Pawel Parys, University of Warsaw, Poland
  • Steven Ramsay, University of Oxford, UK
  • Jakob Rehof, Dortmund Technical University, Germany
  • Sylvain Salvati, INRIA, France
  • Ryosuke Sato, University of Tokyo, Japan
  • Techie Terauchi, JAIST, Japan
  • Peter Thiemann, Universität Freiburg, Germany
  • Takeshi Tsukada, The University of Tokyo, Japan
  • Nikos Tzevelekos, Queen Mary University of London, UK
  • Hiroshi Unno, University of Tsukuba, Japan
  • David Van Horn, University of Maryland, USA
  • Igor Walukiewicz CNRS,  Bordeaux, France
  • Georg Zetzsche, LSV Cachan, Germany