Keynote Lectures

Jos Baeten, Eindhoven University of Technology, Department of Mathematics and Computer Science, Netherlands
Keynote talk: Turing and concurrency
 
Stevo Bozinovski, South Carolina State University, Department of Mathematics and Computer Science, USA
Keynote talk: Controlling robots using EEG signals, since 1988
 
Svein Johan Knapskog, Norwegian University of Science and Technology, Trondheim
Keynote talk: Internationally Standardized Efficient Cryptographic Hash Function
 
Aleksandar Nanevski, IMDEA Software Institute, Madrid, Spain
Keynote talk: How to make ad hoc proof automation less ad hoc
 
Jurij TasiÄ, University of Ljubljana, Faculty of Electrical Engineering, Slovenia
Keynote talk: Telemedicine Research Activities