Invited Speakers

Invited Speakers

  • Jan Bouwe van den Berg (VU Amsterdam, Netherlands)
  • Claude-Pierre Jeannerod (Inria / ENS Lyon, France)
  • Jean-Pierre Merlet (Inria Sophia Antipolis, France)
  • Mitsuhiro T. Nakao (Waseda University, Japan)
  • TBA (Winner of R. E. Moore Prize 2018)

Plenary Session Speakers on Tools and HPC

  • Florian Bünger (Hamburg University of Technology, Germany)
  • Takeo Hoshi (Tottori University, Japan)
  • Masahide Kashiwagi (Waseda University, Japan)
  • David P. Sanders (National Autonomous University of Mexico, Mexico)