Logic in Israel

• Logic at the Technion - Israel Institute of Technology

  • S. Ben-David (shai@cs.technion.ac.il)
  • M. Kaminski (kaminski@cs.technion.ac.il)
    Non-monotonic logic, algebraic complexity theory
  • J. Makowsky (janos@cs.technion.ac.il)
    Finite model theory, descriptive complexity, datbase theory; logic in CS; model theory
  • E. Rosen (erosen@cs.technion.ac.il)
    Finite model theory
  
  Logic in Computer Science at the Technion
  Israel Institute of Technology Department of Computer Science
  Haifa Logic Seminar

• Logic at the University of Haifa

  • V. Harnik (rsma302@uvm.haifa.ac.il)
    Model theory, bounded arithmetic, categorical logic
  • L. Manevitz (manevitz@mathcs2.haifa.ac.il)
    Model theory; artifical intelligence
  • K. Peterzil (kobi@mathcs2.haifa.ac.il)
    Model theory and its applications to algebra and analysis
  
  University of Haifa Department of Mathematics

• Logic at the Hebrew University in Jerusalem

  • Prof. E. Hrushovski (ehud@math.huji.ac.il)
  • Prof. A. Levy (azriel@math.huji.ac.il)
  • Prof. M. Magidor (menachem@math.huji.ac.il)
  • Prof. M. Rabin (rabin@cs.huji.ac.il)
  • Prof. S. Shelah (shelah@math.huji.ac.il)
    Shelah's papers. This is the archive of Saharon Shelah's mathematical papers. Please send comments, constructive criticism, helpful hints and mango juice and/or wodka to (shelarch@math.rutgers.edu)
  • Dr. A. Roslanowski (roslanow@math.huji.ac.il)

  Department of Mathematics.
  Department of Computer Science.
  Israel Journal of Mathematics

• Theory of Computing at the Weizmann Institute

  • O. Goldreich (oded@wisdom.weizmann.ac.il)
    Complexity theory, cryptography, theory of computation
  • D. Harel (harel@wisdom.weizmann.ac.il)
    Computability and complexity theory (especially levels of undecidability), logics of programs (especially dynamic logic), theory of databases (especially query languages and their power), automata theory, systems engineering and visual languages (especially statecharts and the like).

• Logic at the University of Tel Aviv

  • A. Avron (aa@math.tau.ac.il)
    Mathematical logic and logic in computer science; Reasoning systems, nonstandard logics, applications of logic in CS and AI
  • M. Gitik (gitik@math.tau.ac.il)
    Set theory; Mathematical logic
  • Y. Hirshfeld (yoram@math.tau.ac.il)
    Logic; Non-standard analysis; Foundation of computer science
  • A. Rabinovich (rabino@math.tau.ac.il)
    Foundations of concurrency; Program verifications; Logic in computer science.
  • B. Trakhtenbrot (trakhte@math.tau.ac.il)
    Logic in computer science; Semantic and verification of programs; Foundations of concurrency.

  Department of Mathematics.

• Logic Bar Ilan University

  • M. Koppel (koppel@bimacs.cs.biu.ac.il)
  
  Department of Mathematics and Computer Science.

• Logic at the Ben Gurion University of the Negev

  • R. Ben-Eliyahu (rachel@cs.bgu.ac.il)
    Artificial Intelligence, Deductive Databases, and Logic Programming
  • U. Abraham (abraham@cs.bgu.ac.il)
    Set theory; mathematical logic; concurrency (in Computer Science)
  • M. Rubin (rubin@math.bgu.ac.il)
    Model theory, set theory, general topology
  
  Department of Mathematics and Computer Science.

• Logic in Non-academic Institutions

  • M. Tiomkin
    Intel Corporation
    Non-monotonic logic

Logic Colloquium 1995

• Program information
• Proceedings information

Your visit here is number this month See visit counters for many of the pages