[DL] Workshop in memory of Harald Ganzinger

[WPLHG05 Organising Committee]

Call for Participation

Workshop on Programming Logics
in memory of Harald Ganzinger
Saarbrücken, June 3 and 4, 2005

http://www.mpi-sb.mpg.de/conferences/WPLHG05/

The Max-Planck Institute for Informatics and the Department of
Computer Science at Saarland University will organize a workshop on
Programming Logics to commemorate the life and scientific achievements
of Harald Ganzinger on the first anniversary of his sad and untimely
death. The programme will include an official commemoration of Harald
Ganzinger, and a joint workshop dinner in the building of MPI.

Colleagues and friends close to Harald will give talks covering the
variety of research areas Harald has worked in.  A preliminary
programme is attached below.

We are collecting contributions for a Springer LNCS volume in memoriam
of Harald Ganzinger; every workshop participant will receive the
volume.

Please register at http://www.mpi-sb.mpg.de/conferences/WPLHG05/.  
In order to facilitate the planning of the meals and the workshop
dinner, participants are asked to register even if they participate
only in parts of the event.

The organisers (Andreas Podelski, Andrei Voronkov and Reinhard Wilhelm).

=== Preliminary Programme ===

=== Friday June 3rd ===

9:00 - 10:00 
  
Opening (Reinhard Wilhelm)

Andrei Voronkov (and Roberto Nieuwenhuis)
The Scientific Life of Harald Ganzinger

10:30 - 12:30

Christopher Lynch
Constructing Bachmair-Ganzinger Models

Nachum Dershowitz
tba

Robert Nieuwenhuis
First-order theorem proving by constraint propagation and by local search
 
David Plaisted (and Swaha Miller)
The Relative Power of Semantics and Unification.

13:30 - 15:00

Deepak Kapur
Will Algebraic Geometry Rescue Program Verification?

Pierre Lescanne
Experiments in higher order epistemic logic with common knowledge 
using a proof assistant.

Claude Kirchner, H{\'e}l{\`e}ne Kirchner, Fabrice Nahon
Narrowing based Inductive Proof Search

15:30 - 16:30

Leszek Pacholski
Guarded Logics

Manfred Jaeger
The probabilistic guarded fragment

16:45 - 17:45

Renate Schmidt
First-Order Resolution Methods for Modal Logics

Witold Charatonik
Set constraints

18h Commemoration of Harald Ganzinger

19h Joint Workshop Dinner 

=== Saturday June 4th ===

9:00 - 10:15

Neil Jones 
Programs as Data Objects [short talk on collaboration with Harald]

Manfred Broy
Reasoning on feedback under lack of time

Frank Pfenning
Linear Logical Algorithms

10:30 - 11:30

David McAllester:
Logical Algorithms and Generalized A* in Computer Vision and NLP

Moshe Y. Vardi
Alternation as an Algorithmic Construct

11:45 - 12:45

Jean-Pierre Jouannaud
tba

Christoph Meyer-Kirsch
Real-Time Programming with Logic Execution Times

13:30 - 14:30

Robert Giegerich:
The Power of Abstraction in Biosequence Analysis.

Alexander Bockmayr
Bio-Logics : Logic modeling of bioregulatory networks

15:15 - 16:45

Viorica Sofronie-Stokkermans
tba

Uwe Waldmann
tba

Hans de Nivelle (and Ruzica Piskac)
Verification of a Result Checker in Saturate

17:00 - 18:00

Reinhard Wilhelm
>From Predicate Abstraction via Canonical Abstraction to Topology Abstraction

Andreas Podelski (and Andrey Rybalchenko)
Software Model Checking for Termination and Liveness