Invited Speakers
We are looking forward to the presentations of the the following invited speakers:
- Nikolaj Bjorner, Microsoft Research Redmond, WA, USA
- Yuri Matiyasevich, Steklov Institute of Mathematics, St. Petersburg, Russia
- Robert Nieuwenhuis, Technical University of Catalonia, Barcelona, Spain
- Nicole Schweikardt, University of Frankfurt, Germany