Mais um evento com Claudia Nalon como i.s. :)
*** Final Call for papers: Structures and Deduction 2017 *** SD17: 4th Int. Workshop on Structures and Deduction 2017 Oxford, 8-9 September 2017 --- Affiliated with FSCD 2017 Submission: 16 June Notification: 21 July Workshop page: http://www.anupamdas.com/sd17/ Submission page: http://easychair.org/conferences/?conf=sd17 FSCD 2017 page: http://www.cs.ox.ac.uk/conferences/fscd2017/ *** Topics of interest *** * Syntactic representations of proofs (e.g. sequent calculi, deep inference, focussing) * Combinatorial representations of proofs (e.g. proof nets) * Algebraic representations of proofs (e.g. via game semantics or category theory) * Methods for proof manipulation and normal forms of proofs * Formulas-as-types interpretations of proofs * Computation and rewriting in proof search (e.g. deduction modulo or fixed point definitions) * Complexity theoretic aspects of proof representations *** Invited Speakers *** Bahareh Afshari David Baelde Stefano Berardi Claudia Nalon Michel Parigot *** Programme Committee *** Andrea Aler Tubella James Brotherston Kaustuv Chaudhuri Anupam Das Willem Heijltjes Kenji Miyamoto Giselle Reis *** Workshop *** SD17 is the fourth in a series of meetings that brings together researchers in different areas of proof theory. The main interest is in new algebraic and geometric results in proof theory which expand our abilities to manipulate proofs, help to reduce bureaucracy in deductive systems, and ultimately lead to new methods for proof search and new kinds of proof certificates. There have been three previous editions of Structures and Deduction, the last of which occurred in 2014. Since then there has been a tremendous amount of progress in the area, witnessed by multiple recent funded projects. As well as theoretical work in the form of regular papers, we encourage submission of implementations, tools and system descriptions. *** Submission guidelines *** We welcome submission of work that has already been published or currently submitted to a journal or conference. The following submission categories are welcome: * Extended abstracts (6-8 pages). Finished work, system descriptions, surveys. * Short abstracts (2-4 pages). Work-in-progress, perspectives on existing work. The page limits above are only recommendations, there is no hard upper or lower bound, within reason. Style files: http://www.easychair.org/publications/for_authors Submission page: http://easychair.org/conferences/?conf=sd17 *** Publication *** We do not intend to have published proceedings, as we encourage people to present work in progress, or material that is already submitted. If there is a strong demand among the participants we may organise a special issue of an open access journal for full papers. *** Contact *** We can be reached by email directly or via s...@easychair.org The organisers. Kaustuv Chaudhuri -- Elaine. ------------------------------------------------- Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Phone: +55 84 3215-3820 http://sites.google.com/site/elainepimentel/ Lattes: http://lattes.cnpq.br/3298246411086415 -------------------------------------------------------- -- 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/CAHQVs%2BUq62nicpF%3DaMUsuBB0hrNU1WEhoQwea2Aq84b3FuN6Vg%40mail.gmail.com.
