Logic List Mailing Archive

CfP: 5th Symposium on Proof-Theoretic Semantics, 4-6 Feb 2025, London (UK)

[Apologies for cross-posting]



We are delighted to announce the 5th Symposium on Proof-Theoretic Semantics
, which will take place 4th-6th of February at the Centre for Logic, Langua
ge, and Information (CeLLI)<https://philosophy.sas.ac.uk/centres-partnershi
ps/celli>, Institute of Philosophy<https://philosophy.sas.ac.uk/> (London, 
UK).



This symposium will bring together researchers interested in the foundation
s and applications of proof-theoretic semantics-a field that explores the p
hilosophical and mathematical underpinnings of meaning via inferential role
s and proof structures.



Key Topics

The symposium will cover a wide range of topics, including but not limited 
to:

  *   Sounds and completeness of various logical systems
  *   Mathematical treatments of proof-theoretic semantics
  *   Interpretation of logical inferentialism
  *   Application to reasoning and practical problems
  *   Broader philosophical considerations
  *   Proportional, first- and higher-order logic, substructural logic, mod
al logic, and so on



Speakers

  *   Sara Ayhan<https://sites.google.com/view/sara-ayhan/> (Ruhr Universit
y Bochum, Germany)
  *   Yll Bozoku<https://www.homepages.ucl.ac.uk/~zcapybu/> (University Col
lege London, UK)
  *   Antonio d'Arangona<https://sites.google.com/site/piccdarag> (Universi
ty of Tbingen, Germany)
  *   Jan Derry<https://scholar.google.co.uk/citations?user=Cd045sYAAAAJ&
hl=en> (University College London, UK)
  *   Bartosz Kaluzinski<https://orcid.org/0000-0001-5796-4925> (Uniwersyte
t im Adama Mickiewicza w Poznaniu, Poland)
  *   Victor Nascimento<https://philpeople.org/profiles/victor-barroso-nasc
imento> (University College London, UK)
  *   Sophie Nagler<https://research-portal.st-andrews.ac.uk/en/persons/sop
hie-emilie-nagler> (University of St Andrews, UK)
  *   Thomas Piecha<https://uni-tuebingen.de/en/fakultaeten/mathematisch-na
turwissenschaftliche-fakultaet/fachbereiche/informatik/lehrstuehle/logik-un
d-sprachtheorie/persons/dr-thomas-piecha/> (University of Tbingen, Germa
ny)
  *   Gabriel Pulcini<https://mondodomani.org/filosofiatorvergata/chisiamo/
docenti/pulcini/> (University of Rome Tor Vergata, Italy)
  *   Tor Sandqvist<https://www.kth.se/profile/tosa/?l=en> (KTH Royal Ins
titute of Technology, Sweden)
  *   Luca Tranchini<https://sites.google.com/site/lucatranchini/> (Univers
ity of Tbingen, Germany)





Registration and Further Information

Attendance is free, but registration is required. Please visit our website 
for further details: https://sites.google.com/view/pts-symposium-uk/home



We warmly invite researchers, students, and anyone with an interest in proo
f-theoretic semantics to join us for this exciting event.



For inquiries, feel free to contact us at a.v.gheorghiu@soton.ac.uk<mailto:
a.v.gheorghiu@soton.ac.uk>



We look forward to seeing you there!


-
Dr. Alexander V. Gheorghiu

New Frontiers Fellow
Cyberphysical Systems Group
School of Electronics and Computer Science (ECS)
University of Southampton

Honorary Research Fellow
Principles of Programming Languages, Logic, and Verification
Department of Computer Science
University College London

a.v.gheorghiu@soton.ac.uk<mailto:a.v.gheorghiu@soton.ac.uk>
https://www.alexandergheorghiu.com/

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php