Institute of Software Engineering and Compiler Construction
- 1:
Teaching. - 2: Research.
- 2.1:
Topics.- 2.1.1:
Constraint Handling Rules.- 2.1.1.1:
News and Events. - 2.1.1.2: Projects.
- 2.1.1.3: People.
- 2.1.1.4: Publications.
- 2.1.1.5: More information.
- 2.1.1.1:
- 2.1.2: Constraint Programming.
- 2.1.3: Experimental software engineering.
- 2.1.4: Integrating conventional and formal methods of software engineering.
- 2.1.5: Model Driven Development.
- 2.1.6: Program transformation.
- 2.1.7: Requirements engineering.
- 2.1.1:
- 2.2: Theses.
- 2.3: Projects.
- 2.4: Publications.
- 2.5: Publications of External Ph.D. Students.
- 2.6: Events.
- 2.1:
- 3: Staff.
- 4: Contact.
2011
- Prof. Frühwirth is program committee member of the FroCos 2011 (October)
- Frank Raiser leaves the CHR research group (March)
2010
- Hariolf Betz leaves the CHR research group (December)
- Frank Raiser finishes his dissertation with distinction (November)
- Prof. Frühwirth is program committee member of the LPAR 2010 (October)
- Frank Raiser is program committee member of the WLP 2010 workshop (September)
- Frank Raiser is program committee member of the MOC 2010 workshop (September)
- Frank Raiser,Hariolf Betz and Prof. Frühwirth give invited talks at the CHR Summer School (August)
- Prof. Frühwirth is organizer of the CHR Summer School (August)
- Prof. Frühwirth is program committee member of the ICLP 2010 (July)
- Prof. Frühwirth gives a CHR Tutorial at the occasion of the CHR2010 workshop (July)
- Prof. Frühwirth and Frank Raiser are program committee members of the CHR2010 workshop (July)
- Andrea Triossi from INFN (Padova, Italy) makes a research visit for one week (June)
- Prof. Frühwirth holds invited talk on Constraint Handling Rules at the university of Manchester (May)
- Prof. Frühwirth is in the jury for the PhD defense of Peter van Weert (April)
- Prof. Frühwirth is program committee member of SAC 2010 (March)
- Ahmed Magdy Hamed Mohamed and Ayman Adel Abdelaal from the German University Cairo are visiting for their bachelor theses (Februar-Juni)
2009
- Dr. Andreas Falkner (Siemens AG Austria) visits the CHR research group Ulm to discuss possible solutions to current industry problems. (December).
- The CHR Working Week is held at Ulm University (5th-9th October)
- The CHR 2009 workshop is held in Pasadena, CA (July).
- New book Constraint Handling Rules by Prof. Frühwirh available, published by Cambridge University Press (Juli)
- Prof. Frühwirth holds the Compact Spring Course on Constraint-Based and Rule-Based Programming in Venice (Mai)
- Frank Raiser is program committee member of WLP 2009 (September).
- Prof. Frühwirth and Hariolf Betz are program committee members of the CHR 2009 workshop (July).
- Frank Raiser is organizer of the CHR 2009 workshop (July).
- Frank Raiser is program committee member of MOC 2009 (October).
- Prof. Frühwirth is program committee member of ICLP 2009 (July).
2008
- Prof. Frühwirth is co-editor of the book Current Research Topics on CHR.
- Prof. Frühwirth is in the jury for the PhD defense of Jon Sneyers (November).
- Mathias Wasserthal begins his diploma thesis on "Konzeption und Realisierung einer Eclipse-basierten Analyse-Platform für Graphtransformationen in CHR" (November).
- LGFG-Stipend of Hariolf Betz is completed (October).
- Prof. Frühwirth is a member of the program comittee of MOC 2008 (September).
- Ingi Sobhi works in DFG Project GLOB-CON - Rule-Based Propagation of Global Constraints (March-August)
- Noran H. Azmy from the GUC works on her BSc thesis on Proving Properties of CHR Programs Using Petri Nets in Ulm (March - August).
- The 5th Workshop on Constraint Handling Rules, CHR 2008 is organized by Frank Raiser und Prof. Frühwirth (July).
- Dr. Marc Meister finishes his PhD on Efficient Declarative Programming (July).
- PhD student Jon Sneyers from K.U. Leuven in Belgium is visiting for a month (April).
- Prof. Frühwirth is a member of the program comittee of SAC 2008 (March).
2007
- LGFG grant for Hariolf Betz extended for another year.
- Frank Raiser reassigned as scientific assistant under Prof. Frühwirth (November 2007).
- Marc Meister resigns from his position as scientific assistant (October 2007).
- Ph.D. student Paolo Tacchella from Bologna vists for a week in October in order to develop a proposal for third-party funds.
- Updated version of WebCHR with sicstus4 support by Martin Käser.
- 4th Workshop on Constraint Handling Rules, CHR 2007 co-located with ICLP 2007 in Porto, Portugal, 8. September 2007.
- New CHR constraint team website (this one) with new URL http://www.informatik.uni-ulm.de/pm/chr/ by Marc Meister (June 2007).
- Thom Frühwirth is program committee member of CP 2007.
- Frank Raiser reassigned to DFG Project GLOB-CON - Rule-Based Propagation of Global Constraints (June 2007).
- Khalil Djelloul resigns (May 2007).
- Jacques Robin (UFPE Recife) visists (May 2007).
- Ph.D. student Paolo Tacchella from Bologna visiting for three months till April 2007. Research Interests: Unfolding in CHR.
2006
- Frank Raiser joins research team with a Ph.D. grant (November 2006).
- Thom Frühwirth is on sabbatical during winter term 2006/2007, among other things writing a book about Constraint Handling Rules (CHR).
- Noha Salem creates CHR constraint team website and the orange CHR-banner (August 2006).
- Seven students and assistents from Slim Abdennadher's department at the German University of Cairo are visiting for research training in CHR, July-August 2006.
- Online Web Sudoku in CHR and Java, July 2006.
- 2nd CHR Seminar Day, University of Ulm, Germany, July 2006.
- Khalil Djelloul joins team as a post-doc researcher in the DFG Project GLOB-CON - Rule-Based Propagation of Global Constraints, June 2006-2008.
- Thom Frühwirth gives invited talks: Constraint Handling Rules - The Story So Far, [Slides] at PPDP'06 (July 2006); at U Ca' Foscari, Venice, (May 2006).
- 3rd workshop on Constraint Handling Rules, CHR 2006 (co-chair Thom Frühwirth) co-located with ICALP 2006, Venice, 9. July, 2006.
- Jacques Robin and Luis Menezes (UFPE) visit (May 2006).
- Seminar Day on Constraint Handling Rules, K.U. Leuven, May 10, 2006.
- Ulm CHR Constraint Team visists Bart Demoen's research team at K.U. Leuven, Belgium for one week (May 2006).
- Marc Meister visits UFPE Recife for one month (March 2006) with the DAAD/CAPES Project ROARS - Reuse-Oriented Automated Reasoning Software, 2006-2008.
- Ph.D. student Jairson Vitorino from UFPE Recife visiting for one year till March 2007, with a DAAD grant.
2005
- LINK 5746>Hariolf Betz joins research team with a Ph.D. grant, November 2005.
- Thom Frühwirth gives invited talk: Constraint Programming with CHR, U Dortmund, November 2005.
- Thom Frühwirth gives invited talk: CHR - Programming with a Chinese Horse, [Slides], CP'05, October 2005.
- 2nd Workshop on Constraint Handling Rules, CHR 2005 (program co-chair Thom Frühwirth) co-located with ICLP 2005, Sitges, Spain, 5. October 2005.
- TPLP journal special issue on CHR, September 2005.
- Thom Frühwirth is program committee member of ICLP 2005.
- 19th Workshop on (Constraint) Logic Programming, W(C)LP 2005 (local chair Thom Frühwirth, local organisation Marc Meister), Ulm, Germany (Februar 2005).
- Jacques Robin (UFPE) visits (Februar 2005).
2004
- Ph.D. student Tom Schrijvers (K.U. Leuven, Belgium) visists for four weeks.
- Christian Holzbaur visits for two weeks.
- Armin Wolf visits fror one week.
- Francois Fages (INRIA) visists.
- Georg Ringwelski and Hans Schlenker visit.
- 27th German Conference on Artificial Intelligence, KI 2004 (co-chair Thom Frühwirth), Ulm University, September 2004.
- First Workshop on Constraint Handling Rules, CHR 2004 (organisation Thom Frühwirth and Marc Meister), Ulm, Germany, 10.-14. May 2007.
2003
- Roman Bartak (Charles University Prague) visits.
- PhD student Marc Meister begins (Februar 2003).
2002
- Thom Frühwirth accepts call to Ulm University (June 2002).