- Monday:

        14.00 Steven Sourbron, "Introduction to OQL."
        14.30 Sonja Smets, "Reflections on OQL."
        15.30 Isar Stubbe, "Operational resolutions."
        16.00 Break
        17.00 Jim Lambek, "Grammar, algebra and logic."

- Tuesday:

        14.00 Pedro Resende (& Steven Vickers), "Quantales and localic dynamical systems."
        15.00 Célestin Nkuimi Jugnia, "Partial quantales."

- Wednesday:

        14.00 Frank Valckenborgh, "Operational axiomatics and compound physical systems."
        15.00 Bob Coecke (& David Moore), "Quantum logic in intuitionistic and dynamic perspective."

- Thursday:

        [[ 10.45 - 12.45 Louvain-La-Neuve-seminar by Bill Lawvere, "Dual monads on cartesian closed categories"]]^*

        14.00 David Kruml, "Spatial quantales."
        15.00 Jan Paseka, "Hilbert modules."

- Friday

        [[ 10.45 - 12.45 Louvain-La-Neuve-seminar by Jiri Rosicky,  "Flat covers and factorizations"]]^*

        14.00 Open problem session

^* We will arrange transport to LLN for these seminars