Archived News of Prof. Dr. Thom Frühwirth

Old News since about 2005

- Even more topics for projects, Bachelor, Master and PhD theses

2016

- Current Research Topics and Theses, December 2016.
- Constraint Handling Rules (CHR) bibliography and news blog, October 2016.
- Frühwirth's talk on CHR applications online at TIB (in German), October 2016.
- New research papers, September 2016.
- Analyse&Predict: Online Instant Data Analysis Tool to explore csv spreadsheets, June 2016.
- Talk on CHR Applications has more than 1000 views (German with English slides), March 2016.

- Visitors 2016: Prof. Carmen Gervet, Prof. Sanjiva Prasad, Prof. Henning Christiansen, PhD. Maja H. Kirkeby, Prof. Slim Abdennadher.

- 15 years ago: Spatio-Temporal Annotated Constraint Logic Programming, Symposium on Practical Aspects of Declarative Languages PADL, 2001.
- 25 years ago: Logic Programs as Types for Logic Programs, Symposium on Logic in Computer Science LICS, 1991.
- 25 years ago: Constraint Handling Rules (CHR), 1991.
- 30 years ago: German-speaking chatbot Dr. Kummer (with Herbert Wiklicky), 1986.

- Program committee member of 32nd International Conference on Logic Programming - ICLP 2016, New York City, October 17-21, 2016.
- Program committee member of 2nd Global Conference on Artificial Intelligence - GCAI 2016, Berlin, September 29-October 2, 2016.
- Track Chair "Constraint Handling Rules" and Program committee member of 10th International Web Rule Symposium - RuleML 2016, New York, July 2016.
- Program committee member of 8th International Symposium on Practical Aspects of Declarative Languages - PADL 2016, St. Petersburg Florida, January 2016.

2015

- Online Interactive Constraint Handling Rules Demo Tool and JavaScript JIT CHR Compiler, November 2015.
- Research project "Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules", November 2015.
- Paper Highlight 2015: A Devil's Advocate against Termination of Direct Recursion, PPDP 2015. Transformation Tool available (use "Devil" options), October 2015.
- Keynote Speaker of 9th International Web Rule Symposium - RuleML 2015. Slides of Keynote Talk.
- Constraint Handling Rules - What Else?, Invited Survey Paper, RuleML, August 2015.

- Thom Frühwirth was on sabbatical during winter term WiSe 2015/2016.
- Logical Books, May 2015.
- Prolog-Pioneer Prof. Keith Clark, Imperial College, visits our team and talks about Programming Robotic Agents, February 2015.

- Program committee member of 31st International Conference on Logic Programming - ICLP 2015, Cork, Ireland, August 31 - September 4, 2015.
- Senior Program committee member of 24th International Joint Conference on Artificial Intelligence - IJCAI 2015, Buenos Aires, July 25-31, 2015.
- Program committee member of 17th International Symposium on Principles and Practice of Declarative Programming - PPDP 2015, Siena, Italy, July 14-16, 2015.

2014

- Prof. Veronica Dahl visits our team and teaches Computational Linguistics, Uni Ulm, WiSe 2014/2015.
- Start of International Master's Program Cognitive Systems, Uni Ulm, WiSe 2014/2015.
- German University in Cairo (GUC) Vice-President Prof. Slim Abdennadher visits our team, June/July 2014.
- Paper on Constraint Handling Rules wins ICLP 2014 Test of Time Award, Vienna Summer of Logic, July 2014.
- Teaching 2002 - 2005 in ePinnwand (seems out of order now)
- Program committee member of 28th Workshop on (Constraint) Logic Programming (WLP 2014), September 15-17, Wittenberg, Germany, 2014.
- Program committee member of 11th International Workshop on Constraint Handling Rules (CHR 2014), Vienna, July 18, 2014.
- Interdisziplinäres Seminar Computational Psychology, SoSe 2014.
- Books mentioning Fruehwirth's work.
- Video: Vortrag (Talk) Computer knacken harte Nüsse: Von Sudoku über den Aktienhandel zum Robotersegeln, also at iTunes U, Prof. Dr. Thom Frühwirth, given at Ulmer Universitätsgesellschaft, Feb. 2013, also at Tag der offenen Tür, Nov. 2013, Frühjahrsakademie 2014, March 2014, Ulm, and Guest Lecture, Technical University of Munich, May 2014.

2013

- Seminar Wir werden alle überwacht, WiSe 2013/2014.
- Current Research Topics and Theses, October 2013.
- German University in Cairo (GUC) Vice-President Prof. Slim Abdennadher visits Prof. Thom Fruehwirths team, May-July 2013.

- Program committee member of 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013), Kiel, Germany, September 11-13, 2013.
- Program committee member of 29th International Conference on Logic Programming (ICLP 2013), Istanbul, Turkey, August 24-29, 2013.
- Co-Organizer and Lecturer of 3rd CHR Summer School: programming and reasoning with rules and constraints, Berlin, Germany, July 8-13, 2013.
- Co-Organizer and Program committee member of 10th International Workshop on Constraint Handling Rules (CHR 2013), Berlin, Germany, July 8-13, 2013.

- (Post)Doctoral Position in Declarative Programming (pdf), 2013.
- Interdisziplinäres Projektseminar Computational Psychology, SoSe, April-July 2013.
- Video: Vortrag Computer knacken harte Nüsse: Von Sudoku über den Aktienhandel zum Robotersegeln, also at iTunes U, UUG-Vortragsreihe, Prof. Dr. Dr. Thom Frühwirth, February 2013, Ulm.
- Paper Highlight 2013: Hariolf Betz and Thom Fruehwirth. Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction, Journal ACM Transactions on Computational Logic (TOCL) Volume 14:1, p. 1-37, ACM New York, USA, February 2013.

2012

- Paper Highlight 2012: Andrea Triossi, Salvatore Orlando, Alessandra Raffaeta, Thom Fruehwirth, Compiling CHR to parallel hardware, PPDP 2012: 14th International Symposium on Principles and Practice of Declarative Programming, ACM Press, 2012.
- Book with Jan Wielemaker et. al.: SWI Prolog Reference Manual, October 2012.
- Video: Vortrag Einführung in die Constraint-Programmierung, also at iTunes U, October 2012.
- Co-Organizer and Program committee member of 9th International Workshop on Constraint Handling Rules (CHR 2012), Budapest, Hungary, September 4, 2012.
- Program committee member of 28th International Conference on Logic Programming (ICLP 2012), Budapest, Hungary, September 4-8, 2012.
- Robotic sailing world record attempt (press release in German), (news article in German), July 9-19, Eckernfoerde, Germany. Collaboration with Jon Sneyers and Jochen Deferme, K.U. Leuven, and with Roboat sailing team of Roland Stelzer, INNOC Vienna, using CHR for autonomous robotic sailboat routing. Video: The Roboat in Action (from INNOC).
- Five students from the German University of Cairo (GUC) visit to successfully do their Bachelors on CHR, March-July 2012.
- Invited Talk "Transfer of Cognitive Skill" by Prof. Dr. Niels Taatgen, University of Groningen, January 18, 2012.
- Video: CHR-powered TTable MTSeq Multitouch Music Generation System Demo, at iTunes U, 2012.

2011

- Invited Talk "Co-induction with Constraint Handling Rules" by visitor Remy Haemmerle, Universidad Politecnica de Madrid, November 15, 2011.
- Jon Sneyers and Jochen Deferme, K.U. Leuven, visit for a week in November 2011.
- Amira Zaki takes an assistant position and becomes a PhD student, November 2011.
- Collaboration with Veronica Dahl, University Vancouver and Henning Christiansen, Roskilde University on CHR for Computational Linguistics for the Semantic Web, 2011.
- Program committee member of FroCos11, Saarbuecken, Germany, October 5-7, 2011.
- Program committee member of 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011), Vienna, Austria, September 28-30, 2011.
- Program committee member of 25th Workshop on Logic Programming (WLP 2011), Vienna, Austria, September 28-30, 2011.
- Program committee member of 8th International Workshop on Constraint Handling Rules (CHR 2011), Cairo, Egypt, September 9, 2011.
- Co-Organizer and Lecturer Second CHR Summer School, Cairo, Egypt, September 5-9, 2011.
- Jon Sneyers takes a three-month visiting post-doc position, University of Ulm, July-September 2011.

2010 and before

- Video: CHR-powered TTable MTSeq Multitouch Music Generation System Demo, 2010.
- Program committee member of LPAR 2010, Yogyakarta, Indonesia, October 2010.
- Organizer and Lecturer First CHR Summer School Leuven, Belgium, August/September 2010.
- Program committee member of ICLP 2010, Edinburgh, UK, July 2010.
- Program committee member of 7th Workshop on Constraint Handling Rules (CHR'10), Edinburgh, UK, July 2010.
- Invited talk on Constraint Handling Rules, University of Manchester, UK, May 2010.
- Topics for projects, Bachelor, Master and PhD theses, December 2009.
- Organizer CHR Working Week, University of Ulm, October 2009.
- Book Constraint Handling Rules, Cambridge University Press, August 2009.
- First Steps towards a Lingua Franca for computing: Rule-based approaches in CHR (pdf), Invited talk, CHR Workshop at ICLP'09, Pasadena, USA, July 2009.
- Compact Spring Course on Constraint-Based and Rule-Based Programming, Venice, May 2009.
(pages from 2006).
- PhD student Jon Sneyers from K.U. Leuven in Belgium is visiting for a month (April 2008).
- Ingi Sobhi begins as a researcher in DFG Project GLOB-CON - Rule-Based Propagation of Global Constraints (March 2008). Ingi Sobhi from GUC joined my team as researcher in DFG project GLOBCON, 2008.
- Venice University visit Spring 2008.
- 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 joined my team as a post-doc researcher in DFG project GLOBCON.
- Constraint Handling Rules - The Story So Far, [Slides], Invited Tutorial at PPDP'06, July 2006; also Invited Talk at Universita Ca' Foscari, Venice, May 2006.
- Deriving Linear-Time Algorithms from Union-Find in CHR, Talk at Seminar Day on Constraint Handling Rules, K.U. Leuven, May 10, 2006.
- Jairson Vitorino is a Brazilian Ph.D. student, visiting for one year till March 2007, and Luis Menezes, visiting in May 2006, and Jacques Robin, visiting in September 2006.
- Hariolf Betz joined Marc Meister in my research team with a Ph.D. grant, November 2005.
- Hariolf Betz receives a Promotionsstipendium Landesgraduiertenkolleg Baden-Wuerttemberg 1.12.2005-30.11.2005
- Constraint Programming with CHR, Invited Talk, U. Dortmund, November 2005.
- CHR - Programming with a Chinese Horse, [Slides], Invited Talk at CP'05, October 2005.
- TPLP journal special issue on CHR, September 2005.
- Constraint Handling Rules, Invited Talk, K.U. Leuven, Belgium, June 2005.
- Constraint Programming with CHR, Slides, Talk at Tag-der-Informatik, U. Ulm, Germany, April 2005.
- 600 Papers mentioning Constraint Handling Rules.

Visitors in 2005: Jacques Robin, Jairson Vitorino (1 week).
Visitors in 2004: Tom Schrijvers (4 weeks), Christian Holzbaur (2 weeks), Armin Wolf (1 week), Francois Fages, Georg Ringwelski, Hans Schlenker.
Visitor in 2003: Roman Bartak.

Projects from 2006 to 2011

- FWO-Project Termination Analysis for Constraint Handling Rules, project partner of KU Leuven, Belgium, 2008-2011.
- FWO-Project Platform independent analysis and implementation of Constraint Handling Rules, project partner of KU Leuven, Belgium, 2007-2010.
- DAAD/CAPES Project ROARS - Reuse-Oriented Automated Reasoning Software, 2006-2008.
- DFG Project GLOB-CON - Rule-Based Propagation of Global Constraints, 2006-2011.

Earlier Program Committees until 2010 (incomplete list)

- PC-Member 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17), Yogyakarta, Indonesia, October 2010.
- PC-Member 7th Workshop on Constraint Handling Rules (CHR'10), Edinburgh, UK, July 2010.
- PC-Member 26th International Conference on Logic Programming (ICLP'10), Edinburgh, UK, July 2010.
- PC-Member Constraint Solving and Programming track at the 25th Annual ACM Symposium on Applied Computing (SAC'10), Sierre, Switzerland, March 2010.

- 6th Workshop on Constraint Handling Rules (CHR'09), Pasadena, California, USA, July 2009.
- 25th International Conference on Logic Programming (ICLP'09), Pasadena, California, USA, July 2009.
- Constraint Solving and Programming track at the 24rd Annual ACM Symposium on Applied Computing, Honolulu, Hawaii, USA, March 2009.
- Deklarative Modellierung und effiziente Optimierung (MOC 2008), Munich, Germany, September 2008.
- Fifth Workshop on Constraint Handling Rules (CHR 2008), at RTA 2008, Hagenberg/Linz, Austria, July 2008.
- Constraint Solving and Programming track at the 23rd Annual ACM Symposium on Applied Computing, Fortaleza, Brazil, March 2008.
- The 13th International Conference on Principles and Practice of Constraint Programming (CP'2007), Providence, RI, USA, September 2007.
- Fourth Workshop on Constraint Handling Rules (CHR 2007), Porto, Portugal, September 2007.
- Third Workshop on Constraint Handling Rules (CHR 2006), Venice, Italy, July 2006.
- 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, Feb. 2006.
- Co-Chair, Second Workshop on Constraint Handling Rules (CHR 2005) at ICLP'05, Sitges, Spain, Oct. 2005.
- 21st International Conference on Logic Programming (ICLP'05), Sitges, Spain, Oct. 2005.
- Co-Chair, 19th Workshop on (Constraint) Logic Programming (W(C)LP 2005), February 2005.
- Program Co-Chair, 27th German Conference on Artificial Intelligence (KI 2004), September 2004
- Organizer, First Workshop on Constraint Handling Rules, May 2004
- 5th International Workshop on Rule-Based Programming (RULE'04)
- 6th ACM-SIGPLAN Intl. Conference on Principles and Practice of Declarative Programming (PPDP'04)
- Doctoral Program at the 2nd International Joint Conference on Automated Reasoning (DP at IJCAR 2004)
- FLAIRS-2004
- WLP 2004 at INAP 2004
- AIA 2004
- Organizer, CP+CV'04 at ETAPS'04

CHR Research Team

Homepage with Current News


Thom Frühwirth, February 14, 2017. This page is part of a multi-frame html document.