From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9146 Path: news.gmane.org!.POSTED!not-for-mail From: Sandra Alves Newsgroups: gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.logic.isabelle.user,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.comp.lang.caml.inria,gmane.science.mathematics.categories,gmane.comp.lang.agda Subject: LSFA'17: Second Call for Papers Date: Thu, 9 Mar 2017 15:25:18 +0000 Message-ID: <700487C2-AAF7-4025-8516-EB711EF26BB9@dcc.fc.up.pt> Reply-To: coq-club@inria.fr NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 (Mac OS X Mail 10.2 \(3259\)) Content-Type: multipart/alternative; boundary="Apple-Mail=_20729BE3-330B-471D-A28B-5021F844F2CB" X-Trace: blaine.gmane.org 1489081235 14911 195.159.176.226 (9 Mar 2017 17:40:35 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 9 Mar 2017 17:40:35 +0000 (UTC) To: cl-isabelle-users@lists.cam.ac.uk, types-announce@lists.seas.upenn.edu, rewriting@ens-lyon.fr, ProofTheory@Lists.Bath.Ac.UK, appsem@lists.tcs.ifi.lmu.de, coq-club@inria.fr, caml-list@inria.fr, termtools@lists.lri.fr, cade@itu.dk, concurrency@listserver.tue.nl, categories@mta.ca, finite-model-theory@lists.rwth-aachen.de, lfcs-interest@inf.ed.ac.uk, linear@cs.stanford.edu, GAMES@lists.rwth-aachen.de, prog-lang@diku.dk, theorem-provers@ai.mit.edu, theory-logic@CS.CMU.EDU, agda@lists.chalmers.se, asl@vassar.edu, las-lics@lists.tu-berlin.de, types@lists.chalmers.se, logic@math.uni-bonn.de Original-X-From: coq-club-owner@inria.fr Thu Mar 09 18:40:28 2017 Return-path: Envelope-to: gsmlcc-coq-club@gmane.org Original-Received: from mxfilter-048035.atla03.us.yomura.com ([107.189.48.35]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cm232-0002XQ-C7 for gsmlcc-coq-club@gmane.org; Thu, 09 Mar 2017 18:40:20 +0100 X-Yomura-MXScrub: 1.0 Original-Received: from mail2-relais-roc.national.inria.fr (unknown [192.134.164.83]) by mxfilter-048035.atla03.us.yomura.com (Halon) with ESMTPS id 780f5162-04ef-11e7-b156-b499baabecb2; Thu, 09 Mar 2017 17:40:22 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.36,136,1486422000"; d="scan'208,217";a="263908899" Original-Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Mar 2017 18:40:21 +0100 Original-Received: by sympa.inria.fr (Postfix, from userid 20132) id 1BEB5800E7; Thu, 9 Mar 2017 18:40:21 +0100 (CET) Original-Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id ADAE0800DB; Thu, 9 Mar 2017 16:25:43 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sandra@dcc.fc.up.pt; spf=Pass smtp.mailfrom=sandra@dcc.fc.up.pt; spf=Pass smtp.helo=postmaster@smtp.dcc.fc.up.pt IronPort-PHdr: =?us-ascii?q?9a23=3AMs6VrB9+tIVSSf9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?1+8UIJqq85mqBkHD//Il1AaPBtSGra4awLWN+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFIiTanbr5/LRq6oAffu8ILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8qFmQwLqhi?= =?us-ascii?q?gaLT406GHZhdB/g6xVvRyvpAJxzYnPbY6PKPZ+e7nQfdMGSWdDWMtaSixPApm7?= =?us-ascii?q?b4sKF+cPIPxXr4/gqFsUtxS1GBWhBOfxyjBWnX/9wKo30/87HgHAwQMgBcgBvW?= =?us-ascii?q?/Jo9rpKKgeS+61w7XSwTXed/Nawy/96JTRfx0nvPqCU7Vwcc/LxkkuEQPIlkiQ?= =?us-ascii?q?qZf9Pz+PzesNqXCX7/dmVe20kWIosBtxriCxycg2kYnIhp4aylDe+iV42oY5P9?= =?us-ascii?q?q4SFR0YdK8DZtQrzuWN5NqQs86XW5ovjo6xaEduZKheygK0psnyhjCYPKEa4iF?= =?us-ascii?q?+g/vWeKfLDtimX5odr X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C6GQCpcsFY/xAniMFdDggHAQUBCwEYA?= =?us-ascii?q?QUBCwGCfCphA4EHgxpGmzuNHoMugnyEHQIoiClDFAEBAQEBAQEBAQEBaiiCMyC?= =?us-ascii?q?CVREGMRQqQQMCSBgSCYl7CpMBnC8CgSqCJop8AQEBAQEiMoYcggUIhXmBBBUEg?= =?us-ascii?q?mwMLi6CMQWJCBKMOoZlhnaMK4ESU4JagXaDIg8jgn+DL4p3hBQUhCAPJyGBAyI?= =?us-ascii?q?VCCxQAYEogQmDVD11AYdtgj0BAQE?= X-IPAS-Result: =?us-ascii?q?A0C6GQCpcsFY/xAniMFdDggHAQUBCwEYAQUBCwGCfCphA4E?= =?us-ascii?q?HgxpGmzuNHoMugnyEHQIoiClDFAEBAQEBAQEBAQEBaiiCMyCCVREGMRQqQQMCS?= =?us-ascii?q?BgSCYl7CpMBnC8CgSqCJop8AQEBAQEiMoYcggUIhXmBBBUEgmwMLi6CMQWJCBK?= =?us-ascii?q?MOoZlhnaMK4ESU4JagXaDIg8jgn+DL4p3hBQUhCAPJyGBAyIVCCxQAYEogQmDV?= =?us-ascii?q?D11AYdtgj0BAQE?= X-IronPort-AV: E=Sophos;i="5.36,136,1486422000"; d="scan'208,217";a="216179312" Original-Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Mar 2017 16:25:32 +0100 Original-Received: from [192.168.1.66] (93.102.117.85.rev.optimus.pt [93.102.117.85]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id CD1F4C1DBE; Thu, 9 Mar 2017 15:25:29 +0000 (WET) X-Mailer: Apple Mail (2.3259) X-Validation-by: notin@lix.polytechnique.fr X-Loop: coq-club@inria.fr X-Sequence: 14552 Errors-to: coq-club-owner@inria.fr Precedence: list Precedence: bulk Original-Sender: coq-club-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: X-Gmane-Expiry: 2017-03-23 Xref: news.gmane.org gmane.science.mathematics.logic.coq.club:19042 gmane.science.mathematics.logic.isabelle.user:14337 gmane.comp.science.types.announce:6626 gmane.science.mathematics.prooftheory:1548 gmane.comp.lang.caml.inria:66338 gmane.science.mathematics.categories:9146 gmane.comp.lang.agda:9213 Archived-At: --Apple-Mail=_20729BE3-330B-471D-A28B-5021F844F2CB Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 *** Apologies for multiple copies, please redistribute *** CALL FOR PAPERS 12th Workshop on Logical and Semantic Frameworks, with Applications 23-24 September 2017, Bras=C3=ADlia, Brazil Satellite event of TABLEAUX, FroCoS, and ITP 2017 http://lsfa2017.cic.unb.br/ = Logical and semantic frameworks are formal languages used to represent = logics, languages and systems. These frameworks provide foundations for = the formal specification of systems and programming languages, = supporting tool development and reasoning.=20 LSFA 2017 aims to be a forum for presenting and discussing work in = progress, and therefore to provide feedback to authors on their = preliminary research. The proceedings are produced after the meeting, so = that authors can incorporate this feedback in the published papers. LSFA 2017 will be a satellite event of TABLEAUX, FroCoS, and ITP -- to = be held in Bras=C3=ADlia, Brazil, between 25 and 29 September 2017. Previous editions took place in Porto (2016), Natal (2015), Bras=C3=ADlia = (2014), Sao Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), = Natal (2010), Bras=C3=ADlia (2009), Salvador (2008), Ouro Preto (2007), = and Natal (2006). TOPICS OF INTEREST Topics of interest to this forum include, but are not limited to: * Automated deduction * Applications of logical and/or semantic frameworks * Computational and logical properties of semantic frameworks * Formal semantics of languages and systems * Implementation of logical and/or semantic frameworks * Lambda and combinatory calculi * Logical aspects of computational complexity * Logical frameworks * Process calculi * Proof theory * Semantic frameworks * Specification languages and meta-languages * Type theory SUBMISSION AND PUBLICATION Contributions should be written in English and submitted in the form of = full papers with a maximum of 16 pages including references or short = papers with a maximum of 6 pages including references. Additional = technical material can be provided in a clearly marked appendix which = will be read by reviewers at their discretion. Contributions must also = be unpublished and not submitted simultaneously for publication = elsewhere. The papers should be prepared in LaTeX using ENTCS style = (http://www.entcs.org/prelim.html ). = The submission should be in the form of a PDF file uploaded to = Easychair: https://easychair.org/conferences/?conf=3Dlsfa2017 = The workshop pre-proceedings, containing the reviewed extended = abstracts, will be handed-out at workshop registration. After the = workshop the authors of both full and short papers will be invited to = submit full versions of their works for the post-proceedings to be = published in ENTCS. At least one of the authors should register for the = conference. Presentations should be in English. * Submission: 21 June 2017 = =20 * Notification: 21 July = 2017 =20 * Final pre-proceedings version due: 11 August 2017 =20 * LSFA 2017 23-24 = September 2017=20 According to the quality of proceedings, authors will/would/might be = invited to submit an improved version of their paper for a special = issue. Previous LSFA special issues have been published in journals such = as J. IGPL and TCS (see http://lsfa.cic.unb.br = ). INVITED SPEAKERS * H=C3=A9l=C3=A8ne Kirchner=20 * TBA * TBA =20 PROGRAMME COMMITTEE * Sandra Alves, University of Porto - co-chair * Renata Wassermann, University of S=C3=A3o Paulo - co-chair * Fl=C3=A1vio L. C. de Moura, Universidade de Bras=C3=ADlia - local = organiser * Carlos Areces, Universidad Nacional de C=C3=B3rdoba * Mauricio Ayala-Rincon, Universidade de Brasilia * Veronica Becher, Universidad de Buenos Aires * Mario Benevides, Universidade Federal do Rio de Janeiro UFRJ * Walter Carnielli, Centre for Logic, Epistemology and the History of = Science =E2=80=93 CLE * Carlos Castro, UT Federico Santa Maria * Kaustuv Chaudhuri, INRIA * Marcelo Coniglio, UNICAMP * Valeria De Paiva, University of Birmingham * Santiago Escobar, Universitat Polit=C3=A8cnica de Val=C3=A8ncia * Amy Felty, University of Ottawa * Maribel Fern=C3=A1ndez, King's College London * Marcelo Finger, Universidade de Sao Paulo * Ichiro Hasuo, University of Tokyo * Edward Hermann Haeusler, PUC-Rio * Delia Kesner, Universit=C3=A9 Paris-Diderot * Bjoern Lellmann, TU Vienna * Vivek Nigam, Universidade Federal da Para=C3=ADba * Jorge A. P=C3=A9rez, University of Groningen and CWI, Amsterdam * Petrucio Viana, Universidade Federal Fluminense * Elaine Pimentel, UFRN * Giselle Reis, CMU-Qatar * Camilo Rocha, Pontificia Universidad Javeriana Cali * Simona Ronchi Della Rocca, Universita' di Torino * Alvaro Tasistro, Universidad ORT Uruguay * Christian Urban, King's College London ORGANISING COMMITTEE * Fl=C3=A1vio L. C. de Moura (Universidade de Bras=C3=ADlia) CONTACT * lsfa2017@easychair.org * http://lsfa2017.cic.unb.br/ -------------------------------------------------=20 Sandra Alves Assistant Professor, University of Porto, Portugal sandra@dcc.fc.up.pt http://www.dcc.fc.up.pt/~sandra Renata Wassermann Associate Professor, University of S=C3=A3o Paulo, Brazil renata@ime.usp.br http://www.ime.usp.br/~renata/ --------------------------------------------------------= --Apple-Mail=_20729BE3-330B-471D-A28B-5021F844F2CB Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8      *** Apologies for multiple copies, please = redistribute ***

                =             CALL FOR PAPERS

12th Workshop on Logical and Semantic = Frameworks, with Applications
     =         23-24 September 2017, = Bras=C3=ADlia, Brazil
          Sat= ellite event of TABLEAUX, FroCoS, and ITP 2017

          &nb= sp;          http://lsfa2017.cic.unb.br/

Logical and semantic frameworks are formal languages used to = represent logics,  languages and systems. These frameworks provide = foundations for the formal specification of systems and programming = languages, supporting tool development and reasoning. 

LSFA 2017 aims to be a forum for presenting = and discussing work in progress, and therefore to provide feedback to = authors on their preliminary research. The proceedings are produced = after the meeting, so that authors can incorporate this  feedback = in the published papers.

LSFA 2017 will be = a satellite event of TABLEAUX, FroCoS, and ITP -- to be held in = Bras=C3=ADlia, Brazil, between 25 and 29 September 2017.
Previous editions took place in Porto (2016), Natal (2015), = Bras=C3=ADlia (2014), Sao Paulo (2013), Rio de Janeiro (2012), Belo = Horizonte (2011), Natal (2010), Bras=C3=ADlia (2009), Salvador (2008), = Ouro Preto (2007), and Natal (2006).

TOPICS = OF INTEREST

Topics of interest to this = forum include, but are not limited to:

 * Automated deduction
 * = Applications of logical and/or semantic frameworks
 * = Computational and logical properties of semantic frameworks
 * Formal semantics of languages and systems
 * Implementation of logical and/or semantic = frameworks
 * Lambda and combinatory calculi
 * Logical aspects of computational complexity
 * Logical frameworks
 * Process = calculi
 * Proof theory
 * = Semantic frameworks
 * Specification languages and = meta-languages
 * Type theory

SUBMISSION AND PUBLICATION

Contributions should be written in English and submitted in = the form of full papers with a maximum of 16 pages including references = or short papers with a maximum of 6 pages including references. = Additional technical material can be provided in a clearly marked = appendix which will be read by reviewers at their discretion. = Contributions must also be unpublished and not submitted simultaneously = for publication elsewhere. The papers should be prepared in LaTeX using = ENTCS style (http://www.entcs.org/prelim.html). The submission should = be in the form of a PDF file uploaded to Easychair:

          https://easychair.org/conferences/?conf=3Dlsfa2017

The workshop pre-proceedings, containing the = reviewed extended abstracts, will be handed-out at workshop = registration. After the workshop the authors of both full and short = papers will be invited to submit full versions of their works for the = post-proceedings to be published in ENTCS. At least one of the authors = should register for the conference. Presentations should be in = English.

 * Submission: =             &n= bsp;           &nbs= p;            =       21 June 2017 =       
 * Notification: =             &n= bsp;           &nbs= p;            =        21 July 2017 =          
 * Final pre-proceedings version due: =        11 August 2017  
 * LSFA 2017 =             &n= bsp;           &nbs= p;            =         23-24 September = 2017 

According to the quality of = proceedings, authors will/would/might be invited to submit an improved = version of their paper for a special issue. Previous LSFA special issues = have been published in journals such as J. IGPL and TCS (see http://lsfa.cic.unb.br).
INVITED SPEAKERS

 * H=C3=A9l=C3=A8ne Kirchner 
 * TBA
 * TBA
 

PROGRAMME COMMITTEE

 *  Sandra Alves, University of = Porto - co-chair
 *  Renata Wassermann, = University of S=C3=A3o Paulo - co-chair
 * =  Fl=C3=A1vio L. C. de Moura, Universidade de Bras=C3=ADlia - local = organiser
 *  Carlos Areces, Universidad = Nacional de C=C3=B3rdoba
 *  Mauricio = Ayala-Rincon, Universidade de Brasilia
 * =  Veronica Becher, Universidad de Buenos Aires
 * =  Mario Benevides, Universidade Federal do Rio de Janeiro UFRJ
 *  Walter Carnielli, Centre for Logic, = Epistemology and the History of Science =E2=80=93 CLE
 *  Carlos Castro, UT Federico Santa Maria
 *  Kaustuv Chaudhuri, INRIA
 * =  Marcelo Coniglio, UNICAMP
 *  Valeria De = Paiva, University of Birmingham
 *  Santiago = Escobar, Universitat Polit=C3=A8cnica de Val=C3=A8ncia
 *  Amy Felty, University of Ottawa
 *  Maribel Fern=C3=A1ndez, King's College = London
 *  Marcelo Finger, Universidade de Sao = Paulo
 *  Ichiro Hasuo, University of Tokyo
 *  Edward Hermann Haeusler, PUC-Rio
 *  Delia Kesner, Universit=C3=A9 Paris-Diderot
 *  Bjoern Lellmann, TU Vienna
 * =  Vivek Nigam, Universidade Federal da Para=C3=ADba
 *  Jorge A. P=C3=A9rez, University of Groningen = and CWI, Amsterdam
 *  Petrucio Viana, = Universidade Federal Fluminense
 *  Elaine = Pimentel, UFRN
 *  Giselle Reis, CMU-Qatar
 *  Camilo Rocha, Pontificia Universidad Javeriana = Cali
 *  Simona Ronchi Della Rocca, Universita' = di Torino
 *  Alvaro Tasistro, Universidad ORT = Uruguay
 *  Christian Urban, King's College = London

ORGANISING COMMITTEE
 *  Fl=C3=A1vio L. C. de Moura (Universidade de = Bras=C3=ADlia)

CONTACT

 * lsfa2017@easychair.org
 * http://lsfa2017.cic.unb.br/
------------------------------------------------- 
Sandra Alves
Assistant Professor, University of = Porto, Portugal
sandra@dcc.fc.up.pt
http://www.dcc.fc.up.pt/~sandra

Renata Wassermann
Associate Professor, = University of S=C3=A3o Paulo, Brazil
renata@ime.usp.br
http://www.ime.usp.br/~renata/
--------------------------------------------------------
<= /body>= --Apple-Mail=_20729BE3-330B-471D-A28B-5021F844F2CB--