Talks in 2003-2004

	Date	Speaker	Title
	2 November	Nachum Dershowitz (TAU)	Abstract Fair Inference
	9 November	Anatol Slisenko (University of Paris 12)	Preservation of Properties For Implementations of Distributed Real-Time Abstract State Machines
	16 November	Alexander Nadel (TAU)	The Jerusat SAT Solver
	23 November	Arnon Avron (TAU)	Applications of Logics Based on Non-deterministic Multiple-valued Structures
	30 November	Arnon Avron (TAU)	Applications of Logics Based on Non-deterministic Multiple-valued Structures
	7 December	Alex Rabinovich (TAU)	Arity hierarchy for Temporal Logics
	14 December	Greta Yorsh (TAU)	Title: Selected topics from Dagstuhl seminar on Applied Deductive Verification. Arity hierarchy for Temporal Logics
	21 December	Hanucka Holidays
	28 December	Doron Peled (Warwick)	Black Box Checking
	4 January	M. Dekhtyar (Tver University)	The complexity of Multiagent Systems Behavior
	11 January	Alexander Glikson (Technion)	Evaluating generally intractable graph properties on graphs generated by graph grammars
	18 January	Udi Boker	Comparing Computational Power
	25 January	Daniel Lehmann (HU)	The logic of quantum measurements
	30 March	Udi Boker (TAU)	Comparing Computational Power -Part 2
	20 April	Iddo Tzameret (TAU)	Title: Basic Bounded Arithmetic
	27 April	Yom Atzmaut
	4 May	Alon Brook (TAU)	Kolmogorov complexity, results in recursion theory.
	11 May	Chris Cornelis, Gent University	A "broad" view of fuzzy logic
	18 May	Eyal Amir, UUIC	Dividing and Conquering Logic
	1 June	Mooly Sagiv (TAU)	Separation Logic
	8 June	Arnon Avron (TAU)	The Use of Static Abstract Terms in Formalizing Set Theories

List of the talks in 2002-2003