Time: 11-13 Sunday.

- 24/5/98

Ofer Arieli

The logical role of the four-valued bilattice.

- 17/5/98

Werner Nutt

Deciding Equivalences among Aggregate Queries.

- 10/5/98

Daniel Lehman

Nonmonotonic Logics and Semantics.

- 3/5/98

Michael Dekhtiar

Dynamic Data bases.

- 26/4/98

Boris Trakhtenbrot

From Control to Hybride Systems. A survey of papers by Sontag and Artstein.

- 19/4/98

Boris Trakhtenbrot

From Control to Hybride Systems. A survey of papers by Sontag and Artstein.

- 5/4/98

Andrei Voronkov

Herbrand's theorem, automated deduction and semantic tableaux.

- 29/3/98

Georg Gottlob

EXISTENTIAL SECOND ORDER LOGIC OVER STRINGS.

- 8/3/98

Yehuda Afek

On power of synchronization primitives.

- 15/3/98

Mooly Sagiv

Parametric Analysis of Storage Inveriants via Three value Logic.

- 1/2/98

Menachem Vinikurov

Transition Traces and Full Abstraction for Shared-Variable Parallel Languages.

- 18/1/98

Yoram Hirshfeld

Game semantics.

- 11/1/98

A. Rabinovich .

Definability and Undefinability with real order at the background.

- 4/1/98

Nachum Derchovitz

- 21/12/97

Doron Peled.

Automatic verification and Related Algorithms.

- 14/12/97

Orna Kupferman.

Branching-time model checking.

- 7/12/97

A. Rabinovich .

Definability and Undefinability with real order at the background.

- 29/11/97

A. Avron .

Safety in databases and in Set theory- the common underlying principles.

- 22/11/97

A. Rabinovich.

Symbolic Model checking for $\mu$-calculus requires EXPTIME.

- 17/11/97

Boaz Trakhtebrot.

Some Slogans concerning Hybrid Systems

- List of the talks in 1996