Institut für Programmiermethodik und Compilerbau
- 1:
Lehre. - 2: Forschung.
- 2.1:
Themen.- 2.1.1:
Constraint Handling Rules.- 2.1.1.1:
Ereignisse. - 2.1.1.2: Projekte.
- 2.1.1.3: Mitglieder.
- 2.1.1.4: Publikationen.
- 2.1.1.5: Mehr Information.
- 2.1.1.1:
- 2.1.2: Constraint-Programmierung.
- 2.1.3: Experimentelles Software-Engineering.
- 2.1.4: Integration konventioneller und formaler Methoden der Softwaretechnik.
- 2.1.5: Model Driven Development.
- 2.1.6: Programmtransformation.
- 2.1.7: Requirements-Engineering.
- 2.1.1:
- 2.2: Arbeiten.
- 2.3: Projekte.
- 2.4: Publikationen.
- 2.5: Publikationen externer Doktoranden.
- 2.6: Veranstaltungen.
- 2.1:
- 3: Mitarbeiter.
- 4: Kontakt.
2011
- Prof. Frühwirth ist Mitglied des Programmkomitees der FroCos 2011 (Oktober)
- Frank Raiser verlässt die CHR Forschungsgruppe (März)
2010
- Hariolf Betz verlässt die CHR Forschungsgruppe (Dezember)
- Frank Raiser beendet seine Promotion zum Dr.rer.nat. mit Auszeichnung. (November)
- Prof. Frühwirth ist Mitglied des Programmkomitees der LPAR 2010 (Oktober)
- Frank Raiser ist Mitglied des Programmkomitees des WLP 2010 Workshops (September)
- Frank Raiser ist Mitglied des Programmkomitees des MOC 2010 Workshops (September)
- Frank Raiser, Hariolf Betz und Prof. Frühwirth halten eingeladene Vorträge auf der CHR Summer School (August)
- Prof. Frühwirth ist Organisator der CHR Summer School (August)
- Prof. Frühwirth ist Mitglied des Programmkomitees der ICLP 2010 (Juli)
- Prof. Frühwirth gibt ein CHR Tutorial im Rahmen des CHR2010 Workshops (Juli)
- Prof. Frühwirth und Frank Raiser sind Mitglieder des Programmkomitees des CHR2010 Workshops (Juli)
- Andrea Triossi vom INFN (Padova, Italy) ist eine Woche zu einem Forschungsaufenthalt bei uns (Juni)
- Prof. Frühwirth hält eingeladenen Vortrag zu Constraint Handling Rules an der Universität Manchester (Mai)
- Prof. Frühwirth ist Zweitgutachter bei der Promotion von Peter van Weert (April)
- Prof. Frühwirth ist Mitglied des Programmkomitees der SAC 2010 (März)
- Ahmed Magdy Hamed Mohamed und Ayman Adel Abdelaal von der German University Cairo sind zu Besuch um ihre Bachelor-Arbeiten anzufertigen (Februar-Juni)
2009
- Dr. Andreas Falkner (Siemens AG Österreich) besucht die Ulmer CHR Forschergruppe, um Lösungsansätze für aktuelle Industrieprobleme zu diskutieren (Dezember).
- Die CHR Working Week findet statt an der Universität Ulm (5.-9. Oktober)
- Der CHR 2009 Workshop findet statt in Pasadena, CA (Juli).
- Neues Buch Constraint Handling Rules von Prof. Frühwirh bei Cambridge University Press erschienen (Juli)
- Prof. Frühwirth hält den "Compact Spring Course on Constraint-Based and Rule-Based Programming" in Venedig (Mai)
- Frank Raiser ist Mitglied des Programmkomitees der WLP 2009 (September).
- Prof. Frühwirth und Hariolf Betz sind Mitglieder des Programmkomitees des CHR 2009 Workshops (Juli).
- Frank Raiser ist Organisator des CHR 2009 Workshop (Juli).
- Frank Raiser ist Mitglied des Programmkomitees der MOC 2009 (Oktober).
- Prof. Frühwirth ist Mitglied des Programmkomitees der ICLP 2009 (Juli).
2008
- Prof. Frühwirth ist Mitherausgeber des Buches Current Research Topics in CHR.
- Prof. Frühwirth ist Zweitgutachter bei der Promotion von Jon Sneyers (November).
- Mathias Wasserthal beginnt seine Diplomarbeit zum Thema Konzeption und Realisierung einer Eclipse-basierten Analyse-Platform für Graphtransformationen in CHR (November).
- LGFG-Stipendium von Hariolf Betz beendet (Oktober).
- Prof. Frühwirth ist Mitglied des Programkomitees der MOC 2008 (September).
- Ingi Sobhi arbeitet am DFG Projekt GLOB-CON - Regelbasierte Propagation von Globalen Constraints (März - August).
- Noran H. Azmy von der GUC fertigt ihre Bachelor-Arbeit zum Thema Proving Properties of CHR Programs Using Petri Nets in Ulm an (März - August).
- Der 5th Workshop on Constraint Handling Rules, CHR 2008 wird von Frank Raiser und Prof. Frühwirth mitorganisiert (Juli).
- Dr. Marc Meister promoviert zum Thema Efficient Declarative Programming (Juli).
- Doktorand Jon Sneyers von der K.U. Leuven in Belgien ist einen Monat zu Besuch (April).
- Prof. Frühwirth ist Mitglied des Programkomitees der SAC 2008 (März).
2007
- LGFG Stipendium von Hariolf Betz wurde um ein Jahr verlängert.
- Frank Raiser wechselt auf eine Stelle als wissenschaftlicher Mitarbeiter bei Prof. Frühwirth (November 2007).
- Marc Meister beendet seine Arbeit als wissenschaftlicher Mitarbeiter (Oktober 2007).
- Doktorand Paolo Tacchella aus Bologna kommt für eine Woche im Oktober zu Besuch, um einen Drittmittelantrag auszuarbeiten.
- Aktuelle Version von WebCHR mit Unterstützung für sicstus4 durch Martin Käser.
- 4th Workshop on Constraint Handling Rules, CHR 2007 parallel zur ICLP 2007 in Porto, Portugal, 8. September 2007.
- Neue Webseite der CHR-Constraint-Gruppe (diese) mit neuer URL http://www.informatik.uni-ulm.de/pm/chr/ durch Marc Meister (Juni 2007).
- Thom Frühwirth ist Mitglied des Programmkomitees der CP 2007.
- Frank Raiser wechselt zum DFG Projekt GLOB-CON - Regelbasierte Propagation von Globalen Constraints (Juni 2007).
- Khalil Djelloul hört auf (Mai 2007).
- Jacques Robin (UFPE Recife) zu Besuch (Mai 2007).
- Doktorand Paolo Tacchella aus Bologna drei Monate zu Besuch bis April 2007. Forschungsinteresse: Unfolding in CHR.
2006
- Frank Raiser fängt an mit einem Stipendium (November 2006).
- Thom Frühwirth ist im Forschungssemester im Wintersemester 2006/2007, unter anderm schreibt er ein Buch über Constraint Handling Rules (CHR).
- Noha Salem erstellt die CHR-Team-Webseite und die orangefarbige CHR-Flagge (August 2006).
- Sieben Studenten und Lehrassistenten aus Slim Abdennadher's Abteilung an der German University of Cairo sind zu Forschungstraining in CHR zu Besuch, Juli-August 2006.
- Online Web Sudoku in CHR und Java, Juli 2006.
- 2nd CHR Seminar Day, Universität Ulm, Juli 2006.
- Khalil Djelloul fängt an als Post-Doc-Forscher im DFG Projekt GLOB-CON - Regelbasierte Propagation von Globalen Constraints, Juni 2006-2008.
- Thom Frühwirth hält eingeladene Vorträge: Constraint Handling Rules - The Story So Far, [Slides] bei der PPDP'06 (Juli 2006); an der Universität Ca' Foscari, Venedig, (Mai 2006).
- 3rd workshop on Constraint Handling Rules, CHR 2006 (co-chair Thom Frühwirth) parallel zur ICALP 2006, Venedig, 9. Juli, 2006.
- Jacques Robin und Luis Menezes (UFPE) zu Besuch (Mai 2006).
- Seminar Day on Constraint Handling Rules, K.U. Leuven, Mai 10, 2006.
- Die Ulmer CHR-Constraint-Gruppe eine Woche zu Besuch bei Bart Demoen's Forschungsgruppe an der K.U. Leuven, Belgien (Mai 2006).
- Marc Meister ein Monat zu Besuch an der UFPE Recife (März 2006) im Rahmen des DAAD/CAPES Projekt ROARS - Reuse-Oriented Automated Reasoning Software, 2006-2008.
- Doktorand Jairson Vitorino von der UFPE Recife ein Jahr zu Besuch bis März 2007, im Rahmen eines DAAD-Stipendiums.
2005
- Hariolf Betz fängt mit einem Stipendium an, November 2005.
- Thom Frühwirth hält eingeladenen Vortrag: Constraint Programming with CHR, Universität Dortmund, November 2005.
- Thom Frühwirth hält eingeladenen Vortrag: CHR - Programming with a Chinese Horse, [Slides], CP'05, Oktober 2005.
- 2nd Workshop on Constraint Handling Rules, CHR 2005 (program co-chair Thom Frühwirth) parallel zur ICLP 2005, Sitges, Spanien, 5. Oktober 2005.
- TPLP journal special issue on CHR, September 2005.
- Thom Frühwirth ist Mitglied des Programmkomitees der ICLP 2005.
- 19th Workshop on (Constraint) Logic Programming, W(C)LP 2005 (lokaler Vorsitzender Thom Frühwirth, lokale Organisation Marc Meister), Ulm, (Februar 2005).
- Jacques Robin (UFPE) zu Besuch (Februar 2005).
2004
- Doktorand Tom Schrijvers (K.U. Leuven, Belgien) vier Wochen zu Besuch.
- Christian Holzbaur zwei Wochen zu Besuch.
- Armin Wolf eine Woche zu Besuch.
- Francois Fages (INRIA) zu Besuch.
- Georg Ringwelski and Hans Schlenker zu Besuch.
- 27th German Conference on Artificial Intelligence, KI 2004 (co-chair Thom Frühwirth), Universität Ulm, September 2004.
- First Workshop on Constraint Handling Rules, CHR 2004 (Organisation Thom Frühwirth und Marc Meister), Ulm, 10.-14. Mai 2007.
2003
- Roman Bartak (Charles University Prague) visits.
- Ph.D. student Marc Meister joins (Februar 2003).
2002
- Thom Frühwirth nimmt den Ruf an die Universität Ulm an (Juni 2002).