2022
- Program committee member of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022),
Berlin, September 2022.
- Program committee member of the 36th Workshop on (Constraint) Logic Programming (WLP 2022),
Trier, September 2022.
- CHR Research Group Webpage,
March 2022.
- Online Interactive Constraint Handling Rules Prolog Programming Demo Tool (replacing WebCHR),
March 2022.
2021
- Two new books in Distinguished Dissertation Series:
Analysis of Cognitive Models in CHR
and
Restart Strategies,
October 2021.
- Program committee member of the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021),
online, September 2021.
- Congratulations to Daniel Gall on his Phd, January 2021.
- VdGG: Graphical Mason's Mark Generator
- chrjs: Online Interactive Constraint Handling Rules (CHR) Demo Tool and JavaScript JIT CHR Compiler
- WebCHR: Classical Online Interactive Constraint Handling Rules Prolog Programming Demo Tool
- Multi-Purpose Online CHR Rule Translator
- Online Tool that inverts CHR rules for backwards reversible execution
- Constraint Handling Rules (CHR) bibliography and blog
- Analyse&Predict: Simple Online Instant Data Mining Analysis Tool to explore csv spreadsheets
2020
- New paper:
Repeated Recursion Unfolding for Super-Linear Speedup within Bounds, LOPSTR 2020.
- Thom Fruehwirth was on sabbatical during summer semester 2020.
- Sascha Rechenberger joins the team as successor of Daniel Gall, February 2020.
- Program committee member of the 36th International Conference on Logic Programming (ICLP 2020),
online, September 2020.
- Program committee member of the 22nd International Symposium on
Principles and Practice of Declarative Programming (PPDP 2020),
online, September 2020.
- Program committee member of the 4th International Joint Conference on Rules and Reasoning (RuleML+RR 2020),
online, June 2020.
2019
- Digital Artificial Intelligence Abstract Art
is now a contribution to the German Science Year 2019 on Artificial Intelligence of the Federal Ministry of Education and Research, April 2019.
(University Press Release in German)
- Program committee member of the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019),
Bolzano, Italy, September 2019.
- Program committee member of the 22nd International Conference on Applications of
Declarative Programming and Knowledge Management (INAP 2019),
Cottbus, Germany, September 2019.
- Current Research Topics and Theses, January 2019.
2018
- New research papers, October 2018.
- New book: The Computer Art of Mason's Mark Design, ISBN 9783752842975, 2018.
- Current Research Topics and Theses, May 2018.
- Constraint Handling Rules (CHR) bibliography and news blog.
- Analyse&Predict: Simple Online Instant Data Analysis Tool to explore csv spreadsheets.
- Program committee member of 22nd International Conference on Applications of
Declarative Programming and Knowledge Management (INAP 2019),
2018.
- Program committee member of Workshop Logic and Practice of Programming (LPOP 2018),
Oxford, UK, July 18, 2018.
- Program committee member of 34th International Conference on Logic Programming (ICLP 2018),
Okford, UK, 14-17th July 2018.
|
|
Video of talk on CHR applications (German with English slides): Computer knacken harte Nüsse - Von Sudoku über den Aktienhandel zum Robotersegeln, also at iTunes U and TIB, Thom Frühwirth. |
Back in Time 2018
- 5 years ago:
Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction, 2013.
Probabilistic Legal Reasoning in CHRiSM, 2013.
- 10 years ago:
Constraint Handling Rules: Current Research Topics, 2008.
- 15 years ago:
Essentials of Constraint Programming, 2003.
- 20 years ago:
Theory and Practice of Constraint Handling Rules, 1998.
Optimal Placement of Base Stations in Wireless Indoor Telecommunication, 1998.
- 25 years ago:
Constraint Logic Programming - An Informal Introduction, 1993.
- 30 years ago:
Type Inference by Program Transformation and Partial Evaluation, 1988.
2017
- Even more topics for projects, Bachelor, Master and PhD theses
- It was twenty years ago today...Classic Textbook "Constraint-Programmierung" by Fruehwirth/Abdennadher published in 1997.
- Parallelism, Concurreny and Distribution in Constraint Handling Rules: A Survey (Draft), April 2017.
- Constraint Handling Rules (CHR) bibliography and news blog, January 2017.
- Analyse&Predict: Simple Online Instant Data Analysis Tool to explore csv spreadsheets.
- Talk on CHR Applications has more than 1000 views (German with English slides).
- Program committee member of 3rd Global Conference on Artificial Intelligence (GCAI 2017),
Miami, USA, 18-22 October 2017.
- Program committee member of 19th International Symposium on Principles and Practice of Declarative Programming (PPDP'17),
Namur, Belgium, 9-11th October 2017.
- Program committee member of Declare 2017 - Conference on Declarative Programming,
Würzburg, Germany, September 19-22, 2017.
- Program committee member of 33rd International Conference on Logic Programming (ICLP 2017),
Melbourne, Australia, August 29 to September 1, 2017.
- Program committee member of International Joint Conference on Rules and Reasoning (RuleML+RR 2017),
London, UK, 12-15th July 2017.
- Program committee member of 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21),
Maun, Botswana, 7-12th May 2017.
- Program committee member of 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017),
Paris, January 16-17, 2017.
- 5 years ago:
Compiling CHR to Parallel Hardware, 2012.
- 15 years ago:
Probabilistic Constraint Handling Rules, 2002.
- 15 years ago:
Automatic Complexity Analysis of CHR, 2002.
- 20 years ago:
Constraint-Programmierung, 1997.
- 25 years ago:
Constraint Logic Programming - An Informal Introduction, 1992.
2016
Visitors 2016: Prof. Carmen Gervet, Prof. Sanjiva Prasad, Prof. Henning Christiansen, PhD. Maja H. Kirkeby, Prof. Slim Abdennadher.
- 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.
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.
- 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
- 4th International Workshop on the Implementation of Logics at LPAR 2003
Thom Frühwirth, February 21, 2023. This page is part of a multi-frame html document.