Logic List Mailing Archive
CfA: (deadline tomorrow) Travel Awards for Proofs Rules and Meanings (11-12 April 2024 / St. Andrews)
Applications closing 10 January 2024:
ASL Student Travel Awards
Workshop: Proofs, Rules, and Meanings
11-12 April 2024
Arch Research Centre
University of St Andrews, Scotland
https://www.st-andrews.ac.uk/arche/event/workshop-proofs-rules-and-meanings/
Student Travel Awards
The Association of Symbolic Logic (ASL) is offering (limited) student trave
l awards to attend this workshop. The ASL strongly encourages applications
from women and members of minority groups. Applicants must be student membe
rs of the ASL. Applications must be received by 10th January 2024. For more
details, and to apply, see:
https://aslonline.org/meetings/student-travel-awards/
The Analysis Trust is also offering (limited) student awards to attend this
workshop, up to 50% of the full cost of accommodation. Travels costs are n
ot covered by this bursary. To apply for this funding, please fill out the
dedicated section of the workshop registration form (https://forms.office.c
om/e/ET0Jzv0eh7). Applications must be received by 10th February 2024.
About
Proof-theoretic semantics is a research programme that aims to determine th
e meaning of linguistic expressions by analysing their inferential use. It
was inspired by general proof theory, the logical research programme that l
ed to the development of the sequent calculus and natural deduction systems
. Proof-theoretic semantics was subsequently given its name by Peter Schroe
der-Heister (one of our speakers) in 1987. Since then, it has become a vibr
ant research field in philosophical, mathematical, computational and lingui
stic logic.
Emphasizing the interdisciplinary nature of the topics, this workshop will
feature presentations on:
1. the contemporary logical and philosophical dimensions of proof-theore
tic semantics;
2. its historical roots and precursors; and
3. its fruitful applications in philosophy, linguistics, computer scienc
e, mathematics, and beyond.
Confirmed Speakers
Sara Ayhan<https://sites.google.com/view/sara-ayhan/home> (Bochum)
Bogdan Dicher<http://bdicher.me/> (Lisbon) (keynote speaker)
Catarina Dutilh Novaes<https://www.cdutilhnovaes.com/> (VU Amsterdam)
Viviane Fairbank<https://vivianefairbank.ca/> (St Andrews)
Luca Incurvati<https://sites.google.com/site/lucaincurvati/home> (ILLC Amst
erdam)
Robin Martinot<https://www.uu.nl/medewerkers/RAMartinot> (Utrecht)
Sophie Nagler<https://research-portal.st-andrews.ac.uk/en/persons/sophie-em
ilie-nagler> (St Andrews/ILLC Amsterdam)
Elaine Pimentel<https://www.ucl.ac.uk/computer-science/about/equity-diversi
ty-and-inclusion/race-equality/community-spotlight/academic-staff/elaine> (
UCL)
Greg Restall<https://consequently.org/> (St Andrews)
Francisca Silva<https://research-portal.st-andrews.ac.uk/en/persons/francis
ca-silva> (St Andrews)
Peter Schroeder-Heister<https://uni-tuebingen.de/en/fakultaeten/mathematisc
h-naturwissenschaftliche-fakultaet/fachbereiche/informatik/lehrstuehle/logi
k-und-sprachtheorie/persons/prof-dr-peter-schroeder-heister/> (Tbingen)
Sara Uckelman<https://sluckelman.webspace.durham.ac.uk/> (Durham)
Registration Details
This will be a hybrid workshop, and there are no fees to attend. Please reg
ister using this online form: https://forms.office.com/e/ET0Jzv0eh7<https:/
/forms.office.com/e/ET0Jzv0eh7.><https://forms.office.com/e/ET0Jzv0eh7%3Cht
tps:/forms.office.com/e/ET0Jzv0eh7.%3E>
For any questions, please contact proofs@st-andrews.ac.uk<mailto:proofs@st-
andrews.ac.uk<mailto:proofs@st-andrews.ac.uk%3cmailto:proofs@st-andrews.ac.
uk>>
Partners
The workshop is organised in partnership with the Arch Metaphysics and L
ogic Research Group<https://www.st-andrews.ac.uk/arche/projects/metaphysics
-and-logic/> and the Arch Medieval Logic Research Group<https://www.st-a
ndrews.ac.uk/arche/projects/medieval-logic/>. It is funded by the Arch R
esearch Centre<https://www.st-andrews.ac.uk/arche/>, the Scots Philosophica
l Association<http://www.scotsphil.org.uk/>, the British Logic Colloquium<h
ttps://blc-logic.org/>, the Association for Symbolic Logic (ASL)<https://as
lonline.org/>, and the Analysis Trust<https://academic.oup.com/analysis/pag
es/the-analysis-trust?login=true>.
Organisers (St Andrews)
Viviane Fairbank
Sophie Nagler
Stephen Read
Greg Restall
Francisca Silva
Best wishes on behalf of the organisers,
Sophie Nagler [she/they]
PhD Student in Philosophy, Logic, Language and Computation
Arch Research Centre, University of St Andrews<https://www.st-andrews.ac
.uk/arche/>
Institute for Logic, Language and Computation, University of Amsterdam<http
s://www.illc.uva.nl/>
Email: sen1@st-andrews.ac.uk<mailto:sen1@st-andrews.ac.uk<mailto:sen1@st-an
drews.ac.uk%3cmailto:sen1@st-andrews.ac.uk>> | s.e.nagler@uva.nl<mailto:s.e
.nagler@uva.nl>
Homepage: https://research-portal.st-andrews.ac.uk/en/persons/sophie-emilie
-nagler
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php