BLC Newsletter - May 2014


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 2014 and BLC PhD day 2014
2) FLoC Workshop on Proof Complexity - Call for Presentations
3) ALCOP 2014: Algebra and Coalgebra meet Proof Theory - Call for Participation

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

1) BRITISH LOGIC COLLOQUIUM 2014 and BLC PHD day 2014

September 3-5, 2014, University of Central Lancashire, Preston.

http://www.blc-logic.org/2014-Lancashire

The British Logic Colloquium (BLC) 2014 will be held at the University of Central Lancashire (3rd-5th of September). 

It will be preceded by BLC PhD day (2nd-3rd September). This is a general Logic meeting and will cover a variety of topics within the subject.  

Invited speakers:

• Natasha Alechina (Nottingham)
• Ann Copestake (Cambridge)
• Anuj Dawar (Cambridge)
• Immanuel Halupczok (Leeds)
• Johnathan Kirby (UEA)
• Graham Leigh (Oxford)
• Jeff Paris (Manchester)
• Alex Simpson (Edinburgh)
• Boban Velickovic (Paris)

We welcome contributions for the main conference and the PhD day, for details of how to submit a contributed talk or poster see the website. 

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

2) FLoC workshop on proof complexity - Call for Presentations

Vienna, July 12/13 2014
http://vsl2014.at/pages/PC-index.html

The workshop will be part of the Vienna Summer of Logic and will be affiliated with the conferences SAT'14 and CSL/LICS'14.


=== Important Dates ===

16 May 2014 ........ Abstract submission
2  June 2014 ....... Notification to authors
12-13 July 2014 .... Workshop in Vienna

=== Scope ===

Proof complexity is the study of the complexity of theorem proving procedures. The central question in proof complexity is: given a theorem F (e.g. a propositional tautology) and a proof system P (i.e., a formalism usually comprised of axioms and rules), what is the size of the smallest proof of F in the system P?  Moreover, how difficult is it to construct a small proof? Many ingenious techniques have been developed to try to answer these questions, which bare tight relations to intricate theoretical open problems from computational complexity (such as the celebrated P vs. NP problem), mathematical logic (e.g. separating theories of Bounded Arithmetic) as well as to practical problems in SAT solving.

=== Invited Speakers ===

Albert Atserias (UPC Barcelona)
Jakob Nordstrom (KTH Royal Institute of Technology)
Pavel Pudlak (Czech Academy of Sciences)
Iddo Tzameret (Tsinghua University)

=== Submissions ===

We welcome 1-2-page abstracts presenting (finished, ongoing, or if clearly stated even recently published) work on proof complexity. Particular topics of interest are

*  Proof Complexity
*  Bounded Arithmetic
*  Relations to SAT solving
*  Relations to Computational Complexity

=== Submission Guidelines ===

Abstracts are invited of ongoing, finished, or (if clearly stated) even recently published work on a topic relevant to the workshop. 

The abstracts will appear in electronic pre-proceedings that will be distributed at the meeting.

Abstracts (at most 2 pages, in LNCS style) are to be submitted electronically in PDF via EasyChair

http://www.easychair.org/conferences/?conf=pc2014

Accepted communications must be presented at the workshop by one of the authors.

=== Program Committee ===

Arnold Beckmann (Swansea University)
Eli Ben-Sasson (Technion, Haifa)
Olaf Beyersdorff (University of Leeds) - chair
Jan Johannsen (LMU Munich) - chair
Massimo Lauria (KTH Royal Institute of Technology, Stockholm)

=== Organizers ===

Olaf Beyersdorff (University of Leeds)
Jan Johannsen (LMU Munich) 

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

3) ALCOP 2014: Algebra and Coalgebra meet Proof Theory - Call for Participation

15 - 16 May 2014

Queen Mary University of London

http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html

Aims and Scope
==============

The aim of this workshop is to bring together experts in algebra, coalgebra, and proof
theory to share ideas and methods. Everybody is welcome to attend the workshop. Giving
a talk is by invitation only.This is the fifth issue of this workshop. Previous meetings
were held in London, Bern, Prague and Utrecht. 

This meeting is partially sponsored by the British Logic Colloquium. 

Invited Speakers
================

- Samson Abramsky
- Michael Rathjen
- Sara Negri
- Marcelo Fiore
- Bart Jacobs

Plus 13 contributed talks. See full program at http://www.eecs.qmul.ac.uk/~pbo/workshops/ALCOP2014.html

Registration
============

There is no registration fee for attending the workshop, but we need to keep track of numbers.

Therefore, if you would like to attend the workshop please register by sending an email to the organisers Mehrnoosh Sadrzadeh and Paulo Oliva. Please also indicate whether you plan to join us for the workshop dinner in the evening of 15 May.