News

Invited talk

Invited talk Person/Speaker: Marek Bednarczyk

Place: Am Regenbogen 15, CLZMarek Bednarzcyk from Polish Academy of Sciences will speak to our group members on "Modeling and reasoning about mobile systems with Petri Hypernets".-Marek Bednarczyk- -abstract-

CIG meeting

CIG meeting Place: Am Regenbogen 15, CLZOn Friday our regular internal meeting took place.

CIG meeting

CIG meetingPerson/Speaker: Juan Carlos Acosta GuadarramaOn Monday, Juan will finally give his presentation of his recent work on Intuitionistic Dynamic Logic Programming. This talk should have taken place two weeks ago, but was allways postponed.-Juan Guadarrama-

Preferential and Preferential-Discriminative Consequence Relations

Preferential and Preferential-Discriminative Consequence Relations Person/Speaker: Jonathan Ben-Naim

Place: Am Regenbogen 15, R210, CLZIfI kolloquia series - Jonathan Ben-Naim, from University of Marseille, will speak about his research on preferential consequence relation.-Jonathan Ben-Naim- -flyer-

CIG meeting

CIG meeting Person/Speaker: Peter Novak/Juan Guadarrama

Place: Am Regenbogen 15, CLZDuring our regular meeting Peter will present his PhD. project proposal.-Peter Novak-

Yingqian moving to Claustha

Yingqian moving to Clausthal Person/Speaker: Yingqian Zhang

Place: CLZDuring April 2005, Yingqian Zhang will move from Manchester to Clausthal-Zellerfeld in order to complete her PhD. thesis.-Yingqian Zhang-

Jürgen Dix visits Cyprus

Jürgen Dix visits Cyprus 15-21 March 2005: JD is visiting Cyprus University in Nicosia, Cyprus and invited as expert avaluator in the promotion committe of Yannis Dimopoulos from assistant to associate Professor.

2nd part of Frank's talk

2nd part of Frank's talk Person/Speaker: Frank Stamm

Place: Seminarraum, Am Regenbogen 15, CLZFrank will give the second part of his Friday talk on Static Analysis of Java programs.-Frank Stamm-