Invited Speakers
Aristotle University of Thessaloniki, Greece
Professor with the Department of Informatics of the Aristotle University of Thessaloniki. He has been with the University of Toronto, the University of Maryland at College Park and the University of Cyprus. He has also served as Rector of the University of Western Macedonia in Greece, Head of his own department, and Vice-Chair of the Greek Computer Society. His research interest focuses in Data Management
Title of the Speech: “Scientometric-based methods for ranking scientists, journals and
universities: A critical review”
KTH Royal Institute of Technology, Stockholm, Sweden
Associate Professor at the Department of Theoretical Computer Science (TCS) of the School of Computer Science and Communications (CSC) of the Royal Institute of Technology (KTH) in Stockholm. His main research interest is program correctness, with focus on compositional reasoning. He is currently focused on: Program models and logics for software verification, Modelling and verification of Software Product Lines and security and privacy.
Title of the Speech: Modular Software Verification
Prof. Assoc. Martin Martin Bastiaans
IEEE Region 8 Director
R8 Director 2013-2014 / R8 Director-Elect 2011-2012 / Past Chair MGA Student Activities Committee (2010) / Past R8 Student Paper Contest Coordinator (1999-2009) / Past Chair R8 Student Activities Committee (2007-2008) / Past Chair Benelux Section (2007-2008).
Title of the Speech: A short overview of IEEE
