BLC Newsletter - April 2014

Registered Charity No 275541

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 (


 1) LAP 2014: Logic and Applications - Conference Announcement
 2) PSC 2014: Proof, Structure and Computation 2014 - Call for Papers
 3) CL&C 2014: Classical Logic and Computation - Final Call for Papers
 4) ALCOP 2014: Algebra and Coalgebra meet Proof Theory - Call for Participation



September 22-26, 2014, Dubrovnik, Croatia

The conference brings together researchers from various fields of logic with applications in computer science.
Topics of interest include, but are not restricted to:
- Formal systems of classical and non-classical logic;
- Category theory;
- Proof theory;
- Lambda calculus;
- Type theory
- Process algebras and calculi;
- Behavioural types;
- Systems of reasoning in the presence of incomplete, imprecise and/or contradictory information;
- Computational complexity;
- Interactive theorem provers.

Student sessions will be organized.

The first conference Proof Systems was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012.
LAP 2013 was held in Dubrovnik, September 16-20, 2013 (

Abstract Submission: June 2, 2014
Author Notification: June 30, 2014

Authors should submit an abstract in LaTeX format, not exceeding three pages, to
(with the subject "LAP 2014").

IUC - Inter University Center Dubrovnik

- Zvonimir Sikic, University of Zagreb
- Andre Scedrov, University of Pennsylvania
- Silvia Ghilezan, University of Novi Sad
- Zoran Ognjanovic, Mathematical Institute SANU, Belgrade


2) PSC 2014: Proof, Structure and Computation 2014 - Call for papers

CSL-LICS Workshop

July 17-18, 2014, Vienna, Austria

=== Highlights ===

 - PSC welcomes submissions of short abstracts: 1-2 pages in LNCS format
 - Invited speakers: Ulrich Berger and Martin Escardo
 - Post-proceedings are planned for a journal special issue

=== Important Dates ===

 1 May 2014 ...................... Abstract submission
 16 May 2014 ................... Notification to authors
 16 June 2014. ................. Camera-ready abstracts for electronic proceedings
 17-18 July 2014… .... PSC in Vienna

=== Scope ===

The extraction of computational content from proofs has a long tradition
in logic, but usually depends on a concrete encoding that allows us to
turn proofs into algorithms. A recent trend in this field is the departure
from such encoding which not only makes it simpler to represent the
mathematical content, but also makes the extracted computational content
encoding independent. This shift in focus allows us to focus on what is
relevant: the computational aspects of proofs and the specification (not
representation) of the structures involved. We now have growing evidence
that this move from representations (e.g. the signed digit representation
of the reals) to axioms (e.g. of the real numbers) is possible. This
development largely parallels the step from assembler to high level
languages in programming. As a by-product this move has already opened up
the possibility to gain computational information from axiomatic proofs in
more abstract and genuinely structural areas of mathematics such as
algebra and topology.

=== Invited Speakers ===

 Ulrich Berger (Swansea University, UK)
 Martin Escardo (University of Birmingham, UK)

=== Submissions ===

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

 *  Proof Theory
 *  Program Extraction
 *  Constructive Mathematics
 *  Topology and Computation
 *  Realisability Semantics
 *  Coalgebra and Computation
 *  Categorical Models
 *  Domain Theory
 *  Interval Analysis

=== Submission Guidelines ===

Abstracts are invited of ongoing, finished, or (if clearly stated) even
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 be submitted
electronically in PDF via EasyChair

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

=== Special Issue ===

We plan to invite extended versions of selected abstract with original
work to post-proceedings in a journal special issue. They will be
peer-reviewed according to the standard journal policy.

=== Program Committee ===

 Neil Ghani (University of Strathclyde, UK)
 Helle Hvid Hansen (Radboud University Nijmegen, NL)
 Rosalie Iemhoff (Utrecht University, NL)
 Bjoern Lellmann (TU Vienna, AT)
 Sara Negri (University of Helsinki, FI)
 Dirk Pattinson (ANU, AU), PC chair
 Dieter Probst (University of Bern, CH)
 Peter Schuster (University of Leeds, UK), PC chair
 Alex Simpson (University of Edinburgh, UK)
 Ana Sokolova (University of Salzburg, Austria), PC chair

=== Organizing Committee ===

 Dirk Pattinson (ANU, Australia), PC chair
 Peter Schuster (University of Leeds, UK), PC chair
 Ana Sokolova (University of Salzburg, Austria), PC chair

=== Contact ===


3) International Workshop on Classical Logic and Computation (CL&C'14)  

July, 13 2014
Vienna, Austria

CL&C'14 is a satellite workshop of CSL-LICS'14

Deadline for abstract:              April  4, 2014
Deadline for submission:            April 11, 2014
Notification of acceptance:         June   6, 2014
Final version due:                  June  25, 2014
Workshop date:                      July  13, 2014


CL&C'14 is the fifth of a conference series on Classical Logic and
Computation. It intends to cover all work aiming to explore
computational aspects of classical logic and classical proofs in

This year CL&C will be held as satellite workshop of the joint
meeting of CSL and LICS at the

           Vienna Summer of Logic (

CL&C is focused on the interplay between, on one side, the
exploration of the computational content of classical mathematical
proofs, and on the other side, the languages and the semantical
models proposed in computer science for this task: continuations,
game models, denotational models, learning models and so forth.
The scientific aim of this workshop is to bring together researchers
from both proof theory and computer science and to exchange ideas.


This workshop aims to support a fruitful exchange of ideas between
the various lines of research on Classical Logic and Computation.
Topics of interest include, but are not limited to:

- versions of lambda calculi adapted to represent classical logic;
- design of programming languages inspired by classical logic;
- cut-elimination for classical systems;
- proof representation for classical logic;
- translations of classical to intuitionistic proofs;
- constructive interpretation of non-constructive principles;
- witness extraction from classical proofs;
- constructive semantics for classical logic (e.g. game semantics);
- case studies (for any of the previous points).


 * Alexandre Miquel (Paris 7 University / Universidad de la Republica Uruguay)


We have room for informal talks, too. Therefore participants are
encouraged to present both: work in progress, overviews of more
extensive work, and programmatic / position papers, and completed

All submitted papers will be reviewed to normal standards. The PC
recognises two kinds of papers: it will distinguish between accepted
(full) papers that contain unpublished results not submitted
elsewhere, to be published on EPTCS, and presentations of (short)
papers about work in progress.

The accepted papers will be published in the open access electronic
journal EPTCS.

In order to make a submission:
- Format your file using the EPTCS (
  guidelines; there is a 15 page limit.
- Use the submission instructions at


* Jeremy Avigad (Carnegie Mellon)
* José Carlos Espírito Santo (Minho)
* Martin Escardo (Birmingham)
* Monika Seisenberger (Swansea)
* Paulo Oliva (Queen Mary University of London) - chair
* Stefano Berardi (University of Turin)
* Steffen van Bakel (Imperial College London)
* Thomas Streicher (Darmstadt University)


Paulo Oliva 


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

15 - 16 May 2014

Queen Mary University of London

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
 - Corina Cirstea
 - Marcelo Fiore
 - Bart Jacobs

Plus 13 contributed talks. See full program at


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.