University of Western Sydney

School of Computing, Engineering and Mathematics Seminars

Subscribe to SCEM Seminars:

RSSRSS

CalendariCal

CalendarEmail

Andreas Herzig

Affiliation: French National Center for Scientific Research

URL: http:/­/­www.irit.fr/­~Andreas.Herzig/­

Biography:

Andreas Herzig is a senior researcher at the French National Center for Scientific Research (CNRS) and works at the the Toulouse Computer Science Research Institute (IRIT). He studied computer science in Darmstadt and Toulouse and obtained a Ph.D. (1989) and a habilitation (1999) in Computer Science, both from Paul Sabatier University in Toulouse. He works at CNRS since 1990.

Andreas's main research topic is the investigation of logical models of interaction, with a focus on logics for reasoning about knowledge, belief, time, action, intention and obligation, and the development of theorem proving methods for them. He currently investigates the integration of logics of belief and group belief with theories of action, in particular in the framework of dynamic epistemic logics.

Andreas was one of the key persons who helped in setting up the Cotutelle Program between University of Western Sydney and University of Toulouse. He was the official French supervisor of our PhD graduates Masabumi Furuhata and Dengji Zhao.

Seminars given by Andreas Herzig


Logics for multi-agent systems: a critical overview

Speaker: Andreas Herzig (French National Center for Scientific Research)

Time: 21/11/2014 from 13:30 to 14:30

Venue: Access Grid UWS. Presented from Penrith (Y239), accessible from Parramatta (EB.1.32) and Campbelltown (26.1.50).

More detail


University of Western Sydney

Locked Bag 1797
Penrith South DC
NSW 1797

Tel: +61 2 9852 5222

ABN 53 014 069 881
CRICOS Provider No: 00917k