Über uns
Hier finden Sie Informationen über unsere Mitarbeiter, Anfahrt und aktuelle Stellenangebote.
Willkommen auf der Webseite des Instituts für Informatik
Neuigkeiten
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-