[Logica-l] Logica Universalis, Volume 13, Issue 1, March 2019
Logica Universalis, 13-1 (2019), Springer Nature, Switzerland https://link.springer.com/journal/11787/13/1 1st World Logic Day: 14 January 2019 Jean-Yves Beziau https://link.springer.com/article/10.1007/s11787-019-00221-5 A Bunch of Diagrammatic Methods for Syllogistic Frank Thomas Sautter https://link.springer.com/article/10.1007/s11787-019-00220-6 Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with Classical Negation: A General Framework Norihiro Kamide https://link.springer.com/article/10.1007/s11787-018-0218-3 Structural Rules for Multi-valued Logics Nissim Francez, Michael Kaminski https://link.springer.com/article/10.1007/s11787-019-00219-z Duality Results for (Co)Residuated Lattices Chrysafis Hartonas https://link.springer.com/article/10.1007/s11787-018-0217-4 Logical Consequence in Avicenna’s Theory Saloua Chatti https://link.springer.com/article/10.1007/s11787-018-0210-y Correction to: Sequent Systems for Negative Modalities Ori Lahav, João Marcos, Yoni Zohar https://link.springer.com/article/10.1007/s11787-017-0183-2 -- 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/CAF2zFLB%2BtGH6M4KjFDd1kCKVXc18e-EKbS5zPZHwkC2Afxx39g%40mail.gmail.com.
[Logica-l] LFMTP 2019
= Call for papers Logical Frameworks and Meta-Languages: Theory and Practice LFMTP 2019 Vancouver, CA, 22 June 2019 Affiliated with LICS 2019 http://lfmtp.org/workshops/2019/ = Abstract submission deadline: 25 March 2019 Paper submission deadline: 1 April 2019 Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process. LFMTP 2019 will provide researchers a forum to present state-of-the-art techniques and discuss progress in areas such as the following: * Encoding and reasoning about the meta-theory of programming languages, logical systems and related formally specified systems. * Theoretical and practical issues concerning the treatment of variable binding, especially the representation of, and reasoning about, datatypes defined from binding signatures. * Logical treatments of inductive and co-inductive definitions and associated reasoning techniques, including inductive types of higher dimension in homotopy type theory * Graphical languages for building proofs, applications in geometry, equational reasoning and category theory. * New theory contributions: canonical and substructural frameworks, contextual frameworks, proof-theoretic foundations supporting binders, functional programming over logical frameworks, homotopy and cubical type theory. * Applications of logical frameworks: proof-carrying architectures, proof exchange and transformation, program refactoring, etc. * Techniques for programming with binders in functional programming languages such as Haskell, OCaml or Agda, and logic programming languages such as lambda Prolog or Alpha-Prolog. Important Dates Abstract submission deadline: Monday March 25 Submission deadline: Monday April 1 Notification to authors: Monday April 30 Final version due:Monday May 21 Workshop date:Saturday June 22 Submission In addition to regular papers, we accept the submission of "work in progress" reports, in a broad sense. Those do not need to report fully polished research results, but should be of interest for the community at large. Submitted papers should be in PDF, formatted using the EPTCS style guidelines. The length is restricted to 15 pages for regular papers and 8 pages for "Work in Progress" papers. Submission is via EasyChair: https://easychair.org/conferences/?conf=lfmtp2019 Proceedings A selection of the presented papers will be published online in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Program Committee * Danel Ahman (University of Ljubljana) * Amy Felty (University of Ottawa) * James Murdoch Gabbay (Heriot-Watt University, UK) * Daniel Hirschkoff (ENS Lyon) * Ralph Matthes (IRIT-Université Paul Sabatier) * Dale Miller (Inria-Saclay and LIX Ecole Polytechnique, France), co-chair * Elaine Pimentel (Federal University of Rio Grande do Norte, Brazil) * Florian Rabe (University of Paris South) * Ivan Scagnetto (University of Udine, Italy), co-chair * Gert Smolka (Saarland University) * Kristina Sojakova (Cornell University) * Enrico Tassi (Inria-Sophia) -- 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%2BUWzAjYEeSpZhFSqfPz-GVYKjaDro3RXg24LPftL%3D
[Logica-l] SD19
*** First Call for Papers: Structures and Deduction 2019 *** SD’19: 5th Int. Workshop on Structures and Deduction 2019 Dortmund, June 29-30 2019 --- Affiliated with FSCD 2019 Submission: April 12 Notification: May 13 Submission page: http://easychair.org/conferences/?conf=sd19 Workshop page: http://anupamdas.com/sd19/ FSCD 2019 page: http://easyconferences.eu/fscd2019/ SD’19 is the fifth in a series of workshops aiming to gather various communities of structural proof theorists. As well as theoretical work in the form of regular papers, we encourage submission of implementations, tools and system descriptions. *** Topics of interest *** * Syntactic representations of proofs (e.g. sequent calculi, deep inference, focusing) * 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 and cyclic proofs) * Complexity theoretic aspects of proof representations *** Invited Speakers *** TBA *** Programme Committee *** David Cerna, Research Institute for Symbolic Computation, Austria. Pierre Clairambault (co-chair), Ecole Normale Supérieure de Lyon, France. Anupam Das (co-chair), University of Copenhagen, Denmark. Alessio Guglielmi, University of Bath, UK. Stepan Kuztnetsov, Steklov Mathematical Institute of RAS, Russia. Sonia Marin (co-chair), IT-University of Copenhagen, Denmark. Guillaume Munch-Maccagnoni, Inria Bretagne, France. Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brasil. Benjamin Ralph, Inria Saclay, France. *** 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 (up to 8 pages). Finished work, system descriptions, surveys. * Short abstracts (up to 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. Please prepare your work using the EasyChair style files: http://www.easychair.org/publications/for_authors *** 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. Pierre Clairambault, Anupam Das, and Sonia Marin -- 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%2BXpA4Usqq0fyjWdf6BOQtmdSrBGAx_ry8MqaL21creM-Q%40mail.gmail.com.
[Logica-l] UNIF2019 Call for Papers
Dear colleagues, Please find below the second call for papers for UNIF 2019, the 33rd International Workshop on Unification, proposed as a satellite event for FSCD 2019. We would be very grateful if you could help us disseminating it among your interested students and colleagues, and of course much more grateful if you consider submitting a paper. Best regards Serdar Erbatur and Daniele Nantes UNIF 2019 Co-chairs -- Second Call for Papers: UNIF 2019 Website: http://www.mat.unb.br/unif2019 The 33rd International Workshop on Unification is the 33rd event in a series of international meetings devoted to unification theory and its applications. Unification is concerned with the problem of making two terms equal, finding solutions for equations, or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. Traditionally, the scope of the UNIF workshops has covered the topic of unification in a broad sense. Topics of interest to this forum include, but are not limited to: Unification algorithms, calculi, and implementations Equational unification and unification modulo theories Admissibility of Inference Rules Unification in modal, temporal and description logics Narrowing Formalisation of unification Matching Problems Applications Unification in Special Theories Higher-Order Unification Combination problems Constraint Solving Disunification Complexity Issues Type Checking and reconstruction The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the state of the art in unification theory. The workshop is proposed to be hosted by the 4th International Conference on Formal Structures for Computation and Deduction (FSCD, Dortmund, 24-29 June 2019). ** Invited Speakers Jörg Siekmann (DFKI and University of Saarland) Narciso Marti-Oliet (Universidad Complutense de Madrid) ** Submission Instructions Following the tradition of UNIF, we call for submissions of abstracts (5 pages) in EasyChair style, to be submitted electronically as PDF through the EasyChair submission site: https://easychair.org/conferences/?conf=unif2019 Abstracts will be evaluated by the Programme Committee (if necessary with support from external reviewers) regarding their significance for the workshop. We will allow work presented/submitted in/to another conference. Accepted abstracts will be presented at the workshop and included in the informal proceedings of the workshop, available in printed form at the workshop and in electronic form from the UNIF homepage: http://www.pps.jussieu.fr/~treinen/unif/ Based on the number and quality of submissions we will decide whether to organise a special journal issue. ** Important Dates Submission of titles and abstracts: April 14, 2019 Submission of full paper: April 21, 2019 Author notification: May 31, 2019 Camera-ready papers: June 4, 2019 UNIF 2019: June 24, 2019 (intended) ** Program Committee - Serdar Erbatur (LMU Munich) co-chair - Daniele Nantes Sobrinho (Universidade de Brasília) - co-chair - Takahito Aoto (Niigata University) - Alexander Baumgartner (University of Chile) - Mauricio Ayala Rincón (Universidade de Brasília) - Evelyne Contejean (LRI, CNRS, Univ Paris-Sud, Orsay) - Kimberly Cornell (The College of Saint Rose) - Santiago Escobar (Universitat Politècnica de València) - Maribel Fernández (King's College London) - Temur Kutsia (RISC- Johannes Kepler University Linz) - Jordy Levy (IIIA - CSIC) - Hai Lin (Shenyang Normal University) - Christopher Lynch (Clarkson University) - Andrew M. Marshall (University of Mary Washington) - Catherine Meadows (US Naval Research Laboratory) - Paliath Narendran (University at Albany--SUNY) - Christophe Ringeissen (INRIA) - David Sabel (Ludwig Maximilian University of Munich) - René Thiemann ( University of Innsbruck) - Manfred Schmidt-Schauss (Goethe-University Frankfurt am Main) - Ralf Treinen (IRIF- Université Paris-Diderot) - Daniel Lima Ventura (Universidade Federal de Goiás) ** Organizers Daniele Nantes Sobrinho (Universidade de Brasília) (dnantes(at)mat.unb.br) Serdar Erbatur (LMU Munich) (serdar.erbatur(at)ifi.lmu.de) -- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matemática e Computação Universidade de Brasília www.mat.unb.br/~dnantes -- 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 rec
[Logica-l] Second CFP WPTE 2019
Dear all, (Excuse me for multiple postings.) Please consider submitting your extended abstract to WPTE 2019 co-located with FSCD. We are expecting a very interesting workshop with three excellent invited speakers already confirmed and a very strong PC. Further details can be found below. Sixth International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2019 affiliated with FSCD 2019 24 June, 2019, Dortmund, Germany http://nigam.info/conferences/wpte2019/main.html Important Dates === * Submission of extended abstracts: April 15, 2019 * Notification of acceptance: May 20, 2019 * Final version for proceedings deadline: May 27, 2019 * Workshop: June 24, 2019 * Submission deadline for post proceedings: September, 2019 (exact date to be announced) Aims and Scope == The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally-based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. Topics of interest in the scope of this workshop include: * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for reasoning about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and Rewriting. The programming languages of interest include pure, deterministic, impure, nondeterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order. Invited Speakers === * Maribel Fernandez, King's College London * René Thiemann, University of Innsbruck * Masahiko Sakai, Nagoya University Paper Submissions = For the paper submission deadline an extended abstract of at most 10 pages is required to be submitted. The extended abstract may present original work or also work in progress. However, for the formal post-proceedings (see below) full papers must be submitted to the post-proceedings deadline. Based on the submissions the program committee will select the presentations for the workshop. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package (http://style.eptcs.org/). Formal Post-Proceedings === The WPTE post-proceedings will be published in Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/). The authors of all presented contributions will have the opportunity (but no obligation) to submit a full paper for the formal post-proceedings. These full-papers must represent original work and should not be submitted to another conference at the same time. Full-papers should not exceed 15 pages. The submission deadline for these post-proceedings will be after the workshop in September 2019. There will be a second round of reviewing for selecting papers to be published in the formal proceedings. Weblinks * EasyChair Submission Website https://easychair.org/conferences/?conf=wpte2019 * Homepage of WPTE 2019 http://nigam.info/conferences/wpte2019/main.html * FSCD 2019 http://easyconferences.eu/fscd2019/ Program Committee = Vivek Nigam (Chair), fortiss GmbH / Federal University of Paraíba Joachim Niehren (co-Chair), Inria, Lille Tajana Ban Kirigin, University of Rijeka Stefan Ciobaca, Alexandru Ioan Cuza University, Iasi Santiago Escobar, Universitat Politècnica de València Jan Hoffmann, Carnegie Mellon University Noaki Nishida, Nagoya University Camilo Rocha, Pontificia Universidad Javeriana Cali David Sabel, LMU Munich Ulrich Schöpp, LMU Munich Best, Vivek -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
