Workshop on Computational Logics and Applications 2011

This workshop continues a series of CLA workshops which started in 2002.

The eighth workshop on Computational Logic and Applications will take place in Vienna, Austria, from July 7-8

This workshop brings together researchers working in areas related to

with a special emphasis on a meeting point between these two fields: the quantitative aspects of lambda terms and propositional logics.

The workshop is organized by the Institute of Discrete Mathematics and Geometry of the Vienna University of Technology.

The meeting is supported by the Austrian Science Foundation FWF, grant NFN S9600, and by the Kurt Gödel Society.

On this page you will find the following informations:


Thursday, July 7

10:00h-11:00h   Uwe Egly DPLL Procedures for Non-clausal SAT and QSAT Problems
11:00h-11:30h Coffee Break
11:30h-12:30h Markus Kuba A combinatorial approach to 2-XOR-SAT
12:30h-14:00h Lunch
14:00h-14:30h Jan Hązła Efficient implementation of Boltzmann samplers
14:45h-15:45h Veronika Kraus Associative and commutative tree representations for Boolean functions
15:45h-16:15h Coffee Break
15:45h-16:45h Antoine Genitrini Algebraic immunity: Approaches for enumeration
17:00h-18:00h   Paweł Waszkiewicz    Retracts of bifinite domains
19:00h Dinner

Friday, July 8

10:00h-11:00h Jakub Kozik Bugs in boxes and stopping times for covert expansion
11:00h-11:30h Coffee Break
11:30h-12:30h Olivier Bodini Lambda terms of bounded unary height
12:45h-13:15h Marek Zaionc Informal talk on first order logic
13:15h Lunch
15:00h-18:00h Time for discussions


The workshop will take place in the seventh floor of the green tower of the building called "Freihaus". The address of the Freihaus is

Wiedner Hauptstraße 8-10
1040 Wien

You can get there by taking the underground lines U1 (red), U2 (violet), or U4 (green) to the station Karlsplatz and leaving the station via the exit Wiedner Hauptstraße. Walk straight under the arcades and enter the Freihaus through the big red doors (following the black line on this map). Then follow the signs to the green tower.

Public transport in Vienna

Public transport is very efficient in Vienna. A VOR ticket gives you unlimited access to all public transport in the city area of Vienna (this includes the area around the TU Wien Freihaus - where the Conference takes place). Tickets are sold at various places, including ticket-machines, which are located in every subway station (working all the time, as long as the subway lines are open). There are many kinds of tickets, trying to give people as much flexibility as possible. The most advisable is a whole-week ticket. Several possibilities are:

Ticket TypeValidityPrice (Eur)
Ordinary Ticket [FAHRSCHEIN] The ticket for a single trip can be used for any single trip within vienna. You may change lines, but you may not interrupt your journey. (see here) 1.80
Daily Ticket [EINKAUFSKARTE] From 8 A.M. to 8 P.M. (no matter when stamped). NOT VALID ON SUNDAYS. 4.60
24 Hrs. Ticket [24 STUNDEN - KARTE] 24 hours from the moment of stamping 5.70
72 Hrs. Ticket [72 STUNDEN - KARTE] 72 hours from the moment of stamping 13.60
Whole Week Ticket [WOCHENKARTE] From Monday 9 A.M. to Monday 9 A.M. No matter when stamped. Sold always for the current week. 14.00

Previous Workshops


Bernhard Gittenberger