BLC Newsletter - March 2015


BRITISH LOGIC COLLOQUIUM
Registered Charity No 275541

http://www.blc-logic.org

President        Professor H Dugald MacPherson [Leeds]
Vice-President   Professor Philip Welch [Bristol]
Treasurer        Dr Charlotte Kestner [Lancashire]
Secretary        Dr Paulo Oliva [London]
                 Dr Ulrich Berger [Swansea]
                 Professor Alexandre Borovik [Manchester]
                 Dr Peter Schuster [Leeds]

** Please send any items you would like included in the next newsletter to Paulo Oliva (p.oliva@qmul.ac.uk)

Contents:
---------

1) British Logic Colloquium Cambridge, England, 2-4 Sept 2015 (call for contributions)
2) Domains XII, Cork, Ireland, 25 - 28 Aug 2015
3) George Boole Mathematical Sciences Conference, Cork, Ireland, 17 - 28 Aug 2015
4) E. W. Beth Dissertation Prize: 2015 call for nominations

-------------------------------------------------------------------------------------

(1) BRITISH LOGIC COLLOQUIUM Cambridge, England 2-4 September 2015 

https://www.newton.ac.uk/event/blc-2015

The 2015 meeting of the British Logic Colloquium will be held in Cambridge on 2nd-4th September.  It will be preceded by BLC PhD day (1st-2nd September).  This is a general Logic meeting covering a variety of topics within mathematical, philosophical and computer science logic.  The meeting will include ten invited talks (speakers listed below) and a number of contributed talks.  Anyone wishing to contibute a talk should send an abstract (of about 250 words) to blc-2015@cl.cam.ac.uk by 15 July, 2015.

Invited speakers:

• Andreas Blass (Michigan)
• Victoria Gitman (New York)
• Ian Pratt-Hartman (Manchester)
• Alexander Kechris (Pasadena)
• Jonathan Kirby (East Anglia)
• Agi Kurucz (London)
• Itay Neeman (Los Angeles) 
• Arno Pauly (Cambridge)
• Andrew Pitts (Cambridge)
• Mehrnoosh Sadrzadeh (London)

Bursaries

There is a limited number of bursaries available for students who wish to attend.  A bursary will provide a subsidy for travel and  accommodation costs.  Applications for bursaries should be accompanied by a short paragraph stating your affiliation, the name of your supervisor and a brief description of your research; priority will be given to those contributing a talk in either the PhD day or the main BLC meeting. Deadline: 15 July.

PhD Day

The BLC PhD day provides an opportunity for postgraduates to meet and discuss their research or area of interest with fellow young logicians. If you wish to attend the PhD day, please email blc-2015-phd@maths.cam.ac.uk, including your Name, Affiliation and whether or not you would like to present a talk or a poster.

Programme Committee:

• Anuj Dawar (Cambridge, chair)
• Thomas Forster (Cambridge)
• Martin Hyland (Cambridge)
• Benedikt Löwe (Amsterdam/Hamburg)
• Dugald Macpherson (Leeds)
• Philip Welch (Bristol)

The meeting is supported by the London Mathematical Society, the
Isaac Newton Institute for Mathematical Sciences and Robinson
College, Cambridge.

-------------------------------------------------------------------------------------

(2) Domains XII, Cork, Ireland, 25 - 28 August 2015

http://booleconferences.ucc.ie/gbmsc2015/domainsxii

Registration and important dates: please check for updates on the website.

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.

Invited speakers

• 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)

Steering Committee

• Ulrich Berger (Swansea)
• Martin Escardo (Birmingham)
• Achim Jung (Birmingham)
• Klaus Keimel (Darmstadt)
• Michel Schellekens (UCC)

Organizers

• Aoife Hennessy (WIT)
• Michel Schellekens (UCC)

-------------------------------------------------------------------------------------

(3) George Boole Mathematical Sciences Conference, Cork, Ireland, 17 - 28 August 2015

Domains XII will be embedded in the George Boole Mathematical Sciences Conference, Cork, Ireland

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.

This event will include 100 – 150 lectures on selected areas:

• Theme 1: Boole and Beyond in Quantum Information Theory
• Theme 2: From Boole's Algebra of Logic to Boolean Algebra, and Beyond
• Theme 3: Complex and Boolean NetworksGeometry and Visualization
• Theme 4: Geometry and Visualization
• Theme 5: Harmonic Analysis
• Theme 6: Invariants from Moduli Spaces
• Theme 7: Mathematical Financial Modelling Post-Crisis
• Theme 8: Quantum Probabilistic Symmetries and Quantized Boolean Algebras

The following events are embedded in and associated with the conference:

• 2015 Annual Meeting of the Irish Mathematical Society (IMS)
• Domains XII
• When Boole Meets Shannon

-------------------------------------------------------------------------------------

(4) E. W. Beth Dissertation Prize: 2015 call for nominations

Since 2002, FoLLI (the Association for Logic, Language, and Information, http://www.folli.info) has awarded the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree awarded in 2014. 

Who qualifies.

Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2014 and December 31st, 2014. Theses must be written in English; however, the Committee accepts submissions of English translations of theses originally written in other languages, and for which a PhD was awarded in the preceding two years (i.e. between January 1st, 2012 and December 31st, 2013). There is no restriction on the nationality of the candidate or on the university where the Ph.D. was granted. 

Prize.

The prize consists of:

• a certificate
• a donation of 2500 euros provided by the E.W. Beth Foundation
• an invitation to submit the thesis (or a revised version of it) to the FoLLI
 Publications on Logic, Language and Information (Springer). 

How to submit. See  http://www.folli.info/?page_id=84
Queries: Ian Pratt-Hartmann (ipratt@cs.man.ac.uk)

Important dates:

Deadline for Submissions: April 27th, 2015.
Notification of Decision: July 6th, 2015.
ESSLLI summer school: August 3rd -- 14th, 2015