Corrigindo o website (atual): https://sites.google.com/site/imodallogic2013/imla2017
JM On Thu, Dec 1, 2016 at 10:21 PM, Valeria de Paiva <valeria.depa...@gmail.com> wrote: > [Apologies if you receive multiple copies] > --- Call for Papers --- > > 7th Workshop on Intuitionistic Modal Logic and Applications > https://sites.google.com/site/imla2017toulouse/ > > Affiliated with the 29th European Summer School in Logic, Language, and > Information (ESSLLI2017), University of Toulouse (France), 17-28 July, 2017 > > Constructive modal logics and type theories are of increasing foundational > and practical relevance in computer science. Applications of constructive > modal logics in type disciplines for programming languages, meta-logics for > reasoning about a variety of computational phenomena and explanatory > frameworks in philosophical logic are everywhere. > > The workshop aims at developing and explaining theoretical and > methodological issues around the question of how the proof-theoretic > strengths of constructive logics can best be combined with the > model-theoretic strengths of modal logics. Practical issues center around > the question of which modal connectives with associated laws or proof rules > capture computational phenomena accurately and at the right level of > abstraction. > > In its seventh edition, the Workshop on Intuitionistic Modal Logic and > Applications will take place in Toulouse France, in conjunction with the > 29th ESSLLI. > > Topics of interest to this forum include, but are not limited to: > > * Modal Logics > * Logical frameworks > * Proof theory > * Type theory > * Automated deduction > * Formal semantics of languages and systems > * Applications > > IMLA 2017 also aims to be a forum for presenting and discussing work > in progress, and therefore to provide feedback to authors on their > preliminary research. > > Submissions > > Contributions should be written in English and submitted in the form > of full papers (with a maximum of 12 pages) or short papers (with > a maximum of 6 pages). They must be unpublished and not submitted > simultaneously for publication elsewhere. The papers should be prepared > in latex using EPTCS style. The submission should be in the form of a > PDF file uploaded to IMLA 2017 page at Easychair > > https://www.easychair.org/conferences/?conf=imla2017 > > until the submission deadline in March 1st, 2017, anywhere on Earth. > > At least one of the authors should register for the conference. > > The paper presentation should be in English. > > Important Dates > > Paper submission deadline: March 1st, 2017 > Author notification: April 15th, 2017 > Contribution for Proceedings: 15 May 2017 > Final program [and Proceedings]: 1 June 2017 > > > Scientific and Organizing Committee > > * Sergei Artemov, (CUNY, USA) co-chair > * Valeria de Paiva (Nuance Comms, USA) co-chair > * Mario Benevides (COPPE-IM, Rio, BR) > * Elaine Pimentel (DMAT, UFRN, BR) > * Natasha Alechina (Computer Science, University of Nottingham, UK) > * Rosalie Iemhoff (Utrecht University, The Netherlands) > * Tudor Protopopescu (Higher School of Economics Moscow, RU) > * Giuseppe Primiero (Middlesex University London, UK) > > > > > -- > Valeria de Paiva > http://research.nuance.com/author/valeria-de-paiva/ > http://www.cs.bham.ac.uk/~vdp/ > http://valeriadepaiva.org/ > > -- > Você recebeu essa mensagem porque está inscrito 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXu5yRw7biZXhYG6oBWyNVRJ_u8YzvBTMGaUk9Xt59%3D-PA%40mail.gmail.com. -- http://sequiturquodlibet.googlepages.com/ -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhJEVUknN0NYM9pakKDXv7U9aTFeMQcKPBj1FVGuaxMUg%40mail.gmail.com.
