* LSFA'17: Second Call for Papers
@ 2017-03-09 15:25 Sandra Alves
2017-05-26 14:08 ` LSFA'17: Third " Sandra Alves
0 siblings, 1 reply; 2+ messages in thread
From: Sandra Alves @ 2017-03-09 15:25 UTC (permalink / raw)
To: cl-isabelle-users, types-announce, rewriting, ProofTheory,
appsem, coq-club, caml-list, termtools, cade, concurrency,
categories, finite-model-theory, lfcs-interest, linear, GAMES,
prog-lang, theorem-provers, theory-logic, agda, asl, las-lics,
types, logic
[-- Attachment #1: Type: text/plain, Size: 5805 bytes --]
*** Apologies for multiple copies, please redistribute ***
CALL FOR PAPERS
12th Workshop on Logical and Semantic Frameworks, with Applications
23-24 September 2017, Brasília, Brazil
Satellite event of TABLEAUX, FroCoS, and ITP 2017
http://lsfa2017.cic.unb.br/ <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ília, Brazil, between 25 and 29 September 2017.
Previous editions took place in Porto (2016), Natal (2015), Brasília (2014), Sao Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (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 <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=lsfa2017 <https://easychair.org/conferences/?conf=lsfa2017>
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
* Notification: 21 July 2017
* Final pre-proceedings version due: 11 August 2017
* LSFA 2017 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 <http://lsfa.cic.unb.br/>).
INVITED SPEAKERS
* Hélène Kirchner
* TBA
* TBA
PROGRAMME COMMITTEE
* Sandra Alves, University of Porto - co-chair
* Renata Wassermann, University of São Paulo - co-chair
* Flávio L. C. de Moura, Universidade de Brasília - local organiser
* Carlos Areces, Universidad Nacional de Córdoba
* 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 – CLE
* Carlos Castro, UT Federico Santa Maria
* Kaustuv Chaudhuri, INRIA
* Marcelo Coniglio, UNICAMP
* Valeria De Paiva, University of Birmingham
* Santiago Escobar, Universitat Politècnica de València
* Amy Felty, University of Ottawa
* Maribel Fernández, King's College London
* Marcelo Finger, Universidade de Sao Paulo
* Ichiro Hasuo, University of Tokyo
* Edward Hermann Haeusler, PUC-Rio
* Delia Kesner, Université Paris-Diderot
* Bjoern Lellmann, TU Vienna
* Vivek Nigam, Universidade Federal da Paraíba
* Jorge A. Pérez, 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ávio L. C. de Moura (Universidade de Brasília)
CONTACT
* lsfa2017@easychair.org <mailto:lsfa2017@easychair.org>
* http://lsfa2017.cic.unb.br/ <http://lsfa2017.cic.unb.br/>
-------------------------------------------------
Sandra Alves
Assistant Professor, University of Porto, Portugal
sandra@dcc.fc.up.pt <mailto:sandra@dcc.fc.up.pt>
http://www.dcc.fc.up.pt/~sandra <http://www.dcc.fc.up.pt/~sandra>
Renata Wassermann
Associate Professor, University of São Paulo, Brazil
renata@ime.usp.br <mailto:renata@ime.usp.br>
http://www.ime.usp.br/~renata/ <http://www.ime.usp.br/~renata/>
--------------------------------------------------------
[-- Attachment #2: Type: text/html, Size: 9215 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* LSFA'17: Third Call for Papers
2017-03-09 15:25 LSFA'17: Second Call for Papers Sandra Alves
@ 2017-05-26 14:08 ` Sandra Alves
0 siblings, 0 replies; 2+ messages in thread
From: Sandra Alves @ 2017-05-26 14:08 UTC (permalink / raw)
To: cl-isabelle-users, types-announce, rewriting, ProofTheory,
appsem, coq-club, caml-list, termtools, cade, categories,
finite-model-theory, lfcs-interest, linear, GAMES, prog-lang,
theorem-provers, theory-logic, agda, asl, las-lics, types, logic
[-- Attachment #1: Type: text/plain, Size: 6058 bytes --]
*** Apologies for multiple copies, please redistribute ***
CALL FOR PAPERS
12th Workshop on Logical and Semantic Frameworks, with Applications
23-24 September 2017, Brasília, Brazil
Satellite event of TABLEAUX, FroCoS, and ITP 2017
http://lsfa2017.cic.unb.br/ <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ília, Brazil, between 25 and 29 September 2017.
Previous editions took place in Porto (2016), Natal (2015), Brasília (2014), Sao Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (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 <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=lsfa2017 <https://easychair.org/conferences/?conf=lsfa2017>
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
* Notification: 21 July 2017
* Final pre-proceedings version due: 11 August 2017
* LSFA 2017 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 <http://lsfa.cic.unb.br/>).
INVITED SPEAKERS
* Beniamino Accattoli
* Hélène Kirchner
* Renate Schmidt
PROGRAMME COMMITTEE
* Sandra Alves, University of Porto - co-chair
* Renata Wassermann, University of São Paulo - co-chair
* Flávio L. C. de Moura, Universidade de Brasília - local organiser
* Carlos Areces, Universidad Nacional de Córdoba
* 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 – CLE
* Carlos Castro, UT Federico Santa Maria
* Kaustuv Chaudhuri, INRIA
* Marcelo Coniglio, UNICAMP
* Valeria De Paiva, University of Birmingham
* Santiago Escobar, Universitat Politècnica de València
* Amy Felty, University of Ottawa
* Maribel Fernández, King's College London
* Marcelo Finger, Universidade de Sao Paulo
* Ichiro Hasuo, University of Tokyo
* Edward Hermann Haeusler, PUC-Rio
* Delia Kesner, Université Paris-Diderot
* Bjoern Lellmann, TU Vienna
* Vivek Nigam, Universidade Federal da Paraíba
* Jorge A. Pérez, 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ávio L. C. de Moura (Universidade de Brasília)
CONTACT
* lsfa2017@easychair.org <mailto:lsfa2017@easychair.org>
* http://lsfa2017.cic.unb.br/ <http://lsfa2017.cic.unb.br/>
-------------------------------------------------
Sandra Alves
Assistant Professor, University of Porto, Portugal
sandra@dcc.fc.up.pt <mailto:sandra@dcc.fc.up.pt>
http://www.dcc.fc.up.pt/~sandra <http://www.dcc.fc.up.pt/~sandra>
Renata Wassermann
Associate Professor, University of São Paulo, Brazil
renata@ime.usp.br <mailto:renata@ime.usp.br>
http://www.ime.usp.br/~renata/ <http://www.ime.usp.br/~renata/>
--------------------------------------------------------
--
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
[-- Attachment #2: Type: text/html, Size: 9627 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2017-05-26 14:08 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-03-09 15:25 LSFA'17: Second Call for Papers Sandra Alves
2017-05-26 14:08 ` LSFA'17: Third " Sandra Alves
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).