[TYPES/announce] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024)

BN5ckZa_z_HWmNS1i4qn-egIpHmzc8oWbUGGvdYdLJrq-pLNhWTJd-CvXy5JYhmqz48uXV7Dynor11amN0EhIMdgX_c2eKYY$ -- Valeria de Paiva https://urldefense.com/v3/__http://vcvpaiva.github.io/__;!!IBzWLUs!S4GFlNH-BN5ckZa_z_HWmNS1i4qn-egIpHmzc8oWbUGGvdYdLJrq-pLNhWTJd-CvXy5JYhmqz48uXV7Dynor11amN0EhIMdgX1ceZLAg$ https://urlde

[TYPES/announce] FINAL Call for Papers: VIRTUAL Linearity & TLLA 2020

ir) https://www.unibo.it/sitoweb/ugo.dallago/en Valeria De Paiva (co-chair) http://vcvpaiva.github.io/ Harley Eades http://metatheorem.org/ Koko Muroya http://www.kurims.kyoto-u.ac.jp/~kmuroya/ Michele Pagani https://www.irif.fr/~michele/ Elaine Pimentel https://sites.google.com/site/elainepimente

[TYPES/announce] Second Call for Papers: VIRTUAL Linearity & TLLA 2020

it/sitoweb/ugo.dallago/en Valeria De Paiva (co-chair) http://vcvpaiva.github.io/ Harley Eades http://metatheorem.org/ Koko Muroya http://www.kurims.kyoto-u.ac.jp/~kmuroya/ Michele Pagani https://www.irif.fr/~michele/ Elaine Pimentel https://sites.google.com/site/elainepimentel/ Giselle R

[TYPES/announce] CfP Joint Linearity & TLLA Workshop

-pages paper) for publication in EPTCS (TBC). These submissions will undergo a second round of refereeing. PROGRAMME COMMITTEE Raphaelle Crubillé http://research.crubille.lautre.net/ Ugo Dal Lago (co-chair) https://www.unibo.it/sitoweb/ugo.dallago/en Valeria De Paiva (co-chair) http

[TYPES/announce] 5th Workshop on Natural Language and Computer Science NLCS '18 July 7-8, 2018

Simon Charlow, Rutgers University Valeria de Paiva, Nuance.com Thomas Graf, State University of New York, Stony Brook Martha Lewis, University of Oxford Larry Moss, Indiana University, Bloomington Christian Retoré, Université de Montpellier Mehrnoosh Sadrzadeh, Queen Mary University of London Annie

[TYPES/announce] Workshop on Natural Language and Computer Science (NLCS '13)

Valeria de Paiva, Nuance Communications Larry Moss, Indiana University PROGRAM COMMITTEE Valeria de Paiva, Nuance Bill MacCartney, Google and Stanford University Larry Moss, Indiana University Annie Zaenen, Stanford University -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http

[TYPES/announce] IMLA11: Call for Papers

Alechina (Nottingham, UK) Didier Galmiche (Nancy, FR) Hermann Hausler (PUC-RJ, BR) Valeria de Paiva (Birmingham, UK) CONTACTS Natasha Alechina (n...@cs.nott.ac.uk) Valeria de Paiva (valeria.depa...@gmail.com) -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www