News Archive
CIG meetingFrom: 08.07.2005CIG meeting Person/Speaker: Wojtek Jamroga Place: R210, Am Renegbogen 15, CLZDuring our regular CIG...[more] IfI KolloquiaFrom: 06.07.2005IfI Kolloquia Person/Speaker: Dr. Thomas Villmann Place: T4, Tannenhoehe, CLZOn Wednesday, 06.07.2005...[more] CLIMA Contest 2005From: 28.06.2005CLIMA Contest 2005 Person/Speaker: Juergen Dix/Peter Novak Place: City University, London,...[more] CIG meetingFrom: 17.06.2005CIG meeting Person/Speaker: M. Glagow/M. Heilgeist Place: Am regenbogen 15, CLZDuring our regular CIG meeting, our students will refer on their finished student projects. Matthias Glagow: Analyse von Nachbarschaftsoperatoren...[more] CIG meetingFrom: 03.06.2005CIG meeting Place: Am Regenbogen 15, CLZOn Friday we will hold our regular CIG meeting.[more] IfI kolloquiaFrom: 27.05.2005IfI kolloquia Person/Speaker: Prof. Jan Sefranek Place: Hoersaal T4, Tannenhoehe, CLZProf. Jan Sefranek from Comenius University Bratislava will speak the work of his group on "Logic program updates from the viewpoint of...[more] IfI kolloquiaFrom: 09.05.2005IfI kolloquia Person/Speaker: Dr. Rolf Wuertz Place: Hoersaal A, Erzstr. 1, CLZIn the invited talk within our IfI kolloquia series, Rolf Wuertz from Ruehr Universitaet Bochum, will speak on "Organic Computing for Face and...[more] Invited talkFrom: 09.05.2005Invited 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...[more] CIG meetingFrom: 06.05.2005CIG meeting Place: Am Regenbogen 15, CLZOn Friday our regular internal meeting took place.[more] CIG meetingFrom: 18.04.2005CIG meeting Person/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...[more] Preferential and Preferential-Discriminative Consequence RelationsFrom: 15.04.2005Preferential 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...[more] CIG meetingFrom: 08.04.2005CIG meeting Person/Speaker: Peter Novak/Juan Guadarrama Place: Am Regenbogen 15, CLZDuring our regular meeting Peter will present his PhD. project proposal.-Peter Novak- [more] Yingqian moving to ClausthaFrom: 05.04.2005Yingqian 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- [more] Jürgen Dix visits CyprusFrom: 15.03.2005Jü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.[more] 2nd part of Frank's talkFrom: 14.03.20052nd 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- [more] CIG meetingFrom: 11.03.2005CIG meeting Person/Speaker: Frank Stamm Place: Seminarraum, Am Regenbogen 15, CLZDuring our regular group meeting, Frank will speak on Static Analysis of Java Programs.-Frank Stamm- [more] AgentLink III - Technical Forum 2From: 28.02.2005AgentLink III - Technical Forum 2 Person/Speaker: Peter Novak Place: Ljubljana, SloveniaFrom 28.02.2005 till 02.03.2005 Peter Novak attended AL3-TF2 meeting in Slovenia.-AL3-TF2- [more] CIG meetingFrom: 25.02.2005CIG meeting Person/Speaker: Juergen Dix Place: Am Regenbogen 15, CLZJuergen will speak about his recent work on HTN planning with ASP.-Juergen Dix- [more] CIG meetingFrom: 18.02.2005CIG meeting Place: Am Regenbogen 15, CLZAgain no talk is prepared (although Juergen's was planned, but canceled later) so just internal stuff will be discussed again.[more] CIG meetingFrom: 11.02.2005CIG meeting Place: Am Regenbogen 15, CLZWe are about to have a regular meeting on Friday. No talk is planned for this, just internal matters will be discussed.[more] |
|