The activities of UGent 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.
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.
- PhD position on the Reasoning about Coroutines project.
The group is looking for strong candidates for a
The paper Compositional Reasoning About Aspect Interference
is accepted for presentation at the Modularity 2014 conference.
- Reasoning about Coroutines project (2014-2017).
The group has been awarded FWO funding for the
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.
- PPDP 2013 is available and registration is open.
The program for
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.