Principles and Practice of Declarative Programming   Logic-Based Program Synthesis and Transformation
PPDP 2012  LOPSTR 2012

Leuven, Belgium
September 19-21 / 18-20, 2012


Leuven has many hotels and you can google for them to find a hotel that suits you. The PPDP/LOPSTR2012 organization has made block reservations in a few hotels:

Ibis Hotel and Etap Hotel

The price for a single room for one night in IBIS is 112 euro for a week day and 85 euro in the weekend.
Contact the hotel directly with the booking reference: LOPSTR/PPDP2012 KUL 107 451. The block reservation expires on 17 July.

The price for a single room for one night in ETAP is 69,75 euro for a week day and 59,75 euro in the weekend. There is an extra charge for breakfast.
The reference for the block reservation is LOPSTR/PPDP2012. It is required to fill in the ETAP form and fax or scan and email it to de hotel. The block reservation expires on 17 August.


Early registration is until 31 July 2012
The registration fees* are in Euro and are as follows:

Early student**: 250340390
Early - non-student: 300400450
Late - all: 360460510

* The registration fee includes proceedings, coffee breaks, lunches, excursion and banquet.

** Students SHOULD send a copy of their student registration or a letter by their supervisor stating that they are student by fax to Lopstr-PPDP 2012, +32 16 327 996 or scan such information and email it to

Registration fees can be payed by using credit cards or by a wire transfer.

Registration is now CLOSED!

Bank information for people paying by wire transfer:

Account holder: KU Leuven, Krakenstraat 3, B-3000 Leuven
Account number: 432-0000011-57
IBAN: BE09 4320 0000 1157

Name and address of the bank:
Bedrijvenkantoor Leuven
Brusselsesteenweg 100
B-3000 Leuven

     1. All transaction costs must be covered from your side.
     2. You need to add a message to your payment.
     This message MUST be a non-structured message, NOT a structured one.
     In the non-structured message field provide:
     400/0007/24509 and YOUR NAME

People from the KULeuven can also use this number to pay the registration fee.