9th Panhellenic Logic Symposium

July 15-18, 2013
National Technical University of Athens, Greece

Invited Talks

  • Alexander Kechris, Professor of Mathematics, California Institute of Technology, USA.

    Diploma, Mechanical & Electrical Engineering, National Technical University of Athens, 1969.
    Ph.D., Mathematics, UCLA, 1972.

    Research interests: Foundations of mathematics, mathematical logic and set theory, their interactions with analysis and dynamical systems.

  • Phokion Kolaitis, Professor of Computer Science, University of California at Santa Cruz, USA.

    Diploma in Mathematics, University of Athens, Greece, 1973.
    M.A. in Mathematics, University of California, Los Angeles, 1974.
    Ph.D. in Mathematics, University of California, Los Angeles, 1978.

    Research interests: Principles of database systems, logic in computer science, computational complexity.

  • Manolis Koubarakis, Professor of Computer Science, University of Athens.

    B.Sc. in Mathematics, University of Crete, 1986.
    M.Sc. in Computer Science, University of Toronto, 1988.
    Ph.D. in Computer Science, National Technical University of Athens, 1994.

    Research interests: Artificial intelligence, knowledge representation, databases, semantic web, peer-to-peer and grid computing.

  • Judy Pelham, Associate Professor of Philosophy, York University, Canada.

    B.A. in Philosophy , Dalhousie University, 1983.
    M.A. in Philosophy, Simon Fraser University, 1985.
    Ph.D. in Philosophy, University of Toronto, 1993.

    Research interests: Philosophical logic, work of Bertrand Russell and the history of early analytic philosophy, psychology of reasoning.

  • Dimitris Plexousakis, Professor of Computer Science, University of Crete.

    B.Sc. in Computer Science, University of Crete, 1988.
    M.Sc. in Computer Science, University of Toronto, 1990.
    Ph.D in Computer Science, University of Toronto, 1996.

    Research interests: Knowledge representation and reasoning, conceptual modelling, knowledge-based management systems, semantic web, web-based information systems, peer-to-peer data management, digital libraries, service-oriented architectures.