Newsticker

• Submission for DASMOD Workshop on Formal Verification of Adaptive Systems is now open (Deadline: 29 June 2007).

2006

• 31 July - 13 August 2006: First DASMOD Summer School was successfully conducted.
• 17 July 2006: Colloq. CS talk: Prof. Dr. Ingolf Krüger (University of California): Service-Oriented and Systems Engineering -- A Vision for the Automotive Domain, 17.15 h, 46-280
• 10 July 2006: DASIS talk: Salvador Trujillo, "Web Product-line Manufacturing"

• 23 June 2006: KryFoVe talk: Sergiy Ovsienko: "Representation Theory and Commutative Algebra"
• 19 June 2006: Colloq. CS talk: Prof. Dr. Ben Shneiderman (Dept. of Computer Science, Univ. of Maryland): "Creativity Support Tools: A Grand Challenge"
• 9 June 2006: DASIS talk: Jaejoon Lee, "DASIS: Research Concepts and Directions"
• June 2006: MeStE talk: Hagen Knaf: Kern-Fisher-Diskriminanzanalyse aus analytischer Sicht [Slides]

• 24 May 2006: KryFoVe talk: Christopher Hillar: "Finite Generation of Symmetric Ideals in Infinite Dimensional Polynomial Rings"

• 18 January 2006: KryFoVe talk: Ruud Pellikaan: "Decoding cyclic codes with Groebner bases"
• 18 January 2006: KryFoVe talk: Stanislav Bulygin: "Decoding algebraic-geometric codes with Groebner bases"

2005

• 8 December 2005: KryFoVe talk: Le Van Schroeer: "Kryptographie im Staatsdienst";
• 8 December 2005: KryFoVe talk: Stanislav Bulygin: "Non-Commutative Polly Cracker Cryptosystem Security Issues"