Institut for Datalogi: News Archive

2011
October 2011: 1 item
September 2011: 1 item
August 2011: 2 item(s)
July 2011: 2 item(s)
June 2011: 2 item(s)
May 2011: 1 item
February 2011: 2 item(s)
January 2011: 1 item
2010
December 2010: 1 item
November 2010: 1 item
July 2010: 2 item(s)
June 2010: 2 item(s)
May 2010: 2 item(s)
April 2010: 1 item
March 2010: 2 item(s)
February 2010: 1 item
January 2010: 1 item
2009
December 2009: 1 item
November 2009: 4 item(s)
October 2009: 2 item(s)
September 2009: 1 item
August 2009: 1 item
July 2009: 1 item
May 2009: 3 item(s)
April 2009: 1 item
February 2009: 1 item
2008
December 2008: 1 item
October 2008: 2 item(s)
September 2008: 2 item(s)
August 2008: 3 item(s)
July 2008: 1 item
June 2008: 4 item(s)
May 2008: 1 item

Wednesday, 29. October 2008

Seminar on" Formal Verification of Object-oriented Software"

Peter Schmitt from Universität Karlsruhe will give a seminar on "Formal Verification of Object-oriented Software" on Monday, November 10. The seminar takes place in room 0.2.90 at 14.30. Abstract: ...[more]

Wednesday, 29. October 2008

Seminar on "Why Functional Programming Matters in Practice"

Christian Kirkegaard from Netcompany will give a seminar on "Why Functional Programming Matters in Practice" on Thursday, November 6. The seminar takes place in room 0.2.90 at 13.00. Please find abstract and further...[more]