From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9224 Path: news.gmane.org!.POSTED!not-for-mail From: Sandra Alves Newsgroups: gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.isabelle.user,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.categories,gmane.comp.lang.agda Subject: LSFA'17: Third Call for Papers Date: Fri, 26 May 2017 15:08:10 +0100 Message-ID: <865BA931-7AB9-443E-8BF1-7E14E5CE1B82@dcc.fc.up.pt> References: <700487C2-AAF7-4025-8516-EB711EF26BB9@dcc.fc.up.pt> Reply-To: Sandra Alves NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Content-Type: multipart/alternative; boundary="Apple-Mail=_D32A689E-427A-423A-9DDD-3180DBB14F40" X-Trace: blaine.gmane.org 1495807768 18364 195.159.176.226 (26 May 2017 14:09:28 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 26 May 2017 14:09:28 +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, 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: caml-list-owner@inria.fr Fri May 26 16:09:19 2017 Return-path: Envelope-to: gclci-caml-list@gmane.org Original-Received: from mxfilter-048034.atla03.us.yomura.com ([107.189.48.34]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dEFvb-0004X6-1l for gclci-caml-list@gmane.org; Fri, 26 May 2017 16:09:19 +0200 X-Yomura-MXScrub: 1.0 Original-Received: from mail2-relais-roc.national.inria.fr (unknown [192.134.164.83]) by mxfilter-048034.atla03.us.yomura.com (Halon) with ESMTP id e9078100-421c-11e7-8ed1-b499baa2b07a; Fri, 26 May 2017 14:09:20 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.38,397,1491256800"; d="scan'208,217";a="274958786" Original-Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 May 2017 16:09:06 +0200 Original-Received: by sympa.inria.fr (Postfix, from userid 20132) id 27A248016F; Fri, 26 May 2017 16:09:06 +0200 (CEST) Original-Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 1E36B8015D; Fri, 26 May 2017 16:08:26 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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=3Af8K2FhD/U8mVeHlCJPRuUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP3/o86wAkXT6L1XgUPTWs2DsrQf2rSQ7v+oGTRZp83Q7zZaKN0EfiRGoP?= =?us-ascii?q?tVtjRjOvLNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMj4ZvLqc8xgHJr3ZKZu?= =?us-ascii?q?9awX9kKU+Jkxvy4sq9/oRv/zhMt/4k6sVNTbj0c6MkQLNXCzgrL3o76Mr3uxfd?= =?us-ascii?q?UACB/GEcUmIYkhpJBwjK8hT3VYrvvyX5q+RwxjCUMdX5Qr4oVzui6bxrSALzhy?= =?us-ascii?q?ccKzE56mDXhddug69dvRmsugZww4/QYIGSKfp+YqbQds4USGZdQspcUTFKD4Wh?= =?us-ascii?q?ZIUNEuUBJ/5VoYn+qVQSohSwCxSiC+HxxD9GgXH7xrc13/gkEQzc3AwsA9ADvX?= =?us-ascii?q?LJp9v1LqcSVuW1wbHVwzrZafNZxC3955LVeR09pfGMQ6x/cdHMwkQoDAPKlFOQ?= =?us-ascii?q?ppH/PzyPzekCrnSU4PZ6WeKhl2ErsRxxoiC1ysc0lonEn4QYwU3K+yV+xYY6P9?= =?us-ascii?q?y4SEhjbN65C5tQrzuWOJBsQs86XmFovj01xqcdtp6hZCQF1o4oxwXfavObc4iH?= =?us-ascii?q?+BPjVPyLLTd/nnJld6 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DgBgDVNShZ/xAniMFdDggGAQEEAQEKA?= =?us-ascii?q?QEXAQEEAQEKAQGCfytigQ2DKUapKIM4hRaCDwIqhXgCgwpAFwEBAQEBAQEBAQE?= =?us-ascii?q?BaiiCMyKCRAYMEQYxFCEJQQMCAkYRBxIJiiUMjVqcMAKBLoImi1gBCgEBAQEBA?= =?us-ascii?q?SEyhi2BXiuGFYEGGASCdQwxL4IxBYk1Eo0Ih1SHIIx0gRpVgmqBfYM5M4MNgzy?= =?us-ascii?q?LWYQvFIQyDxIBNYEKMCEIMFgBgTaBKINUPj82AYZLgj0BAQE?= X-IPAS-Result: =?us-ascii?q?A0DgBgDVNShZ/xAniMFdDggGAQEEAQEKAQEXAQEEAQEKAQG?= =?us-ascii?q?CfytigQ2DKUapKIM4hRaCDwIqhXgCgwpAFwEBAQEBAQEBAQEBaiiCMyKCRAYME?= =?us-ascii?q?QYxFCEJQQMCAkYRBxIJiiUMjVqcMAKBLoImi1gBCgEBAQEBASEyhi2BXiuGFYE?= =?us-ascii?q?GGASCdQwxL4IxBYk1Eo0Ih1SHIIx0gRpVgmqBfYM5M4MNgzyLWYQvFIQyDxIBN?= =?us-ascii?q?YEKMCEIMFgBgTaBKINUPj82AYZLgj0BAQE?= X-IronPort-AV: E=Sophos;i="5.38,397,1491256800"; d="scan'208,217";a="274958261" Original-Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 May 2017 16:08:14 +0200 Original-Received: from khandinsky.dcc.fc.up.pt (khandinsky.dcc.fc.up.pt [192.168.50.54]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id 073B5C10D8; Fri, 26 May 2017 15:08:14 +0100 (WEST) In-Reply-To: <700487C2-AAF7-4025-8516-EB711EF26BB9@dcc.fc.up.pt> X-Mailer: Apple Mail (2.3273) X-Validation-by: sandra@dcc.fc.up.pt X-Loop: caml-list@inria.fr X-Sequence: 15817 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Original-Sender: caml-list-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-06-09 Xref: news.gmane.org gmane.comp.lang.caml.inria:66691 gmane.science.mathematics.logic.isabelle.user:14522 gmane.comp.science.types.announce:6876 gmane.science.mathematics.prooftheory:1552 gmane.science.mathematics.logic.coq.club:19357 gmane.science.mathematics.categories:9224 gmane.comp.lang.agda:9373 Archived-At: --Apple-Mail=_D32A689E-427A-423A-9DDD-3180DBB14F40 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 logi= cs, languages and systems. These frameworks provide foundations for the fo= rmal specification of systems and programming languages, supporting tool de= velopment 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 researc= h. The proceedings are produced after the meeting, so that authors can inco= rporate this feedback in the published papers. LSFA 2017 will be a satellite event of TABLEAUX, FroCoS, and ITP -- to be h= eld 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), Nata= l (2010), Bras=C3=ADlia (2009), Salvador (2008), Ouro Preto (2007), and Nat= al (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 ful= l papers with a maximum of 16 pages including references or short papers wi= th a maximum of 6 pages including references. Additional technical material= can be provided in a clearly marked appendix which will be read by reviewe= rs at their discretion. Contributions must also be unpublished and not subm= itted simultaneously for publication elsewhere. The papers should be prepar= ed in LaTeX using ENTCS style (http://www.entcs.org/prelim.html ). The submission should be in the form of a PDF fil= e uploaded to Easychair: https://easychair.org/conferences/?conf=3Dlsfa2017 The workshop pre-proceedings, containing the reviewed extended abstracts, w= ill 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 th= eir works for the post-proceedings to be published in ENTCS. At least one o= f the authors should register for the conference. Presentations should be i= n English. * Submission: 21 June 2017=20= =20=20=20=20=20=20 * Notification: 21 July 2017= =20=20=20=20=20=20=20=20=20=20 * Final pre-proceedings version due: 11 August 2017=09=20 * LSFA 2017 23-24 September 2= 017=20 According to the quality of proceedings, authors will/would/might be invite= d to submit an improved version of their paper for a special issue. Previou= s LSFA special issues have been published in journals such as J. IGPL and T= CS (see http://lsfa.cic.unb.br ). INVITED SPEAKERS * Beniamino Accattoli * H=C3=A9l=C3=A8ne Kirchner=20 * Renate Schmidt=20 =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 organ= iser * 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 Sci= ence =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/ -------------------------------------------------------- --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --Apple-Mail=_D32A689E-427A-423A-9DDD-3180DBB14F40 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
  = *** Apologies for multiple copies, please redistribute ***
<= br class=3D"">
          &nbs= p;                 CALL FOR PAPERS<= br class=3D"">
12th Workshop on Logical and Semantic Framewor= ks, with Applications
         = ;    23-24 September 2017, Bras=C3=ADlia, Brazil
 =          Satellite event of TA= BLEAUX, FroCoS, and ITP 2017

   = ;            &n= bsp;     http://lsfa2017.cic.unb.br/

Logi= cal and semantic frameworks are formal languages used to represent logics, =  languages and systems. These frameworks provide foundations for the f= ormal specification of systems and programming languages, supporting tool d= evelopment and reasoning. 

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

LSFA 20= 17 will be a satellite event of TABLEAUX, FroCoS, and ITP -- to be held in = Bras=C3=ADlia, Brazil, between 25 and 29 September 2017.
Prev= ious editions took place in Porto (2016), Natal (2015), Bras=C3=ADlia (2014= ), Sao Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2= 010), 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:<= br class=3D"">
 * Automated deduction
&nbs= p;* Applications of logical and/or semantic frameworks
 = * Computational and logical properties of semantic frameworks
 * Formal semantics of languages and systems
 * Im= plementation of logical and/or semantic frameworks
 * La= mbda and combinatory calculi
 * Logical aspects of compu= tational complexity
 * Logical frameworks
=  * Process calculi
 * Proof theory
&n= bsp;* 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 provi= ded in a clearly marked appendix which will be read by reviewers at their d= iscretion. Contributions must also be unpublished and not submitted simulta= neously for publication elsewhere. The papers should be prepared in LaTeX u= sing ENTCS style (h= ttp://www.entcs.org/prelim.html). The submission should be in the form = of a PDF file uploaded to Easychair:

 &nb= sp;        https://easychair.org/con= ferences/?conf=3Dlsfa2017

The workshop pre= -proceedings, containing the reviewed extended abstracts, will be handed-ou= t 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 th= e post-proceedings to be published in ENTCS. At least one of the authors sh= ould register for the conference. Presentations should be in English.

 * Submission:      &= nbsp;           &nbs= p;            &= nbsp;           &nbs= p;21 June 2017       
 * N= otification:           &n= bsp;            = ;            &n= bsp;        21 July 2017  &nbs= p;       
 * Final pr= e-proceedings version due:        11 Aug= ust 2017 =  
 * LSFA 2017       =             &nb= sp;            =             &nb= sp; 23-24 September 2017 

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

INVITED SPEAKERS

 * Beniamino Accattoli
 * H=C3=A9l=C3=A8= ne Kirchner 
 * Renate Schmidt 
 

PROGRAMME COMMITTE= E

 *  Sandra Alves, University of Po= rto - 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
&= nbsp;*  Mario Benevides, Universidade Federal do Rio de Janeiro UFRJ *  Walter Carnielli, Centre for Logic, Epistemology= and the History of Science =E2=80=93 CLE
 *  Carlo= s Castro, UT Federico Santa Maria
 *  Kaustuv Chaud= huri, INRIA
 *  Marcelo Coniglio, UNICAMP
 *  Valeria De Paiva, University of Birmingham
 *  Santiago Escobar, Universitat Polit=C3=A8cnica de Val=C3=A8= ncia
 *  Amy Felty, University of Ottawa
 *  Maribel Fern=C3=A1ndez, King's College London
 *  Marcelo Finger, Universidade de Sao Paulo
 *  Ichiro Hasuo, University of Tokyo
 * &nbs= p;Edward Hermann Haeusler, PUC-Rio
 *  Delia Kesner= , Universit=C3=A9 Paris-Diderot
 *  Bjoern Lellmann= , TU Vienna
 *  Vivek Nigam, Universidade Federal d= a Para=C3=ADba
 *  Jorge A. P=C3=A9rez, University = of Groningen and CWI, Amsterdam
 *  Petrucio Viana,= Universidade Federal Fluminense
 *  Elaine Pimente= l, UFRN
 *  Giselle Reis, CMU-Qatar
&= nbsp;*  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 Pr= ofessor, University of Porto, Portugal
sandra@dcc.fc.up.pt
http://www.dcc.fc.up.pt/~sa= ndra

Renata Wassermann
Assoc= iate Professor, University of S=C3=A3o Paulo, Brazil
renata@ime.usp.br
http://www.ime.usp.= br/~renata/
---------------------------------------------= -----------
= --Apple-Mail=_D32A689E-427A-423A-9DDD-3180DBB14F40--