Welcome

to Tom Schrijvers' Programming Languages Group

The activities of the Programming Languages Group are centred around research and education in programming languages. Main themes of study are functional (Haskell) and logic (Prolog, Datalog) programming languages.

News - 2014

Tom Schrijvers joins the program committee of MPC 2015.
Tom Schrijvers joins the SIGPLAN Research Highlights Committee.
Benoit Desouter attends the PPDP and LOPSTR 2014 symposia.
Tom Schrijvers presents Heuristics Entwined with Handlers Combined at the PPDP 2014 symposium.
Steven Keuchel attends the ICFP 2014 conference.
Tom Schrijvers presents Effect Handlers in Scope at the Haskell Symposium 2014.
Tom Schrijvers co-chairs the ICLP 2014 conference in Vienna on July 19-22.
A long talk based on the paper Partial Type Signatures for Haskell is accepted for presentation at the Haskell Implementors Workshop 2014.
Tom Schrijvers visits prof. Ralf Hinze and dr. Nicolas Wu at the University of Oxford in July.
The paper Heuristics Entwined with Handlers Combined is accepted for presentation at the PPDP 2014 symposium.
George Karachalias participates in the Oregon Programming Languages Summer School on June 16-28.
The paper Effect Handlers in Scope is accepted for presentation at the Haskell 2014 symposium.
Christopher Schwaab (University of St Andrews) visits the group on April 22-30.
Bert Gijsbers participates in the Midlands Graduate School in the Foundations of Computer Science on April 22-26.
Nicolas Wu (University of Oxford) visits the group on April 14-18.
Tom Schrijvers gives an invited talk for the Programming Languages and Systems group at the University of Kent on April 7.
George Karachalias joins the group on April 1.
Tom Schrijvers visits prof. Ralf Hinze at the University of Oxford in January.

History - 2013

The group is looking for strong candidates for a PhD position on the Reasoning about Coroutines project.
The paper Compositional Reasoning About Aspect Interference is accepted for presentation at the Modularity 2014 conference.
The group has been awarded FWO funding for the Reasoning about Coroutines project (2014-2017).
Christopher Schwaab (University of St. Andrews) visits the group on November 25 - December 6.
The paper Partial Type Signatures for Haskell is accepted for presentation at the International Symposium on Practical Applications of Declarative Programming (PADL 2014).
Steven Keuchel presents Generic Datatypes à la Carte at the WGP 2013 workshop.
Tom Schrijvers is a panelist at the Haskell 2013 symposium.
Tom Schrijvers gives an invited talk at the Kiel Declarative Programming Days 2013.
Stefan Mehner (University of Bonn) visits the group on August 29-30.
Benoit Desouter presents Delimited continuations for Prolog together with Bart Demoen at the ICLP 2013 conference.
Benoit Desouter presents his research at the ICLP 2013 doctoral consortium.
Benoit Desouter presents Integrating Datalog and Constraint Solving at the CICLOPS 2013 workshop.
Oleg Kiselyov visits the group on August 14.
The program for PPDP 2013 is available and registration is open.
The paper Understanding Idiomatic Traversals Backwards and Forwards is accepted for presentation at the Haskell 2013 symposium.
The paper Generic Datatypes à la Carte is accepted for presentation at the WGP 2013 workshop.
The paper Integrating Datalog and Constraint Solving is accepted for presentation at the CICLOPS 2013 workshop.
The paper Delimited continuations for Prolog is accepted for presentation at the ICLP 2013 conference.
Jasper van der Jeugt and Matthias Delbar, master students of the group, present their master thesis at the meeting of the Ghent Functional Programming group on June 26.
Ismael Figueira Palet (University of Chile) visits the group June 10 - 17.
Benoit Desouter and Steven Keuchel present the research activities of the group at the WOG 2013 symposium June 6 - 7.
The article Tor: Modular search with hookable disjunction is accepted for publication in the Science of Computer Programming (SCP) journal.
The paper Modular Monadic Meta-Theory is accepted for presentation at the International Conference on Functional Programming (ICFP 2013).
Steven Keuchel is awarded a TEE travel grant to visit the University of Pennsylvania.
Benoit Desouter is admitted to the ICLP 2013 doctoral consortium.