LES JEUDIS DES SCIENCES
de la Faculté des Sciences,
de la Technologie et de la Communication
de l’Université du Luxembourg

COLLOQUIUM GENERALE
der Naturwissenschaftlich-Technischen Fakultät
der Universität Luxemburg

99e conférence  Semestre XIV

6 mars 2008  17h30

Auditoire B02  Campus Kirchberg  Université du Luxembourg

On logic and network reasoning

Dov Gabbay  King’s College London

Let us consider the human agent in his daily activity. We ask: what
‘logic’ does he have in his head? Current relevant buzz words circulating
in the community are, among others: time, action, knowledge, belief,
revision, deduction, learning, context, neural nets, probabilistic nets,
argumentation nets, consistency, etc, etc. We want to understand what
kind of integrated logic engine the human uses in his daily activity.

Dov Gabbay (*1945) studied mathematics and physics at the Hebrew
University of Jerusalem and obtained a PhD in logic in 1969. He was
assistant professor and associate professor at Stanford University, and
associate and full professor at Bar-Ilan University in Ramat Gan. He
became professor of computing at Imperial College in 1983 and Augustus
De Morgan Professor of Logic at King’s College in 1998. He is an external
fellow of the Royal Society of Canada, a fellow of the Alexander von
Humboldt Foundation and a fellow of the Royal Society of Arts. He held
visiting positions at Oxford, Tübingen, Munich, Stuttgart and Saarbrücken.
One of the world’s most active and influential researchers in logic, he is
the author  of  over three hundred research papers  and over twenty
research monographs and initiated several new and active research areas.
He is an editor of several international journals, and over fifty handbooks
of logic.  He chaired and founded several international conferences and
learned societies in the field of logic. The Université Paul Sabatier
Toulouse 3 conferred him a Doctor honoris causa.

Prochaines conférences  Nächste Vorträge

20 mars 100e conference
Ist die Welt aus Atomen aufgebaut oder aus Gedanken?
Richard David Precht

10 avril 101e conférence
La communication scientifique dans l’Europe des 17e et 18e siècles
Jeanne Peiffer Centre Alexandre Koyré, Paris

24 avril 102e conférence
Siebenhundert Jahre glänzender Stahl
Jean Lamesch ArcelorMittal

8 mai 103e conférence
Toxikologische Effekte von kleinmolekularen Umweltsubstanzen
Brunhilde Blömeke Universität Trier

22 mai 104e conférence
Heterogeneous parallel and distributed computing
Howard Siegel Colorado State University, Fort Collins

5 juin 105e conference

19 juin 106e conference