From Boole’s Algebra of Logic to Boolean Algebra, and Beyond (GBMS Theme 2)

From Boole’s Algebra of Logic to Boolean Algebra, and Beyond (GBMS Theme 2)

From Boole’s Algebra of Logic to Boolean Algebra, and Beyond (GBMS Theme 2)

Date: 27 – 28 Aug 2015
Places Available: 54

Venue: Western Gateway Building, UCC, room WGB13

Important Dates:
Submission of Abstracts: May 15 (Please send abstracts to , 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: as of August 1 to August 15

Accommodation: please refer to the list at the end of this website. Note that August is part of the tourism season. Booking early is recommended.

Steering Committee
Steven Givant (Mills College)
Wilfrid Hodges (University of London)
Angus Mcintyre (Queen Mary London)
Michel Schellekens (UCC)
Dana Scott (Carnegie Mellon & UC Berkeley)

Organizers
Aoife Hennessy (WIT)
Michel Schellekens (UCC)

Speakers include

Vaughan Pratt ( Stanford University)
Stanley Burris (University of Waterloo)
Amirouche Moktefi (Tallinn University of Technology)
Don Monk (University of Colorado Boulder)
Hillary Priestley (University of Oxford)
Stevo Todorcevic (University of Toronto and CNRS, Paris)
Topics of interest include
– Boole’s original Algebra of Logic
– Boolean Algebra and its role in logic, model theory and universal algebra
– Novel applications of Boolean Algebra

George Boole Mathematical Sciences Conference: “From Boole’s Algebra of Logic, to Boolean Algebra, and Beyond” is Theme 2 of 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 groundbreaking innovations during the 20th century and beyond.

Accommodation (in proximity to campus): we include some options for accommodation below. Further options can be found online.

Hotels
Lancaster Lodge, River Lee Hotel, The Kingsley, Hayfield Manor
B&B: Garnish House

There are several more B&B options in the proximity of UCC listed online, which will be mostly located on Western Road (the road passing the Western Gateway Building where the conference takes place).

Further suggestions on hotels and proximity to campus are available through local information link on the main GBMSC website (http://booleconferences.ucc.ie/gbmsc2015) and from the Theme 2 website
(http://booleconferences.ucc.ie/gbmsc2015/theme2)

Transport
The local information link on the GBMSC website includes information on transport from Cork Airport or Dublin Airport to UCC and some info on tourism.

Conference Excursion and Dinner
Visit to St. Michael’s Church and Kinsale, yachting harbor and gourmet center, August 27.

Registration Options

Early Bird Registration (exclusive of Conference Dinner and Excursion to Kinsale)
Early registration dates: March 28 – July 31, 2015.
Rate (€) 20

Early Bird Registration + Excursion
Early registration dates: March 28 – July 31, 2015. Excursion to St. Michael’s Church and Kinsale yachting Harbour:
Rate (€) 30

Early Bird Registration + Conference Excursion + Conference Dinner
Early registration dates: March 28 – July 31, 2015. Excursion to St.
Michael’s Church and Kinsale yachting harbour, Conference Dinner in Kinsale, Cork’s gourmet capital.
Rate (€) 70

Please Note: The excursion charge relates to transport arrangement from Cork to Kinsale, with non-optional stop-over at St. Michael’s church.
Late Registration (exclusive of conference dinner and excursion)

Late registration
Late registration dates: August 1 -August 15
Conference Dinner and Excursion may be arranged if email notice is given to conference organizers prior to August 1, subject to availability and according to indicated prices)
Rate (€) 60

Catering Options
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)
Social Options