gmane.science.mathematics.prooftheory

[PT] Explicit Paradigms in Logic and Computer Science

Thomas Studer — 2012-05-22T12:46:36

Call for Participation
Explicit Paradigms in Logic and Computer Science

June 4-6 2012
Bern, Switzerland

http://www.expa12.unibe.ch/index.php

For a preliminary PROGRAM scroll down to the end of this email


Explicitness plays an important role in many parts of mathematics and computer science. Constructive and intuitionistic proofs, for example, provide explicit witnesses for existential assertions. In the area of explicit mathematics, operations and types are explicitly given by terms of the language.

These traditional and well-established areas are complemented by more recent developments. Justification logics, the first of which was conceived 20 years ago in Bern, are natural extensions of modal logics with the capability of unfolding belief and knowledge modalities into explicit justification terms. Even more recent are infon logics, which have been developed in the context of distributed authorization and deal with pieces of information explicitly.

The purpose of this workshop is to provide a platfo

[PT] Workshop "Réalisabilité in Chambéry #5"

Tom Hirschowitz — 2012-05-20T18:58:59

Greetings to all!

This is the second announcement for the fifth workshop "Réalisabilité à 
Chambéry".

This year's workshop will take place from Tuesday the 5th of June to 
Friday the 8th of June.

The invited speakers are:
    - Martin Hofmann (Munich): "Proof-relevant logical relations",
    - Jonas Frey (Paris): "Basic relational objects as an algebraic 
  framework for realizability"
    - Jean-Louis Krivine (Paris): classical realizability, TBA,
    - Alexandre Miquel (Lyon): realizability model for set theory, TBA.

The program will be made available shortly here:
    http://lama.univ-savoie.fr/~hyvernat/Realisabilite2012/program.php

Note that the meeting will start on Tuesday the 5th, at 2'00 pm.



Partial information is gathered on the web page:
     http://lama.univ-savoie.fr/~hyvernat/Realisabilite2012/
and you can (should) register for the workshop there:
     http://lama.univ-savoie.fr/~hyvernat/Realisabilite2012/registration.php



There will be sessions for contributed talks, and PhD stu

[PT] Tier I Canada Research Chair in Logic and the Philosophy of Science

Richard Zach — 2012-05-19T20:23:18

[My department is advertising for a senior position in logic or 
philosophy of science.  We are looking for a high-profile researcher at 
or near the Full Professor level who can build up the department's 
profile, attract and train graduate students in philosophy, and has 
experience obtaining outside funding. The job is pretty cushy, with a 
1-1 teaching load, competitive pay, and is a tenured permanent position. 
Note that since this is a search under the CRC program there is no 
requirement to give preference to Canadians. The department's website is 
at http://www.phil.ucalgary.ca/]

The Department of Philosophy at the University of Calgary invites 
applications and nominations for a Tier I Canada Research Chair in Logic 
and the Philosophy of Science. The Canada Research Chairs program has 
been established by the Government of Canada to enable Canadian 
universities to foster excellence in research and teaching. Further 
information on the program is available on the CRC website at 
www.chairs.gc.ca.

[PT] 2nd CFP: CPP 2012 - 2nd International Conference on Certified Programs and Proofs

Chris Hawblitzel — 2012-05-16T23:46:49

The deadline for submitting to CPP 2012 is June 8, 2012.

                The Second International Conference on
               Certified Programs and Proofs (CPP 2012)
                           CALL FOR PAPERS

                             Kyoto, Japan
                         December 13-15 2012
                  http://cpp12.kuis.kyoto-u.ac.jp/

                      co-located with APLAS 2012
                 http://aplas12.kuis.kyoto-u.ac.jp/

CPP is a new international forum on theoretical and practical topics
in all areas, including computer science, mathematics, and education,
that consider certification as an essential paradigm for their work.
Certification here means formal, mechanized verification of some sort,
preferably with production of independently checkable certificates.
We invite submissions on topics that fit under this rubric.

The first CPP conference was held in Kenting, Taiwan during December
7-9, 2011. As with the first meeting, the proceedings will be
published in Springer-Verlag's

[PT] HOPE 2012 (a new workshop co-located with ICFP): Call for Talk Proposals

Amal Ahmed — 2012-05-16T19:04:20

                    CALL FOR TALK PROPOSALS

                           HOPE 2012

                The 1st ACM SIGPLAN Workshop on
              Higher-Order Programming with Effects

                       September 9, 2012
                      Copenhagen, Denmark
                   (the day before ICFP 2012)

                  http://hope2012.mpi-sws.org


HOPE is a *new workshop* that is intended to bring together
researchers interested in the design, semantics, implementation, and
verification of higher-order effectful programs. It will be
*informal*, consisting of invited talks, contributed talks on work in
progress, and open-ended discussion sessions. This 1st edition of HOPE
is dedicated to John Reynolds, whose work is an inspiration to us all.


---------------------
Goals of the Workshop
---------------------

A recurring theme in many papers at ICFP, and in the research of many
ICFP attendees, is the interaction of higher-order programming with
various kinds of effects: storage effects, I/O, cont

[PT] JELIA: Logics in Artificial Intelligence, Toulouse, 26-28 Sep 2012

Andreas Herzig — 2012-05-16T12:47:04

JELIA 2012 CALL FOR PAPERS
==========================

12th European Conference on Logics in Artificial Intelligence - Toulouse, France, September 26-28, 2012
http://www.irit.fr/jelia2012

Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on Logics in Artificial Intelligence (or Journees Europeennes sur la Logique en Intelligence Artificielle --- JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organized biennially, with English as the official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence series. In 2012 the conference is organized in Toulouse, France. The increasing interest in this forum, its intern

[PT] E. W. Beth Dissertation Prize: 2012 new call for nominations

A. Herzig — 2012-05-15T08:01:59

E. W. Beth Dissertation Prize: 2012 new call for nominations

Since 2002, FoLLI (the Association for Logic, Language, and
Information, http://www.folli.org) awards 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 in the year 2011. The dissertations will be
judged on technical depth and strength, originality, and impact made
in at least two of three fields of Logic, Language, and Computation.
Interdisciplinarity is an important feature of the theses competing
for the E.W. Beth Dissertation Prize.

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,
2011 and December 31st, 2011. There is no restriction on the
nationality of the candidate or the university where the Ph.D. was
granted. After a careful consideration, FoLLI has decided to accept
only dissertations writt

[PT] Call for papers GandALF 2012 -- EXTENDED DEADLINE

Nello Murano — 2012-05-10T14:29:00

[We apologize if you have received multiple copies of this message]

*****************************************************************
          ------            GandALF 2012            -----
*****************************************************************

Third International Symposium on Games, Automata, Logics, and Formal
Verification
Napoli, Italy, September 6th-8th, 2012

http://www.gandalf.unina.it

Co-located with GAMES 2012

      ******************************************************
      |         CALL FOR PAPERS (EXTENDED DEADLINE)        |
      ******************************************************


OBJECTIVES

The aim of the symposium is to bring together researchers from academia
and industry which are actively working in the fields of Games, Automata,
Logics, and Formal Verification. The idea is to cover an ample spectrum of
themes, ranging from theory to applications, and stimulate
cross-fertilization. Papers focused on formal methods are especially
welcome. Authors are invited to submit

[PT] University of Bath Prize Fellow - 21/5 deadline approaching

Alessio Guglielmi — 2012-05-10T09:11:45

Hello,

I would like to advertise the following positions 
at the University of Bath. In particular we are 
looking for applicants in the area `Software 
verification and correctness´.

Ciao,

-Alessio


Software verification and correctness

We aim to build on the existing strengths within 
the Mathematical Foundations group in the 
Department of Computer Science. The group 
comprises Prof Guy McCusker and Dr Jim Laird 
(semantics), Dr Alessio Guglielmi (proof theory), 
Dr John Power (category theory) and Prof James 
Davenport (computer algebra).

We seek to strengthen its activities via the 
appointment of a Prize Fellow in software 
verification & correctness, to be understood 
broadly, to complement existing expertise; it 
would also be desirable to strengthen connections 
with other groups in the department, particularly 
with Dr Marina De Vos and Dr Julian Padget in the 
Intelligent Systems group. The Fellow would be 
coming into a well-resourced, lively group that 
runs a weekly seminar series, which

[PT] ESSLLI 2012 call for participation

A. Herzig — 2012-05-09T15:30:00

********************************************************************************
CALL FOR PARTICIPATION AT ESSLLI 2012
Meeting: 24th European Summer School in Logic, Language and
Information (ESSLLI)
Date: 06-Aug-2012 - 17-Aug-2012
Location: Opole, Poland
Meeting URL: http://www.esslli2012.pl
Early registration deadline: 15-06-2012
********************************************************************************

**Meeting Description**

For the past 24 years, the European Summer School in Logic, Language
and Information (ESSLLI) has been organized every year by the
Association for Logic, Language and Information (FoLLI) in different
sites around Europe. The main focus of ESSLLI is on the interface
between linguistics, logic and computation.

ESSLLI offers foundational, introductory and advanced courses, as well
as workshops, covering a wide variety of topics within the three areas
of interest: Language and Computation, Language and Logic, and Logic
and Computation. Previous summer schools have been highly su

[PT] ESSLLI 2013: call for course and workshop proposals

Johan Bos — 2012-05-09T09:48:06

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

             Call for Course and Workshop Proposals

                         ESSLLI 2013

  25th European Summer School in Logic, Language and Information

                    Duesseldorf, Germany

                     August 5-16, 2013

                   http://esslli2013.de/

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

IMPORTANT DATES
===============

  15 June 2012:      Proposal submission deadline
  15 September 2012: Notification
  1 June 2013:       Course material due


TOPICS AND FORMAT
=================

Proposals for courses and workshops at ESSLLI'2013 are invited in all
areas of Logic, Linguistics and Computing and Information Sciences.
Cross-disciplinary and innovative topics are particularly encouraged.

Each course and workshop will consist of five 90 minute sessions,
offered daily (Monday-Friday) in a single week.  Proposals for two-week
courses should be structured and submitted as two independent

[PT] Last CFP: Workshop on Logics for Resources, Processes and Programs (LRPP 2012)

Pym, Professor David J. — 2012-05-08T17:30:47

------------------------------------------------------------------------------
Call For Papers

Workshop on Logics for Resources, Processes and Programs
(LRPP 2012)

1st July 2012, Manchester, UK

(affiliated with IJCAR 2012, Manchester, UK)

http://www.loria.fr/~galmiche/LRPP2012.html

Extended deadline: May 20, 2012
----------------------------------------------------------------------

A one day workshop on `Logics for Resources, Processes, and Programs'
will be held the 1st July 2012 in conjunction with the IJCAR 2012
Conference in Manchester, UK, with D. Galmiche and D. Pym as organizers.

The purpose of this workshop would be to discuss recent results on
logics, including systems formulated in the style of Hoare and
Hennessy-Milner, for modelling resources, processes, programs, and
their interactions. We envisage a range of perspectives:
proof-theoretic foundations, including decidability and complexity;
semantic foundations (e.g., new resource semantics); specification of
properties and behaviours; ve

[PT] SLS2012 Deadline extension

Thomas Bolander — 2012-05-01T13:31:30

8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University,
DENMARK

Third Announcement and Call for Papers

The 8th Scandinavian Logic Symposium will be held at Roskilde University, Trekroner,
Denmark, 20-21 August 2012.

After a gap of fifteen years, the Scandinavian Logic Symposium is back. The
Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS,
http://scandinavianlogic.org/) and will be held at Roskilde University (RUC), Denmark.

As with previous editions of this conference, the aim of the programme is to reflect current
activity in logic in our part of the world. So we hope that participants from Scandinavia, the Baltic
countries and Northwestern Russia will take the opportunity to contribute a talk and to meet
with fellow logicians from the area. But needless to say, we also extend a warm welcome to
logicians from further afield and plan to present a varied and interesting collection of invited and
contributed talks.

TOPICS
The scope of SLS 201

[PT] Third Announcement and CFP: 8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK - Extended deadline

Erik Palmgren — 2012-04-28T14:24:22


8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University,

DENMARK

Third Announcement and Call for Papers

The 8th Scandinavian Logic Symposium will be held at Roskilde University, Trekroner,
Denmark, 20-21 August 2012.

After a gap of fifteen years, the Scandinavian Logic Symposium is back. The
Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS,
http://scandinavianlogic.org/) and will be held at Roskilde University (RUC), Denmark.

As with previous editions of this conference, the aim of the programme is to reflect current
activity in logic in our part of the world. So we hope that participants from Scandinavia, the Baltic
countries and Northwestern Russia will take the opportunity to contribute a talk and to meet
with fellow logicians from the area. But needless to say, we also extend a warm welcome to
logicians from further afield and plan to present a varied and interesting collection of invited and
contributed talks.

TOPICS
The scope of SLS

[PT] European Master's Program in Computational Logic [from Bertram Fronhoefer]

Paola Bruscoli — 2012-04-25T14:39:35

Dear all,

I'd like to draw your attention to the fact that applications for the
European Master's Program in Computational Logic are still possible
UNTIL 31 May 2012.  A limited number of small scholarships is
available
(see: http://www.emcl-study.eu/grants.html).
More details are given below.

Please spread this information as wide as possible among friends and
colleagues, at your old universities and the places, where you
currently live and work.

Many thanks -- Steffen

********************************************************************
The European Master's Program in Computational Logic

We are glad to announce to you the possibility to join our European
Master's Program of Computational Logic. This program is offered
jointly at the Free-University of Bozen-Bolzano in Italy, the
Technische Universit=E4t Dresden in Germany, the Universidade Nova de
Lisboa in Portugal and the Technische Universit=E4t Wien in
Austria. Within this program you have the choice to study at two
/three of the four European uni

[PT] Postdoc position in proof theory in Marseille, IML

2012-04-20T12:06:12


[Apologies for multiple posting]

The French ANR project LOGOI is inviting applications for a postdoctoral
position within the team Logique de la Programmation (LDP) of the Institut de
MathÈmatiques de Luminy (IML) in Marseille, France.


Context
-------

The LOGOI project pursues the programme of Geometry of Interaction (GoI),
which aims at a reconstruction of logic from interaction as the primitive
notion, considered as an abstract counterpart of cut elimination. This
programme has started together with linear logic and has evolved since its
early days, from the limited case of multiplicatives to recent developments
involving the theory of operator algebras and providing a strikingly new
perspective on implicit complexity via light logics.

The goals of the LOGOI project are on one side to better understand and refine
the current theory of GoI, and on the other side to draw on the novel tools and
concepts provided by this framework, in order to propose a new structured
approach to proof theory and its c

[PT] Grants and Reminder: ESSLLI 2012 Student Session (deadline April 30)

Rasmus K. Rendsvig — 2012-04-20T10:01:25

[apologies for multiple postings]
*
*
*** PLEASE Forward to students who could have interest in attending this 
years ESSLLI***

Reminder and Grants Info
*ESSLLI 2012 STUDENT SESSION*

Held during
The 24th European Summer School
in Logic, Language and Information

Opole, Poland, August 6-17, 2012

*EXTENDED DEADLINE: APRIL 30, 2012*
http://loriweb.org/ESSLLI2012StuS/

This is a reminder of the final, extended deadline for submission to the 
ESSLLI 2012 Student Session and a notification that the ESSLLI 2012 OC 
are offering grants in form of waived fees to selected students. 
Preferences will be given to students actively participating in the 
Student Session.

The deadline for submitting to the ESSLLI 2012 StuS is***APRIL 30***

For more information of grant application, instructions for authors and 
important dates, please refer to the Student Session website: 
http://loriweb.org/ESSLLI2012StuS/

[PT] European PhD Program in Computational Logic (EPCL) [from Bertram Fronhoefer]

Paola Bruscoli — 2012-04-19T07:46:53

Please distribute this call to everybody you think intrested in.
    ======================================================
       European PhD Program in Computational Logic (EPCL)

     ======================================================
             http://www.epcl-study.eu/                     CALL FOR APPLICATIONS

The European PhD Program in Computational Logic (EPCL) is run jointly
by four of the leading European universities in the field:

- Free University of Bozen-Bolzano (Italy),
- Technische Universität Dresden (Germany),
- Technische Universität Wien (Austria), and
- Universidade Nova de Lisboa (Portugal).

Further international universities, research organizations and
enterprises which contribute to Computational Logic or apply results
from it are involved as associated partners: The Simon Fraser
University (Canada), the Universidad de Chile, the National ICT
Australia Limited (NICTA), and several companies.

The program involves three years of PhD study in at least two of the
European par

[PT] University of Bath Prize Fellow

Alessio Guglielmi — 2012-04-16T17:38:58

Hello,

I would like to advertise the following positions 
at the University of Bath. In particular we are 
looking for applicants in the area `Software 
verification and correctness´.

Ciao,

-Alessio


Software verification and correctness

We aim to build on the existing strengths within 
the Mathematical Foundations group in the 
Department of Computer Science. The group 
comprises Prof Guy McCusker and Dr Jim Laird 
(semantics), Dr Alessio Guglielmi (proof theory), 
Dr John Power (category theory) and Prof James 
Davenport (computer algebra).

We seek to strengthen its activities via the 
appointment of a Prize Fellow in software 
verification & correctness, to be understood 
broadly, to complement existing expertise; it 
would also be desirable to strengthen connections 
with other groups in the department, particularly 
with Dr Marina De Vos and Dr Julian Padget in the 
Intelligent Systems group. The Fellow would be 
coming into a well-resourced, lively group that 
runs a weekly seminar series, which

[PT] LOLA 2012: Call for Talk Proposals (deadline extended)

Amal Ahmed — 2012-04-14T20:12:05

*** Submission deadline extended to April 19th ***

============================================================

          *** CALL FOR TALK PROPOSALS ***

                    LOLA 2012

    Syntax and Semantics of Low Level Languages

     Sunday 24th June 2012, Dubrovnik, Croatia

          A LICS 2012-affiliated workshop 
     http://www.ccs.neu.edu/home/amal/lola2012

============================================================

IMPORTANT DATES

Submission deadline     Thursday  19th  April 2012  (extended)
Author notification     Monday    30th  April 2012
Workshop                Sunday    24th  June  2012

SUBMISSION LINK

The submissions will be made by easychair at
https://www.easychair.org/conferences/?conf=lola2012

DESCRIPTION OF THE WORKSHOP

It has been understood since the late 1960s that tools and structures
arising in mathematical logic and proof theory can usefully be applied
to the design of high level programming languages, and to the
development of reasoning principles for such language

[PT] LOLA 2012: Final Call for Talk Proposals

Amal Ahmed — 2012-04-11T18:07:48

============================================================

        *** FINAL CALL FOR TALK PROPOSALS ***

                    LOLA 2012

    Syntax and Semantics of Low Level Languages

     Sunday 24th June 2012, Dubrovnik, Croatia

          A LICS 2012-affiliated workshop 
     http://www.ccs.neu.edu/home/amal/lola2012

============================================================

IMPORTANT DATES

Submission deadline     Friday  13th  April 2012
Author notification     Monday  30th  April 2012
Workshop                Sunday  24th  June  2012

SUBMISSION LINK

The submissions will be made by easychair at
https://www.easychair.org/conferences/?conf=lola2012

DESCRIPTION OF THE WORKSHOP

It has been understood since the late 1960s that tools and structures
arising in mathematical logic and proof theory can usefully be applied
to the design of high level programming languages, and to the
development of reasoning principles for such languages. Yet low level
languages, such as machine code, and the compilati