[TYPES/announce] 2nd CfP: Workshop "Proofs, Computation and Meaning", Tübingen 20-21 March 2020

[Luca Tranchini]

*Apologies for cross postings*

*******************************************************************************
Second CfP: Workshop "Proofs, Computation and Meaning"

University of Tübingen (Germany), 20-21 March 2020

http://ls.informatik.uni-tuebingen.de/PCM/

*******************************************************************************

SCOPE:

Around thirty years after the fall of Hilbert's program, the
proofs-as-programs paradigm established the view that a proof should not be
identified, as in Hilbert's metamathematics, with a string of symbols in
some formal system. Rather, proofs should consist in computational or
epistemic objects conveying evidence to mathematical propositions. The
relationship between formal derivations and proofs should then be analogous
to the one between words and their meanings.
This view naturally gives rise to questions such as “which conditions
should a formal arrangement of symbols satisfy to represent a proof?” or
“when do two formal derivations represent the same proof?". These questions
underlie past and current research in proof theory both in the theoretical
computer science community (e.g. categorical logic, domain theory, linear
logic) and in the philosophy community (e.g. proof-theoretic semantics).

In spite of these common motivations and historical roots, it seems that
today proof theorists in philosophy and in computer science are losing
sight of each other. This workshop aims at contributing to a renaissance of
the interaction between researchers with different backgrounds by
establishing a constructive environment for exchanging views, problems and
results.


*******************************************************************************

IMPORTANT DATES:

Extended abstract submission deadline: 15 January 2020
Student grant application deadline: 15 January 2020
Notification: 25 January 2020

Workshop: 20-21 March 2020
Warm-up for Master and PhD students: 19 March 2020


*******************************************************************************

INVITED SPEAKERS:

In addition to regular invited talks, the workshop includes two tutorials,
aimed at introducing recent ideas on the correspondence between proofs,
programs and categories as well as to the historical and philosophical
aspects of the notions of infinity and predicativity.

Tutorials:

- Laura Crosilla (University of Oslo)
- Noam Zeilberger (University of Birmingham)

Regular speakers:

- Bahareh Afshari (University of Gothenburg)
- Federico Aschieri (TU Vienna)
- Gilda Ferreira (Universidade Aberta, University of Lisbon)
- Dominic Hughes (UC Berkeley)
- Alberto Naibo (Paris 1 University)
- Gabriel Scherer (INRIA, Saclay)


*******************************************************************************

SUBMISSIONS:

We invite submissions for contributed talks on topics related to the themes
of the meeting. These include, but are not restricted to:

- Identity of proofs
- Graphical/diagrammatic representations of proofs
- Typed vs untyped proof theory
- Paradoxes and circular reasoning
- Constructivism and (im)predicativity
- Duality proofs/refutations
- Computational interpretations of classical and non-classical logics
- Non-deterministic/probabilistic aspects of computation
- Inductive/co-inductive constructions in proof theory and type theory
- (Higher-)categorical proof theory
- Substructural aspects of logic
- Philosophical and historical reflections on any of the above

Submissions should consist in a 1-2 pages extended abstract and should be
sent to luca.tranchini at gmail.com or paolo.pistone at uniroma3.it by 15 JANUARY
2020.


*******************************************************************************

CALL FOR PARTICIPATION AND TRAVEL GRANTS:

If you wish to attend without giving a talk, please send an e-mail to
luca.tranchini at gmail.com or paolo.pistone at uniroma3.it.

To encourage the participation of Master and PhD students we offer a
limited number of travel grants.

Moreover, a warm-up introducing the proofs-as-programs correspondence
between proof theory and type theory will be organized on 19 March the day
before the start of the workshop. (The warm-up will consists in two 2-hours
lectures by the organizers).

Finally, there might be possibility to get ECTS credits for PhD students
attending the workshop.


Travel grant applications must include a 1-page motivation letter and a cv
and must be sent to luca.tranchini at gmail.com or paolo.pistone at uniroma3.it
by 15 JANUARY 2020.


*******************************************************************************

REGISTRATION:

There will be a small registration fee (20 euros) covering both coffee
breaks and the social dinner to be paid on arrival.


*******************************************************************************

ORGANIZERS:

Luca Tranchini (Tübingen University), luca.tranchini at gmail.com
Paolo Pistone (Bologna University), paolo.pistone at uniroma3.it
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20191222/020c2994/attachment.html>