Domains XII -August 25 to August 28, 2015
Domains XII: The international conference Domains is aimed at computer scientists and mathematicians alike who share an interest in the mathematical foundations of computation. Previous Domains meetings include Paris (2014), Swansea (2011), Sussex (2008) and Novosibirsk (2007). Domains is an open and interactive event, welcoming talks on topics related to domains and related aspects (list included below) as well as talks pertaining to the general Boole theme of the overarching mathematical sciences conference. Conference publication will be considered pending participant interest. Domains XII will be embedded in the George Boole Mathematical Sciences (GMBS) Conference. Further information on this event is included below.
Embedded International Conference: Domains XII
Venue: Western Gateway Building, UCC, Room WGB 15 -Number of places available : 70
Registration: opens March 28
Submission of Abstracts: May 1 (Please send abstracts to m.MY-LAST-NAME@cs.ucc.ie, where you can find “MY-LAST-NAME” as the surname of the committee member with first name “Michel” below)
Notification of acceptance: June 1
Late registration: July 15 to August 15
Accommodation: please refer to the list at the end of this website. Note that August is part of the tourism season and early booking is recommended.
Ulrich Berger (Swansea)
Martin Escardo (Birmingham)
Achim Jung (Birmingham)
Klaus Keimel (Darmstadt)
Michel Schellekens (UCC)
Aoife Hennessy (WIT)
Michel Schellekens (UCC)
Stephen Brookes (Carnegie Mellon)
Thierry Coquand (Gothenburg)
Abbas Edalat (Imperial College)
Jean Goubault-Larrecq (LSV, CNRS & ENS de Cachan)
Chris Heunen (Oxford)
Gordon Plotkin (Edinburgh)
Dana Scott (Carnegie Mellon)
Topics of interaction with domain theory for this workshop include, but are not limited to:
program semantics -program logics -probabilistic computation -exact computation over the real numbers -lambda calculus -games -models of sequential computation -constructive mathematics -recursion theory -realizability -topology, metric spaces and domains -idempotent analysis and domains -locale theory -category theory -topos theory -type theory
George Boole Mathematical Sciences Conference: Domains XII will be embedded in the George Boole Mathematical Sciences Conference, Cork, Ireland. Information on the GBMS conference program is available at: http://booleconferences.ucc.ie/gbmsc2015
As part of the celebrations of Boole’s bicentenary, the George Boole Mathematical Sciences (GBMS) Conference (including Domains XII) will be held in University College Cork (UCC) during the last two weeks of August 2015.George Boole (1815 – 1864) was the first professor of mathematics at Cork. Boole’s efforts to mathematize logical thinking caused a lasting paradigm shift in the 19th century which enlarged the scope and potency of modern mathematics, and provided a wealth of ideas for applications in diverse scientific areas resulting in ground-breaking innovations during the 20th century and beyond.
Accommodation (in proximity to UCC Campus – we have included some options for accommodation below-further options can be found online)
Campus Accommodation UCC: email@example.com
Hotels -Lancaster Lodge, River Lee Hotel, The Kingsley, Hayfield Manor
B&B -Garnish House, Audley House, The Blarney Stone and Achill House.
There are more B&B options listed online, which will be mostly located on Western Road (the road passing the Western Gateway Building where the Conference takes place).
Early Bird Registration (exclusive of Conference Dinner and Excursion to Kinsale)
Early registration dates: March 28 – July 14, 2015.
Rate (€) 210
Early Bird Registration + Excursion
Early registration dates: March 28 – July 14, 2015, excursion to St. Michael’s Church and Kinsale yachting harbour
Early Bird Registration + Conference Excursion + Conference Dinner
Early registration dates: March 28 – July 14, 2015, Conference excursion to St. Michael’s Church and Kinsale yachting harbour, Conference Dinner in Kinsale, Cork’s gourmet capital.
Please Note: The excursion charge relates to transport arrangement from Cork to Kinsale, with non-optional stop-over at St. Michael’s church
Rate (€) 260 .
Late Registration (exclusive of conference dinner and excursion)
Late registration dates: July 15 – August 1 (Conference Dinner and Excursion may be arranged if email notice is given to conference organizers prior to August 1, subject to availability)
The catering option is provided to select a vegetarian or non-vegetarian conference dinner in case the earlier selection specified the participant wishes to take part in the conference dinner.
Note that catering during the conference (lunches (inclusive of vegetarian option) and coffee) will be provided at the conference for all registered participants.
1. Conference Dinner in Kinsale : (€) 50 (inclusive of transport)
2. Vegetarian Dinner option dinner in Kinsale (inclusive of transport) (€) 50
(please indicate other dietary requirements directly to organizers at registration time)
Excursion to St. Michael’s Church and Kinsale : (€) 10
46 tickets available