uitnodiging inaugurale lezing 21/12/2010

1 view

Skip to first unread message

Tom Schrijvers

unread,

Nov 22, 2010, 2:29:40 PM11/22/10

to ghent-fpg

Beste FPers,

Ik nodig jullie van harte uit op mijn inaugurale lezing en
aansluitende receptie op 21 december om 16u.

Voor meer informatie en inschrijving (voor 10 december) kan je terecht op:

http://www.twi.ugent.be/index.php?page=talkTomS

Tom

Abstract

MCP: een domein-specifieke taal voor Constraint Programming

Constraint Programming is een zeer gebruiksvriendelijke manier om
combinatorische problemen op te lossen. Een programma formuleert het
probleem als een aantal relaties tussen onbekenden die de mogelijke
oplossingen beperken. Een oplossingsstrategie moet de programmeur zelf
niet bedenken; dat neemt een constraint solver voor zijn rekening. Met
deze aanpak is het bijvoorbeeld kinderspel om puzzles zoals Sudoku op
te lossen, maar ook planningsproblemen uit de industrie worden met
Constraint Programming aangepakt.

Deze lezing behandelt MCP, een domein-specifieke programmeertaal
ingebed in de functionele programmeertaal Haskell. MCP brengt inzicht
in Constraint Programming en de essentiële onderdelen waaruit het is
opgebouwd.

--
prof. dr. ir. Tom Schrijvers

Programming Languages Group
Department of Applied Mathematics and Computer Science
University of Ghent

Krijgslaan 281 S9
9000 Gent
Belgium
Phone: +32 9 264 4805

Bart Coppens

unread,

Nov 22, 2010, 5:47:44 PM11/22/10

to ghen...@googlegroups.com, Tom Schrijvers

Dag Tom,

On Monday 22 November 2010, Tom Schrijvers wrote:
> Deze lezing behandelt MCP, een domein-specifieke programmeertaal
> ingebed in de functionele programmeertaal Haskell. MCP brengt inzicht
> in Constraint Programming en de essentiële onderdelen waaruit het is
> opgebouwd.

Heb je enig idee in hoeverre deze talk zal verschillen van degene die je op de
derde FPG meeting gegeven hebt?