13-14 April 2007
Swansea, Wales
PCC'07 The 6th International Workshop on Proof Theory, Computation, Complexity April 13-14, 2007 Swansea, United Kingdom http://www.cs.swan.ac.uk/pcc07/ PCC'07 will be held in Swansea, on April 13-14, 2007. in conjunction with the British Mathematical Colloquium 2007 (BMC'07), April 16-19, 2007 (http://bmc.swansea.ac.uk/). PCC'07 is sponsored by the British Logic Colloquium. * Aims and Scope The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity. Past PCC Workshops were held in Ilmenau (2006), Lisbon (2005), Dresden (2004), Dresden (2003), Tuebingen (2002). * Contributions PCC is intended to be a lively forum for presenting and discussing recent work in a friendly and relaxed atmosphere. Participants who want to contribute a talk are asked to submit an abstract (LaTeX, 1-2 pages). The collection of abstracts will be available at the meeting. ** Deadline: March 2nd, 2007 ** Please send your abstract to: csulrich@swansea.ac.uk * Organisers Arnold Beckmann (Swansea), Ulrich Berger (Swansea), Birgit Elbl (Muenchen), Reinhard Kahle (Coimbra), Oliver Kullmann (Swansea), Karl-Heinz Niggl (Ilmenau), Monika Seisenberger (Swansea), Anton Setzer (Swansea) * Registration and workshop fee To register please send email to one of the organiser indicating whether you wish to give a talk. Please let us also know your time of arrival and departure and whether you need assistance in finding accommodation (see below). There is no fixed registration deadline, but in order to be able to help you with booking accommodation it is recommended to REGISTER AS EARLY AS POSSIBLE. The workshop fee is 20 GBP, payable in cash at the beginning of the workshop. Participation at PCC'07 is independent of participation at BMC'07, but we highly recommend to use the opportunity to take part at both events. For registration at BMC'07, see http://bmc.swansea.ac.uk/. * Accommodation Participants are asked to book accommodation on their own. Information on guest houses and hotels close to the University can be found on our web page. Please contact the organisers if you need assistance. * UK Student grants Some grants for UK students, sponsored by the British Logic Colloquium, are available. Please email csulrich@swansea.ac.uk for further information.