---------- Forwarded message --------- Call for Registration 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/ Proof-theoretic semantics is a research programme that aims to determine the meaning of linguistic expressions by analysing their inferential use. It was inspired by general proof theory, the logical research programme that led to the development of the sequent calculus and natural deduction systems. Proof-theoretic semantics was subsequently given its name by Peter Schroeder-Heister (one of our speakers) in 1987. Since then, it has become a vibrant research field in philosophical, mathematical, computational and linguistic logic. Emphasizing the interdisciplinary nature of the topics, this workshop will feature presentations on: 1. the contemporary logical and philosophical dimensions of proof-theoretic semantics; 2. its historical roots and precursors; and 3. its fruitful applications in philosophy, linguistics, computer science, 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 Amsterdam) Robin Martinot<https://www.uu.nl/medewerkers/RAMartinot> (Utrecht) Sophie Nagler<https://research-portal.st-andrews.ac.uk/en/persons/sophie-emilie-nagler> (St Andrews/ILLC Amsterdam) Elaine Pimentel<https://www.ucl.ac.uk/computer-science/about/equity-diversity-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/francisca-silva> (St Andrews) Peter Schroeder-Heister<https://uni-tuebingen.de/en/fakultaeten/mathematisch-naturwissenschaftliche-fakultaet/fachbereiche/informatik/lehrstuehle/logik-und-sprachtheorie/persons/prof-dr-peter-schroeder-heister/> (Tübingen) 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 register using this online form: https://forms.office.com/e/ET0Jzv0eh7<https://forms.office.com/e/ET0Jzv0eh7.> For any questions, please contact pro...@st-andrews.ac.uk<mailto:pro...@st-andrews.ac.uk> Student Travel Awards The Association of Symbolic Logic (ASL) is offering (limited) student travel awards to attend this workshop. The ASL strongly encourages applications from women and members of minority groups. Applicants must be student members 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 not covered by this bursary. To apply for this funding, please fill out the dedicated section of the workshop registration form (https://forms.office.com/e/ET0Jzv0eh7). Applications must be received by 10th February 2024. Partners The workshop is organised in partnership with the Arché Metaphysics and Logic Research Group<https://www.st-andrews.ac.uk/arche/projects/metaphysics-and-logic/> and the Arché Medieval Logic Research Group<https://www.st-andrews.ac.uk/arche/projects/medieval-logic/>. It is funded by the Arché Research Centre<https://www.st-andrews.ac.uk/arche/>, the Scots Philosophical Association<http://www.scotsphil.org.uk/>, the British Logic Colloquium<https://blc-logic.org/>, the Association for Symbolic Logic (ASL)<https://aslonline.org/>, and the Analysis Trust<https://academic.oup.com/analysis/pages/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<https://www.illc.uva.nl/> -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljp6%2BaU2QEzJzUkdWCUS2zEnSREWGRNntsRPcmWcYFavg%40mail.gmail.com.