[TYPES/announce] ESSLLI 2024 - Call for Proposals
to graduate students who wish to acquire a level of comfort and understanding in the current research of a field. Workshops - Workshops focus on specialized topics, usually of current interest. Workshop organizers are responsible for soliciting papers and selecting the workshop program. They are also responsible for publishing proceedings if they decide to have proceedings. Proposal Guidelines === Course and workshop proposals should closely follow these guidelines to ensure full consideration. Course and Workshop proposals can be submitted by no more than two lecturers/organizers and can be presented by no more than these two lecturers/organizers. All instructors and organizers must possess a PhD or equivalent degree by the submission deadline. Course proposals should mention explicitly the intended course category. Proposals for introductory courses should indicate the intended level, for example as it relates to standard textbooks and monographs in the area. Proposals for advanced courses should specify the prerequisites in detail. Proposals of Courses given at ESSLLI in the previous year will have a lower priority of being accepted in the current year. Proposals must be in PDF format and include all the following information: 1. Personal information for each proposer: Name, affiliation, contact address, email, homepage (optional) 2. General proposal information: Title, category 3. Contents information: a. Abstract of up to 150 words b. Motivation and description (up to two pages) c. Tentative outline d. Expected level and prerequisites e. Appropriate references (e.g. textbooks, monographs, proceedings, surveys) 4. Information required of course proposers: a. Will the course appeal to students outside of the main discipline of the course? b. What experience does the proposer have in presenting an intensive one-week interdisciplinary setting? c. What evidence is there that the course proposer is an excellent lecturer? 5. Information required of workshop organizers: a. Information on relevant preceding meetings and events, if applicable b. Information about potential external funding for participants. Submission Information == Workshops --- By 1 December 2023, proposers are asked to submit (via EasyChair) at least the name(s) of the instructor(s), the ESSLLI area+course level and a title and short abstract for the proposed workshop. By 15 December 2023, proposers must complete their submission by uploading a PDF with the actual proposal as detailed above. Courses --- By 15 December 2023, proposers are asked to submit (via EasyChair) at least the name(s) of the instructor(s), the ESSLLI area+course level and a title and short abstract for the proposed course. By 12 January 2024 , course proposers must complete their submission by uploading a PDF with the actual proposal as detailed above. Submission Portal = Please submit your proposals to [ https://urldefense.com/v3/__https://easychair.org/conferences/__;!!IBzWLUs!T-Hm9VVsAVT9WphDUm2BsNIAso1nsPE07WJb7hNmhPbEnnqmzE998NT9bxV_LZTAti7OUWD5ZuNYzUNi-bGyXiHdtZ-B8j18AdePoWwcfOM$ | https://urldefense.com/v3/__https://easychair.org/conferences/__;!!IBzWLUs!T-Hm9VVsAVT9WphDUm2BsNIAso1nsPE07WJb7hNmhPbEnnqmzE998NT9bxV_LZTAti7OUWD5ZuNYzUNi-bGyXiHdtZ-B8j18AdePoWwcfOM$ ] EACSL Sponsorship = The EACSL will support one Logic and Computation course or workshop addressing topics of interest to Computer Science Logic (CSL) conferences. The selected course or workshop will be designated an EACSL course/workshop in the programme. If you wish to be considered for this, please indicate it in your proposal. Organizing Committee Tim Van de Cruys (KU Leuven, Department of Linguistics) (chair) Lorenz Demey (KU Leuven Institute of Philosophy) Marie-Francine (Sien) Moens (KU Leuven, Department of Computer Science) Walter Schaeken (KU Leuven Faculty of Psychology and Educational Sciences) Hans Smessaert (KU Leuven, Department of Linguistics) Dirk Speelman (KU Leuven, Department of Linguistics) Program Committee = Bonnie Webber (Edinburgh University) (chair) Marie-Francine (Sien) Moens (KU Leuven) (local co-chair) Area Chairs Language and Computation (LaCo) --- Tatjana Scheffler (Ruhr-Universität Bochum) Carina Silberer (IMS Stuttgart) Ivan Vulic (Cambridge University) Area Chairs Language and Logic (LaLo) - Heather Burnett (CNRS) Dan Lassiter (Edinburgh University) Bob van Tiel (Radboud University, Nijmegen) Area Chairs Logic and Computation (LoCo) Beniamino Accattoli (INRIA) Louwe Kuijer (University of Liverpool) Fan Yang (Utrecht University) ESSLLI Steering Committee = Jakub Szymanik
[TYPES/announce] PPDP 2022 and LOPSTR 2022 Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PPDP 2022 - LOPSTR 2022 JOINT CALL FOR PARTICIPATION PPDP 2022 24th International Symposium on Principles and Practice of Declarative Programming 20-22 September 2022, Tbilisi, Georgia https://urldefense.com/v3/__https://software.imdea.org/Conferences/PPDP2022/__;!!IBzWLUs!U__FSNZ7rZ0XJzQ7X1Xgb34S9PIr1JjgY4hlqZ4N4nvse48uTlKbPocxyvcBaFLT3r-l9VyJt4ZmCAumuRkjceX57x7onxvyiWCknut3-a0$ Co-located with LOPSTR 2022 32nd International Symposium on Logic-Based Program Synthesis and Transformation 21-23 September 2022, Tbilisi, Georgia https://urldefense.com/v3/__https://lopstr2022.webs.upv.es/__;!!IBzWLUs!U__FSNZ7rZ0XJzQ7X1Xgb34S9PIr1JjgY4hlqZ4N4nvse48uTlKbPocxyvcBaFLT3r-l9VyJt4ZmCAumuRkjceX57x7onxvyiWCk7DDAui4$ The conferences will be held as hybrid (blended) meetings, both in-person and virtual. Both conferences are part of CLAS 2022: https://urldefense.com/v3/__http://www.viam.science.tsu.ge/clas2022/__;!!IBzWLUs!U__FSNZ7rZ0XJzQ7X1Xgb34S9PIr1JjgY4hlqZ4N4nvse48uTlKbPocxyvcBaFLT3r-l9VyJt4ZmCAumuRkjceX57x7onxvyiWCkTxO5P7E$ === Registration Please use the CLAS registration form on EasyChair: https://urldefense.com/v3/__https://easychair.org/my/conference?conf=clas2022__;!!IBzWLUs!U__FSNZ7rZ0XJzQ7X1Xgb34S9PIr1JjgY4hlqZ4N4nvse48uTlKbPocxyvcBaFLT3r-l9VyJt4ZmCAumuRkjceX57x7onxvyiWCkOVO0AZc$ * Early registration deadline August 14, 2022 * An online-only registration option is available. === Invited Speakers Niki Vazou, IMDEA Software Institute, Spain (joint PPDP-LOPSTR invited speaker) Florian Zuleger, Technische Universität Wien, Austria (joint PPDP-LOPSTR invited speaker) Torsten Grust, University of Tübingen, Germany (PPDP invited speaker) Robert Hierons, The University of Sheffield, UK. (LOPSTR invited speaker) Ornela Dardha, Elena Giachino, and Davide Sangiorgi (10 Year Most Influential Paper Award for “Session Types Revisited”, PPDP 2012). === About PPDP -- The PPDP symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. About LOPSTR The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. === Please consult the conferences' webpages for the lists of accepted papers. Hope to see you in Tbilisi! The PPDP and LOPSTR chairs. Alicia Villanueva Manuel Hermenegildo Beniamino Accattoli
[TYPES/announce] PPDP 2022 - 3rd Call for Papers - deadline extended
amming, etc., is used in practice. They must not exceed 5 pages *including references*. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Format of a submission: For each paper category, you must follow the instructions of the new ACM Primary Article Templates. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, please contact ACM's TeX support team at Aptara. Authors should note ACM's statement on author's rights which apply to final papers. Submitted papers should meet the requirements of ACM's plagiarism policy. Final publication will follow the new ACM Primary Article TAPS Publication Workflow. Invited Speakers Niki Vazou, IMDEA Software Institute Florian Zuleger, Technische Universitaet Wien Torsten Grust, University of Tuebingen Program Committee ------ Beniamino Accattoli, Inria & LIX Ecole Polytechnique, France (co-chair) Manuel Hermenegildo, IMDEA Software Institute and Technical U. of Madrid, Spain (co-chair) Salvador Abreu, NOVA LINCS / University of Evora, Portugal David Baelde, ENS Rennes, IRISA, France Pierre-Evariste Dagand, IRIF - CNRS, France Marina De-Vos, University of Bath, UK Esra Erdem, Sabanci University, Turkey Guilhem Jaber, Universite de Nantes, France Oleg Kiselyov, Tohoku University, Japan Georg Moser, University of Innsbruck, Austria Koko Muroya, RIMS, Kyoto University, Japan Gopalan Nadathur, University of Minnesota, US Kim Nguyen, Universite Paris-Sud 11, France Carlos Olarte, LIPN, Universite Sorbonne Paris Nord, France Ricardo Rocha, University of Porto, Portugal Filip Sieczkowski, Heriot Watt University, UK Theresa Swift, NovaLINCS, Universidade Nova de Lisboa, Portugal Benoit Valiron, LMF - CentraleSupelec, Univ. Paris Saclay, France Jan Van den Bussche, Hasselt University, Belgium German Vidal, MiST, VRAIN, Universitat Politecnica de Valencia, Spain --- Organizing committee chair: Besik Dundua, Tbilisi State University, Georgia Steering committee chair: James Cheney, Edinburgh University, UK ---
[TYPES/announce] PPDP 2022 - 2nd Call for Papers
to study extended versions or any material beyond the respective page limit. Format of a submission For each paper category, you must follow the instructions of the new ACM Primary Article Templates. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, please contact ACM's TeX support team at Aptara. Authors should note ACM's statement on author's rights which apply to final papers. Submitted papers should meet the requirements of ACM's plagiarism policy. Final publication will follow the new ACM Primary Article TAPS Publication Workflow. Invited Speakers Niki Vazou, IMDEA Florian Zuleger, Technische Universität Wien Program Committee - Beniamino Accattoli, Inria & LIX École Polytechnique, France (co-chair) Manuel Hermenegildo, IMDEA Software Institute and Technical U. of Madrid, Spain (co-chair) Salvador Abreu, NOVA LINCS / University of Evora, Portugal David Baelde, ENS Rennes, IRISA, France Pierre-Evariste Dagand, IRIF - CNRS, France Marina De-Vos, University of Bath, UK Esra Erdem, Sabanci University, Turkey Guilhem Jaber, Université de Nantes, France Oleg Kiselyov, Tohoku University, Japan Georg Moser, University of Innsbruck, Austria Koko Muroya, RIMS, Kyoto University, Japan Gopalan Nadathur, University of Minnesota, US Kim Nguyen, Université Paris-Sud 11, France Carlos Olarte, LIPN, Université Sorbonne Paris Nord, France Ricardo Rocha, University of Porto, Portugal Filip Sieczkowski, Heriot Watt University, UK Theresa Swift, NovaLINCS, Universidade Nova de Lisboa, Portugal Benoit Valiron, LMF - CentraleSupelec, Univ. Paris Saclay, France Jan Van den Bussche, Hasselt University, Belgium German Vidal, MiST, VRAIN, Universitat Politecnica de Valencia, Spain --- Organizing committee chair: Besik Dundua, Tbilisi State University, Georgia Steering committee chair: James Cheney, Edinburgh University, UK ---
[TYPES/announce] PPDP 2022 - 1st Call for Papers
a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Program Committee -- Beniamino Accattoli, Inria & LIX École Polytechnique, France (co-chair) Manuel Hermenegildo, IMDEA Software Institute and Technical U. of Madrid, Spain (co-chair) Salvador Abreu, NOVA LINCS / University of Evora, Portugal David Baelde, ENS Rennes, IRISA, France Pierre-Evariste Dagand, IRIF - CNRS, France Marina De-Vos, University of Bath, UK Esra Erdem, Sabanci University, Turkey Guilhem Jaber, Université de Nantes, France Oleg Kiselyov, Tohoku University, Japan Georg Moser, University of Innsbruck, Austria Koko Muroya, RIMS, Kyoto University, Japan Gopalan Nadathur, University of Minnesota, US Kim Nguyen, Université Paris-Sud 11, France Carlos Olarte, LIPN, Université Sorbonne Paris Nord, France Ricardo Rocha, University of Porto, Portugal Filip Sieczkowski, Heriot Watt University, UK Theresa Swift, NovaLINCS, Universidade Nova de Lisboa, Portugal Benoit Valiron, LMF - CentraleSupelec, Univ. Paris Saclay, France Jan Van den Bussche, Hasselt University, Belgium German Vidal, MiST, VRAIN, Universitat Politecnica de Valencia, Spain -- Organizing committee chair: Besik Dundua, Tbilisi State University, Georgia Steering committee chair: James Cheney, Edinburgh University, UK --
[TYPES/announce] LSFA 2018, Deadline Extension (2 weeks)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] DEADLINE EXTENSION LSFA 2018 13th Workshop on Logical and Semantic Frameworks, with Applications 26-28 September 2018, Fortaleza, Brazil http://lia.ufc.br/~lsfa2018/ https://easychair.org/cfp/LSFA2018 !! NEW SUBMISSION DEADLINE: June 24 (two weeks extension). !! 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. Previous editions took place in Brasília (2017, collocated with Tableaux+FroCoS+ITP), Porto (2016), Natal (2015), Brasília (2014), São Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006). See http://lsfa.cic.unb.br for more information. TOPICS OF INTEREST Topics of interest 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 13 pages (including references) in the new ENTCS format (http://www.entcs.org/generic.zip). Beyond full regular papers, we encourage submissions such as proof pearls, rough diamonds, original surveys, or overviews of research projects, where the focus is more on elegance and dissemination than on novelty. Papers belonging to this second category are expected to be short, that is, of a maximum of 6 pages including references, unless they also contain some novel results. For both paper categories, 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. Papers should be prepared in LaTeX using the generic ENTCS package (http://www.entcs.org/generic.zip). The submission should be in the form of a PDF file uploaded to Easychair: https://easychair.org/conferences/?conf=lsfa2018 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. For the reviewing process, the traditional system will be enriched with the possibility for the reviewers to interact with the authors via an anonymous forum associated to each paper. IMPORTANT DATES: * Submission: June 24 * Notification: July 25 * Camera ready version: August 12 * LSFA 2018: September 26-28 After the publication of the ENTCS proceedings, the authors of selected papers will be invited to submit revised papers 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 * Yiannis Moschovakis, University of California, Los Angeles & University of Athens. * Andreas Herzig, CNRS, IRIT, Université de Toulouse. * Alessandra Palmigiano, Delft University of Technology. * Amy Felty, University of Ottawa. PROGRAMME COMMITTEE * Beniamino Accattoli, Inria & Ecole Polytechnique, co-chair * Carlos Olarte, Universidade Federal do Rio Grande do Norte, co-chair * Sandra Alves, University of Porto * Mario Alvim, Universidade Federal de Minas Gerais * Carlos Areces, Universidad Nacional de Córdoba * Mauricio Ayala-Rincon, Universidade de Brasilia * Eduardo Bonelli, Universidad Nacional de Quilmes & Stevens Institute of Technology * Iliano Cervesato, Carnegie Mellon University * Francicleber Ferreira, Universidade Federal do Ceará * Marcelo Finger, Universidade de São Paulo * Renata Freitas, Universidade Federal Fluminense * Marco Gaboardi, University at Buffalo, SUNY * Erich Grädel, RWTH Aachen University * Oleg Kiselyov, Tohoku University * Ugo Dal Lago, Inria & Bologna University * Sonia Marin, IT-University of Copenhagen * Claudia Nalon, Universidade de Brasilia * Revantha Ramanayake, Vienna University of Technology * Umberto Rivieccio, Universidade Federal do Rio Grande do Norte * Camilo Rueda, Pontificia Universidad Javeriana * Matthieu Sozeau, Inria & Université Paris Diderot * Carolyn Talcott, SRI International * Alvaro Tasistro, Universidad ORT Uruguay
[TYPES/announce] LSFA 2018, Final CfP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CALL FOR PAPERS LSFA 2018 13th Workshop on Logical and Semantic Frameworks, with Applications 26-28 September 2018, Fortaleza, Brazil http://lia.ufc.br/~lsfa2018/ https://easychair.org/cfp/LSFA2018 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. Previous editions took place in Brasília (2017, collocated with Tableaux+FroCoS+ITP), Porto (2016), Natal (2015), Brasília (2014), São Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006). See http://lsfa.cic.unb.br for more information. TOPICS OF INTEREST Topics of interest 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 13 pages (including references) in the new ENTCS format (http://www.entcs.org/generic.zip). Beyond full regular papers, we encourage submissions such as proof pearls, rough diamonds, original surveys, or overviews of research projects, where the focus is more on elegance and dissemination than on novelty. Papers belonging to this second category are expected to be short, that is, of a maximum of 6 pages including references, unless they also contain some novel results. For both paper categories, 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. Papers should be prepared in LaTeX using the generic ENTCS package (http://www.entcs.org/generic.zip). The submission should be in the form of a PDF file uploaded to Easychair: https://easychair.org/conferences/?conf=lsfa2018 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. For the reviewing process, the traditional system will be enriched with the possibility for the reviewers to interact with the authors via an anonymous forum associated to each paper. IMPORTANT DATES: * Submission: June 10 * Notification: July 25 * Camera ready version: August 12 * LSFA 2018: September 26-28 After the publication of the ENTCS proceedings, the authors of selected papers will be invited to submit revised papers 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 * Yiannis Moschovakis, University of California, Los Angeles & University of Athens. * Andreas Herzig, CNRS, IRIT, Université de Toulouse. * Alessandra Palmigiano, Delft University of Technology. * Amy Felty, University of Ottawa. PROGRAMME COMMITTEE * Beniamino Accattoli, Inria & Ecole Polytechnique, co-chair * Carlos Olarte, Universidade Federal do Rio Grande do Norte, co-chair * Sandra Alves, University of Porto * Mario Alvim, Universidade Federal de Minas Gerais * Carlos Areces, Universidad Nacional de Córdoba * Mauricio Ayala-Rincon, Universidade de Brasilia * Eduardo Bonelli, Universidad Nacional de Quilmes & Stevens Institute of Technology * Iliano Cervesato, Carnegie Mellon University * Francicleber Ferreira, Universidade Federal do Ceará * Marcelo Finger, Universidade de São Paulo * Renata Freitas, Universidade Federal Fluminense * Marco Gaboardi, University at Buffalo, SUNY * Erich Grädel, RWTH Aachen University * Oleg Kiselyov, Tohoku University * Ugo Dal Lago, Inria & Bologna University * Sonia Marin, IT-University of Copenhagen * Claudia Nalon, Universidade de Brasilia * Revantha Ramanayake, Vienna University of Technology * Umberto Rivieccio, Universidade Federal do Rio Grande do Norte * Camilo Rueda, Pontificia Universidad Javeriana * Matthieu Sozeau, Inria & Université Paris Diderot * Carolyn Talcott, SRI International * Alvaro Tasistro, Universidad ORT Uruguay * Alicia Villanueva, Universitat Politècnica de València * Renata Wassermann, Uni
[TYPES/announce] LSFA 2018, 3rd CfP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] THIRD CALL FOR PAPERS LSFA 2018 13th Workshop on Logical and Semantic Frameworks, with Applications 26-28 September 2018, Fortaleza, Brazil http://lia.ufc.br/~lsfa2018/ https://easychair.org/cfp/LSFA2018 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. Previous editions took place in Brasília (2017, collocated with Tableaux+FroCoS+ITP), Porto (2016), Natal (2015), Brasília (2014), São Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006). See http://lsfa.cic.unb.br for more information. TOPICS OF INTEREST Topics of interest 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 13 pages (including references) in the new ENTCS format (http://www.entcs.org/generic.zip). Beyond full regular papers, we encourage submissions such as proof pearls, rough diamonds, original surveys, or overviews of research projects, where the focus is more on elegance and dissemination than on novelty. Papers belonging to this second category are expected to be short, that is, of a maximum of 6 pages including references, unless they also contain some novel results. For both paper categories, 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. Papers should be prepared in LaTeX using the generic ENTCS package (http://www.entcs.org/generic.zip). The submission should be in the form of a PDF file uploaded to Easychair: https://easychair.org/conferences/?conf=lsfa2018 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. For the reviewing process, the traditional system will be enriched with the possibility for the reviewers to interact with the authors via an anonymous forum associated to each paper. IMPORTANT DATES: * Submission: June 10 * Notification: July 25 * Camera ready version: August 12 * LSFA 2018: September 26-28 After the publication of the ENTCS proceedings, the authors of selected papers will be invited to submit revised papers 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 * Yiannis Moschovakis, University of California, Los Angeles & University of Athens. * Andreas Herzig, CNRS, IRIT, Université de Toulouse. * Alessandra Palmigiano, Delft University of Technology. * Amy Felty, University of Ottawa. PROGRAMME COMMITTEE * Beniamino Accattoli, Inria & Ecole Polytechnique, co-chair * Carlos Olarte, Universidade Federal do Rio Grande do Norte, co-chair * Sandra Alves, University of Porto * Mario Alvim, Universidade Federal de Minas Gerais * Carlos Areces, Universidad Nacional de Córdoba * Mauricio Ayala-Rincon, Universidade de Brasilia * Eduardo Bonelli, Universidad Nacional de Quilmes & Stevens Institute of Technology * Iliano Cervesato, Carnegie Mellon University * Francicleber Ferreira, Universidade Federal do Ceará * Marcelo Finger, Universidade de São Paulo * Renata Freitas, Universidade Federal Fluminense * Marco Gaboardi, University at Buffalo, SUNY * Erich Grädel, RWTH Aachen University * Oleg Kiselyov, Tohoku University * Ugo Dal Lago, Inria & Bologna University * Sonia Marin, IT-University of Copenhagen * Claudia Nalon, Universidade de Brasilia * Revantha Ramanayake, Vienna University of Technology * Umberto Rivieccio, Universidade Federal do Rio Grande do Norte * Camilo Rueda, Pontificia Universidad Javeriana * Matthieu Sozeau, Inria & Université Paris Diderot * Carolyn Talcott, SRI International * Alvaro Tasistro, Universidad ORT Uruguay * Alicia Villanueva, Universitat Politècnica de València * Renata Wassermann, Uni
[TYPES/announce] LSFA 2018, 2nd CfP
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SECOND CALL FOR PAPERS LSFA 2018 13th Workshop on Logical and Semantic Frameworks, with Applications 26-28 September 2018, Fortaleza, Brazil http://lia.ufc.br/~lsfa2018/ https://easychair.org/cfp/LSFA2018 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. Previous editions took place in Brasília (2017, collocated with Tableaux+FroCoS+ITP), Porto (2016), Natal (2015), Brasília (2014), São Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006). See http://lsfa.cic.unb.br for more information. TOPICS OF INTEREST Topics of interest 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 13 pages (including references) in the new ENTCS format (http://www.entcs.org/generic.zip). Beyond full regular papers, we encourage submissions such as proof pearls, rough diamonds, original surveys, or overviews of research projects, where the focus is more on elegance and dissemination than on novelty. Papers belonging to this second category are expected to be short, that is, of a maximum of 6 pages including references, unless they also contain some novel results. For both paper categories, 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. Papers should be prepared in LaTeX using the generic ENTCS package (http://www.entcs.org/generic.zip). The submission should be in the form of a PDF file uploaded to Easychair: https://easychair.org/conferences/?conf=lsfa2018 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. For the reviewing process, the traditional system will be enriched with the possibility for the reviewers to interact with the authors via an anonymous forum associated to each paper. IMPORTANT DATES: * Submission: June 10 * Notification: July 25 * Camera ready version: August 12 * LSFA 2018: September 26-28 After the publication of the ENTCS proceedings, the authors of selected papers will be invited to submit revised papers 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 * Yiannis Moschovakis, University of California, Los Angeles & University of Athens. * Andreas Herzig, CNRS, IRIT, Université de Toulouse. * Alessandra Palmigiano, Delft University of Technology. * Amy Felty, University of Ottawa. PROGRAMME COMMITTEE * Beniamino Accattoli, Inria & Ecole Polytechnique, co-chair * Carlos Olarte, Universidade Federal do Rio Grande do Norte, co-chair * Sandra Alves, University of Porto * Mario Alvim, Universidade Federal de Minas Gerais * Carlos Areces, Universidad Nacional de Córdoba * Mauricio Ayala-Rincon, Universidade de Brasilia * Eduardo Bonelli, Universidad Nacional de Quilmes & Stevens Institute of Technology * Iliano Cervesato, Carnegie Mellon University * Francicleber Ferreira, Universidade Federal do Ceará * Marcelo Finger, Universidade de São Paulo * Renata Freitas, Universidade Federal Fluminense * Marco Gaboardi, University at Buffalo, SUNY * Erich Grädel, RWTH Aachen University * Oleg Kiselyov, Tohoku University * Ugo Dal Lago, Inria & Bologna University * Sonia Marin, IT-University of Copenhagen * Claudia Nalon, Universidade de Brasilia * Revantha Ramanayake, Vienna University of Technology * Umberto Rivieccio, Universidade Federal do Rio Grande do Norte * Camilo Rueda, Pontificia Universidad Javeriana * Matthieu Sozeau, Inria & Université Paris Diderot * Carolyn Talcott, SRI International * Alvaro Tasistro, Universidad ORT Uruguay * Alicia Villanueva, Universitat Politècnica de València * Renata Wassermann, University of São Paulo
[TYPES/announce] 1st CfP: LSFA 2018
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FIRST CALL FOR PAPERS LSFA 2018 13th Workshop on Logical and Semantic Frameworks, with Applications 26-28 September 2018, Fortaleza, Brazil http://lia.ufc.br/~lsfa2018/ 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. Previous editions took place in Brasília (2017, collocated with Tableaux+FroCoS+ITP), Porto (2016), Natal (2015), Brasília (2014), São Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010), Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006). See http://lsfa.cic.unb.br for more information. TOPICS OF INTEREST Topics of interest 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. Beyond full regular papers, we encourage submissions such as proof pearls, rough diamonds, original surveys, or overviews of research projects, where the focus is more on elegance and dissemination than on novelty. Papers belonging to this second category are expected to be short, that is, of a maximum of 6 pages including references, unless they also contain some novel results. For both paper categories, 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. Papers should be prepared in LaTeX using the generic ENTCS package (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=lsfa2018 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. For the reviewing process, the traditional system will be enriched with the possibility for the reviewers to interact with the authors via an anonymous forum associated to each paper. IMPORTANT DATES: * Submission: June 10 * Notification: July 25 * Camera ready version: August 12 * LSFA 2018: September 26-28 After the publication of the ENTCS proceedings, the authors of selected papers will be invited to submit revised papers 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 * Yiannis Moschovakis, University of California, Los Angeles & University of Athens. * Andreas Herzig, CNRS, IRIT, Université de Toulouse. * Alessandra Palmigiano, Delft University of Technology. * Amy Felty, University of Ottawa. PROGRAMME COMMITTEE * Beniamino Accattoli, Inria & Ecole Polytechnique, co-chair * Carlos Olarte, Universidade Federal do Rio Grande do Norte, co-chair * Sandra Alves, University of Porto * Mario Alvim, Universidade Federal de Minas Gerais * Carlos Areces, Universidad Nacional de Córdoba * Mauricio Ayala-Rincon, Universidade de Brasilia * Eduardo Bonelli, Universidad Nacional de Quilmes & Stevens Institute of Technology * Iliano Cervesato, Carnegie Mellon University * Francicleber Ferreira, Universidade Federal do Ceará * Marcelo Finger, Universidade de São Paulo * Renata Freitas, Universidade Federal Fluminense * Marco Gaboardi, University at Buffalo, SUNY * Erich Grädel, RWTH Aachen University * Oleg Kiselyov, Tohoku University * Ugo Dal Lago, Inria & Bologna University * Sonia Marin, IT-University of Copenhagen * Claudia Nalon, Universidade de Brasilia * Revantha Ramanayake, Vienna University of Technology * Umberto Rivieccio, Universidade Federal do Rio Grande do Norte * Camilo Rueda, Pontificia Universidad Javeriana * Matthieu Sozeau, Inria & Université Paris Diderot * Carolyn Talcott, SRI International * Alvaro Tasistro, Universidad ORT Uruguay * Alicia Villanueva, Universitat Politècnica de València * Renata Wassermann, University of São Paulo ORGANISING COMMITTEE * Francicleber Ferreira, Universidade Federal do Ceará * Carlos Brito, Universid
[TYPES/announce] PhD on Lambda-Calculus, in Paris
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, There is a 3-years PhD scholarship to work on the lambda-calculus and its cost models, under my supervision. The scholarship is funded by the COCA HOLA project (https://sites.google.com/site/beniaminoaccattoli/coca-hola) whose other members are - Ugo Dal Lago (Bologna) - Delia Kesner (Paris) - Damiano Mazza (Paris) - Claudio Sacerdoti Coen (Bologna) and with whom the candidate will have the opportunity to interact, and eventually be co-advised. Roughly, the project is about complexity analyses of beta-reduction, ranging all the way from abstract (e.g. understanding higher-order space) and semantical studies (e.g. intersection types for complexity analyses) to more applied (abstract machines) and even implementative tasks (hacking the engines of proof assistants with our new technologies). Essentially, the topic is a blend of lambda-calculus, functional programming, linear logic, rewriting, abstract machines, and complexity analyses. Candidates are expected to have background in at least one of these areas, and will be let free to pick the research direction they like the most (among those in the scope of the project, of course). The scholarship has to start no later than October 2017. There is no deadline, just write to me as soon as possible. The PhD will join the Parsifal INRIA team (https://team.inria.fr/parsifal/), based in the LIX lab of Ecole Polytechnique, one of the most prestigious labs in computer science in France, and located on the outskirts of Paris.
[TYPES/announce] IWC 2016 - DEADLINE EXTENSION
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NEWS: DEADLINE EXTENSION == Call for Papers IWC 2016 5th International Workshop on Confluence Week of Sep 8-9, 2016, Obergurgl, Austria, Part of Computational Logic in the Alps CLA 2016 http://www.csl.sri.com/~tiwari/iwc2016/ == Confluence provides a general notion of determinism and is widely viewed as one of the central properties of rewriting. Confluence relates to many topics of rewriting (completion, modularity, termination, commutation, etc.) and had been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constrained rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool support, certification as well as new applications. The International Workshop on Confluence (IWC) aims at promoting further research in confluence and related properties. IWC 2016 is part of the Computational Logic in the Alps event to be held in Obergurgl, Austria, during the week Sep 4-10, 2016. Previous editions of the workshop were held in Nagoya (2012), Eindhoven (2013), Vienna (2014), and Berlin (2015). During the workshop, the 5th Confluence Competition (CoCo 2016) takes place. IMPORTANT DATES: * submission: EXTENDED to June 30, 2016 * notification: July 12, 2016 * final version: Aug 03, 2016 * workshop: Sep 8-9, 2016 TOPICS: Specific topics of interest include: * confluence and related properties (unique normal forms, commutation, ground confluence) * completion * critical pair criteria * decidability issues * complexity issues * system descriptions * certification * applications of confluence INVITED SPEAKERS: * Florent Jacquemard (INRIA) * Paul-Andre Mellies (CNRS & Paris Diderot University) PROGRAM COMMITTEE: * Beniamino Accattoli (INRIA) * Bertram Felgenhauer (University of Innsbruck) * Yves Guiraud (INRIA & Paris Diderot University) * Nao Hirokawa (JAIST) * Koji Nakazawa (Nagoya) * Ashish Tiwari (Menlo Park) SUBMISSION: We solicit short papers or extended abstracts of at most five pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and may provide additional feedback. The accepted papers will be made available electronically before the workshop. The page limit for papers is 5 pages in EasyChair style. Short papers or extended abstracts must be submitted electronically through the EasyChair system at: https://www.easychair.org/conferences/?conf=iwc2016
[TYPES/announce] IWC 2016 - Second Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Second Call for Papers IWC 2016 5th International Workshop on Confluence Week of Sep 4-10, 2016, Obergurgl, Austria, Part of Computational Logic in the Alps CLA 2016 http://www.csl.sri.com/~tiwari/iwc2016/ == Confluence provides a general notion of determinism and is widely viewed as one of the central properties of rewriting. Confluence relates to many topics of rewriting (completion, modularity, termination, commutation, etc.) and had been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constrained rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool support, certification as well as new applications. The International Workshop on Confluence (IWC) aims at promoting further research in confluence and related properties. IWC 2016 is part of the Computational Logic in the Alpsevent to be held in Obergurgl, Austria, during the week Sep 4-10, 2016. Previous editions of the workshop were held in Nagoya (2012), Eindhoven (2013), Vienna (2014), and Berlin (2015). During the workshop, the 5th Confluence Competition (CoCo 2016) takes place. IMPORTANT DATES: * submission June 22, 2016 * notification July 12, 2016 * final version Aug 03, 2016 * workshop Sep 4-10, 2016 TOPICS: Specific topics of interest include: * confluence and related properties (unique normal forms, commutation, ground confluence) * completion * critical pair criteria * decidability issues * complexity issues * system descriptions * certification * applications of confluence INVITED SPEAKERS: * Florent Jacquemard (INRIA) * Paul-Andre Mellies (CNRS & Paris Diderot University) PROGRAM COMMITTEE: * Beniamino Accattoli (INRIA) * Bertram Felgenhauer (University of Innsbruck) * Yves Guiraud (INRIA & Paris Diderot University) * Nao Hirokawa (JAIST) * Koji Nakazawa (Nagoya) * Ashish Tiwari (Menlo Park) SUBMISSION: We solicit short papers or extended abstracts of at most five pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and may provide additional feedback. The accepted papers will be made available electronically before the workshop. The page limit for papers is 5 pages in EasyChair style. Short papers or extended abstracts must be submitted electronically through the EasyChair system at: https://www.easychair.org/conferences/?conf=iwc2016
[TYPES/announce] 1st CFP: IWC 2016
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = First Call for Papers IWC 2016 5th International Workshop on Confluence Sep 8 -9, 2016, Obergurgl, Austria, Part of Computational Logic in the Alps, CLA 2016 http://www.csl.sri.com/~tiwari/iwc2016/ = Confluence provides a general notion of determinism and is widely viewed as one of the central properties of rewriting. Confluence relates to many topics of rewriting (completion, modularity, termination, commutation, etc.) and had been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constrained rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool support, certification as well as new applications. The International Workshop on Confluence (IWC) aims at promoting further research in confluence and related properties. IWC 2016 is part of the Computational Logic in the Alps event to be held in Obergurgl, Austria, during the week Sep 4 -10, 2016. Previous editions of the workshop were held in Nagoya (2012), Eindhoven (2013), Vienna (2014), and Berlin (2015). During the workshop, the 5th Confluence Competition (CoCo 2016) takes place. IMPORTANT DATES: * submission June 22, 2016 * notification July 12, 2016 * final version Aug 03, 2016 * workshop Sep 8 -9, 2016 TOPICS: Specific topics of interest include: * confluence and related properties (unique normal forms, commutation, ground confluence) * completion * critical pair criteria * decidability issues * complexity issues * system descriptions * certification * applications of confluence INVITED SPEAKERS: * TBD PROGRAM COMMITTEE: * Beniamino Accattoli (INRIA), co-chair * Bertram Felgenhauer (University of Innsbruck) * Yves Guiraud (University of Paris 7) * Nao Hirokawa (JAIST) * Koji Nakazawa (Nagoya) * Ashish Tiwari (Menlo Park), co-chair SUBMISSION: We solicit short papers or extended abstracts of at most five pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and may provide additional feedback. The accepted papers will be made available electronically before the workshop. The page limit for papers is 5 pages in EasyChair style. Short papers or extended abstracts must be submitted electronically through the EasyChair system at: https://www.easychair.org/conferences/?conf=iwc2016