[TYPES/announce] LAP 2022 - Logic and Applications: CFP

[Silvia Ghilezan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

=

[Please broadcast/post/forward. Apologies for duplicates]


LAP 2022 CONFERENCE ANNOUNCEMENT

LOGIC AND APPLICATIONS - LAP 2022

September 26-29, 2022, Dubrovnik, Croatia


https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2022__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N8JbmjXZA$
  



The conference brings together researchers from various fields of logic with 
applications in computer science.
Topics of interest include, but are not restricted to:
- Formal systems of classical and non-classical logic;
- Category theory;
- Proof theory;
- Model theory;
- Set theory;
- Type theory;
- Lambda calculus;
- Process algebras and calculi;
- Behavioural types;
- Systems of reasoning in the presence of incomplete, imprecise and/or 
contradictory information;
- Computational complexity;
- Interactive theorem provers;
- Security and Privacy.

Student sessions will be organized.

-

LAP is a series of conferences held at IUC - Inter University Center Dubrovnik, 
Croatia.
The first conference Proof Systems was held on June 28, 2012, co-located with 
the conference LICS 2012, 
followed by 
LAP 2013, September 16-20, 2013 
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2013__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N8TXk_acQ$
  
)
LAP 2014, September 22-26, 2014 
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2014__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N_a3gg4yQ$
  
)
LAP 2015, September 21-25, 2015 
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2015__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N_gVqVKIA$
  
)
LAP 2016, September 19-23, 2016 
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2016__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N9N9rBT6A$
  
)
LAP 2017, September 18-22, 2017 
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2017__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N9LAB8jzw$
  
)
LAP 2018, September 24-28, 2018 
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2018__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N93TZB3ow$
  
)
LAP 2019, September 23-27, 2019 
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2019__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N8TekiNDg$
  
)
LAP 2020, September 21-25, 2020 
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2020__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N-6Afh-aA$
  
)
LAP 2021, September 20-24, 2021 
(https://urldefense.com/v3/__http://imft.ftn.uns.ac.rs/math/cms/LAP2021__;!!IBzWLUs!Fv68--eGTbmI9Sw2MEOV_mAJxnh48MsrZMtrryI7qgp_LY1VNC5MBEFq_lT0ZsDuW9Cb9N_tG3CCSQ$
  
)

-

IMPORTANT DATES
Abstract Submission: June 15, 2022
Author Notification: July 1, 2022
Final version: July 

[TYPES/announce] PPDP 2021 deadline extension

[Silvia Ghilezan]

 
years.

For each paper category, you must use the most recent version of the "Current
ACM Master Template" which is available at
<https://www.acm.org/publications/proceedings-template 
<https://www.acm.org/publications/proceedings-template>>. The most recent 
version
at the time of writing is 1.75. 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, contact ACM's TeX support
team at Aptara mailto:acmtexsupp...@aptaracorp.com>>.

Authors should note ACM's statement on author's rights (http://authors.acm.org/ 
<http://authors.acm.org/>)
which apply to final papers. Submitted papers should meet the requirements of
ACM's plagiarism policy
(http://www.acm.org/publications/policies/plagiarism_policy 
<http://www.acm.org/publications/policies/plagiarism_policy>).

Requirements for Publication


At least one author of each accepted submission will be expected to
attend and present the work at the conference. The PC chair may retract
a paper that is not presented. The PC chair may also retract a paper if
complaints about the paper's correctness are raised which cannot be
resolved by the final paper deadline.


Program Committee
-

Zena Ariola, University of Oregon, USA
Nick Benton, Facebook, UK
Małgorzata Biernacka, University of Wroclaw, Poland
James Cheney, The University of Edinburgh, UK
Stefania Dumbrava, ENSIIE Paris-Evry, France
Silvia Ghilezan, University of Novi Sad & Mathematical Institute SASA, Serbia 
Hugo Herbelin, INRIA, France
Cosimo Laneve, University of Bologna, Italy
Pierre Lescanne, ENS de Lyon, France
Ugo de’Liguoro, University of Torino, Italy
Francesca A. Lisi, University of Bari, Italy
Yanhong Annie Liu, Stony Brook University, USA
Elaine Pimentel, Federal University of Rio Grande do Norte, Brazil
Yukiyoshi Kameyama, University of Tsukuba, Japan
Petar Maksimović, Imperial College, London, UK
Yutaka Nagashima, Yale-NUS College, Singapore & University of Innsbruck, Austria
Aleksandar Nanevski, IMDEA Software Institute, Spain
Vivek Nigam, fortiss GmbH, Germany & Federal University of Paraíba, Brazil
Jorge A. Pérez, University of Groningen, The Netherlands
Sanjiva Prasad, Indian Institute of Technology Delhi, India
Alexis Saurin, CNRS, Université de Paris & INRIA , France
Tom Schrijvers , KU Leuven, The Netherlands
Paul Tarau, University of North Texas, USA
Tarmo Uustalu, Reykjavik University, Island & Tallinn University of Technology, 
Estonia

-    -
Program committee co-chair: Nick Benton, Facebook, UK
Program committee co-chair: Silvia Ghilezan, University of Novi Sad & 
Mathematical Institute SASA, Serbia
Organising committee chair: Niccolò Veltri, Tallinn University of Technology, 
Estonia
Steering committee chair: James Cheney, Edinburgh University, UK
-    -----

All questions about submissions should be emailed to the program chair Silvia 
Ghilezan mailto:gsil...@uns.ac.rs>>.
All questions about local information should be emailed to the local organiser 
Niccolò Veltri mailto:nicc...@cs.ioc.ee>>.

[TYPES/announce] PPDP 2021 Second Call for Papers

[Silvia Ghilezan]

 time of writing is 1.75. 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, contact ACM's TeX support
team at Aptara .

Authors should note ACM's statement on author's rights (http://authors.acm.org/)
which apply to final papers. Submitted papers should meet the requirements of
ACM's plagiarism policy
(http://www.acm.org/publications/policies/plagiarism_policy).

Requirements for Publication


At least one author of each accepted submission will be expected to
attend and present the work at the conference. The PC chair may retract
a paper that is not presented. The PC chair may also retract a paper if
complaints about the paper's correctness are raised which cannot be
resolved by the final paper deadline.


Program Committee
-

Zena Ariola, University of Oregon, USA
Nick Benton, Facebook, UK
Małgorzata Biernacka, University of Wroclaw, Poland
James Cheney, The University of Edinburgh, UK
Stefania Dumbrava, ENSIIE Paris-Evry, France
Silvia Ghilezan, University of Novi Sad & Mathematical Institute SASA, Serbia 
Hugo Herbelin, INRIA, France
Cosimo Laneve, University of Bologna, Italy
Pierre Lescanne, ENS de Lyon, France
Ugo de’Liguoro, University of Torino, Italy
Francesca A. Lisi, University of Bari, Italy
Yanhong Annie Liu, Stony Brook University, USA
Elaine Pimentel, Federal University of Rio Grande do Norte, Brazil
Yukiyoshi Kameyama, University of Tsukuba, Japan
Petar Maksimović, Imperial College, London, UK
Yutaka Nagashima, Yale-NUS College, Singapore & University of Innsbruck, Austria
Aleksandar Nanevski, IMDEA Software Institute, Spain
Vivek Nigam, fortiss GmbH, Germany & Federal University of Paraíba, Brazil
Jorge A. Pérez, University of Groningen, The Netherlands
Sanjiva Prasad, Indian Institute of Technology Delhi, India
Alexis Saurin, CNRS, Université de Paris & INRIA , France
Tom Schrijvers , KU Leuven, The Netherlands
Paul Tarau, University of North Texas, USA
Tarmo Uustalu, Reykjavik University, Island & Tallinn University of Technology, 
Estonia

-    -
Program committee co-chair: Nick Benton, Facebook, UK
Program committee co-chair: Silvia Ghilezan, University of Novi Sad & 
Mathematical Institute SASA, Serbia
Organising committee chair: Niccolò Veltri, Tallinn University of Technology, 
Estonia
Steering committee chair: James Cheney, Edinburgh University, UK
-    -

All questions about submissions should be emailed to the program chair Silvia 
Ghilezan .
All questions about local information should be emailed to the local organiser 
Niccolò Veltri .

[TYPES/announce] PPDP 2021 Call for Papers

[Silvia Ghilezan]

st 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, contact ACM's TeX support
team at Aptara .

Authors should note ACM's statement on author's rights (http://authors.acm.org/)
which apply to final papers. Submitted papers should meet the requirements of
ACM's plagiarism policy
(http://www.acm.org/publications/policies/plagiarism_policy).

Requirements for Publication


At least one author of each accepted submission will be expected to
attend and present the work at the conference. The PC chair may retract
a paper that is not presented. The PC chair may also retract a paper if
complaints about the paper's correctness are raised which cannot be
resolved by the final paper deadline.

-    -
Program committee co-chair: Nick Benton, Facebook
Program committee co-chair: Silvia Ghilezan, University of Novi Sad & 
Mathematical Institute SASA
Organising committee chair: Niccolò Veltri, Tallinn University of Technology
Steering committee chair: James Cheney, Edinburgh University
-    -

All questions about submissions should be emailed to the program chair Silvia 
Ghilezan .
All questions about local information should be emailed to the local organiser 
Niccolò Veltri .

[TYPES/announce] HOR 2019 - Deadline Extension

[Silvia Ghilezan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


--

CALL FOR SUBMISSIONS 

**HOR 2019 - 10th International Workshop on Higher-Order Rewriting
**28 June 2019
**Dortmund, Germany
**affiliated with FSCD 2019

**http://imft.ftn.uns.ac.rs/HOR2019 <http://imft.ftn.uns.ac.rs/HOR2019>

--
** IMPORTANT DATES
--

* Submission deadline: 25 April 2019 (extended deadline)
* Notification: 17 May 2019
* Final version: 31 May 2019

--
* OVERVIEW
--

HOR is a forum to present work concerning all aspects of higher-order 
rewriting.

HOR aims to provide an informal and friendly setting to discuss recent
work and work in progress concerning higher-order rewriting, broadly
construed. This includes rewriting systems that have functional
variables or bound variables, the lambda-calculus and combinatory
logic being paradigmatic examples.

* TOPICS

The following is a non-exhaustive list of topics for the workshop:

 - Applications: proof checking, theorem proving, generic
   programming, declarative programming, program transformation.

 - Foundations: pattern matching, unification, strategies, narrowing,
   termination, syntactic properties, type theory.

 - Frameworks: term rewriting, conditional rewriting, graph
   rewriting, net rewriting, comparisons of different frameworks.

 - Implementation: graphs, nets, abstract machines, explicit
   substitution, rewriting tools, compilation techniques.

 - Semantics: operational semantics, denotational semantics,
   separability, higher-order abstract syntax.

--
** SUBMISSION GUIDELINES
--

To give a presentation at the workshop, submit an extended abstract
(between 2 to 5 pages} via Easychair

 https <https://easychair.org/conferences/?conf=hor2019>:// 
<https://easychair.org/conferences/?conf=hor2019>easychair 
<https://easychair.org/conferences/?conf=hor2019>.org/conferences/? 
<https://easychair.org/conferences/?conf=hor2019>conf 
<https://easychair.org/conferences/?conf=hor2019>= 
<https://easychair.org/conferences/?conf=hor2019>hor2019 
<https://easychair.org/conferences/?conf=hor2019>

HOR is a platform for discussing open questions, ongoing research, and
new perspectives, as well as new results. Extended abstracts
describing work in progress, preliminary results, research projects, or
problems in higher-order rewriting are very welcome.

The workshop has informal electronic proceedings. 


--
** COMMITTEES
------
** PROGRAM COMMITTEE

* Silvia Ghilezan, chair, University of Novi Sad, Serbia
* Stefano Guerrini, Paris 13 University, France
* Masahito Hasegawa, Kyoto University, Japan
* Cynthia Kop, Radboud University, The Netherlands
* Pierre Lescanne, Ecole Normale Supérieure de Lyon, France
* Julian Nagele, Queen Mary University of London, UK
* Vincent van Oostrom, University of Innsbruck, Austria

--
** STEERING COMMITTEE

* Delia Kesner, Université Paris 7, France
* Femke Van Raamsdonk, Vrije Universiteit, The Netherlands

--
** INVITED SPEAKERS
--

* TBA
* TBA

--
** CONTACT
--

All questions about submissions should be emailed to the PC chair 
Silvia Ghilezan  (gsil...@uns.ac.rs <mailto:gsil...@uns.ac.rs>)



-- 
--
==
Silvia Ghilezan, Ph.D.
Professor
Faculty of Technical Sciences, University of Novi Sad
Trg Dositeja Obradovica 6
21000 Novi Sad, Serbia
tel + 381 21 485 2277
fax + 381 21 6350 770
http://imft.ftn.uns.ac.rs/~silvia

[TYPES/announce] HOR 2019 - Call for Submissions

[Silvia Ghilezan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


--
**
**  CALL FOR SUBMISSIONS 
**
**HOR 2019 - 10th International Workshop on Higher-Order Rewriting
**28 June 2019
**Dortmund, Germany
**
**http://imft.ftn.uns.ac.rs/HOR2019
--
**
**HOR 2019 is affiliated with FSCD 2019
**http://easyconferences.eu/fscd2019/
**
--

* OVERVIEW

HOR is a forum to present work concerning all aspects of higher-order 
rewriting.

HOR aims to provide an informal and friendly setting to discuss recent
work and work in progress concerning higher-order rewriting, broadly
construed. This includes rewriting systems that have functional
variables or bound variables, the lambda-calculus and combinatory
logic being paradigmatic examples.

* TOPICS

The following is a non-exhaustive list of topics for the workshop:

 - Applications: proof checking, theorem proving, generic
   programming, declarative programming, program transformation.

 - Foundations: pattern matching, unification, strategies, narrowing,
   termination, syntactic properties, type theory.

 - Frameworks: term rewriting, conditional rewriting, graph
   rewriting, net rewriting, comparisons of different frameworks.

 - Implementation: graphs, nets, abstract machines, explicit
   substitution, rewriting tools, compilation techniques.

 - Semantics: operational semantics, denotational semantics,
   separability, higher-order abstract syntax.

--
** SUBMISSION GUIDELINES
--

To give a presentation at the workshop, submit an extended abstract
(between 2 to 5 pages} via Easychair

 https://easychair.org/conferences/?conf=hor2019

HOR is a platform for discussing open questions, ongoing research, and
new perspectives, as well as new results. Extended abstracts
describing work in progress, preliminary results, research projects, or
problems in higher-order rewriting are very welcome.

The workshop has informal electronic proceedings. 

--
** IMPORTANT DATES
--

* Submission deadline: 15 April 2019
* Notification: 17 May 2019
* Final version: 31 May 2019

--
** COMMITTEES
--
** PROGRAM COMMITTEE

* Silvia Ghilezan, chair, University of Novi Sad, Serbia
* Stefano Guerrini, Paris 13 University, France
* Masahito Hasegawa, Kyoto University, Japan
* Cynthia Kop, Radboud University, The Netherlands
* Pierre Lescanne, Ecole Normale Supérieure de Lyon, France
* Vincent van Oostrom, University of Innsbruck, Austria

--
** STEERING COMMITTEE

* Delia Kesner, Université Paris 7, France
* Femke Van Raamsdonk, Vrije Universiteit, The Netherlands

--
** INVITED SPEAKERS
--

* TBA
* TBA

--
** CONTACT
--

All questions about submissions should be emailed to the PC chair 
Silvia Ghilezan  (gsil...@uns.ac.rs <mailto:gsil...@uns.ac.rs>)

[TYPES/announce] LAP 2018 - Logic and Applications: CFP

[Silvia Ghilezan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

=
[ Please broadcast/post/forward. Apologies for duplicates]

LAP 2018 CONFERENCE ANNOUNCEMENT

LOGIC AND APPLICATIONS - LAP 2018
September 24-28, 2018, Dubrovnik, Croatia

http://imft.ftn.uns.ac.rs/math/cms/LAP2018 
<http://imft.ftn.uns.ac.rs/math/cms/LAP2018>

The conference brings together researchers from various fields of logic with 
applications in computer science.
Topics of interest include, but are not restricted to:
- Formal systems of classical and non-classical logic;
- Category theory;
- Proof theory;
- Lambda calculus;
- Set theory;
- Type theory;
- Process algebras and calculi;
- Behavioural types;
- Systems of reasoning in the presence of incomplete, imprecise and/or 
contradictory information;
- Computational complexity;
- Interactive theorem provers;
- Security.

Student sessions will be organised.

Co-located event FORMALS 2018 http://formals.ufzg.hr/ <http://formals.ufzg.hr/>

LAP is a series of conferences held at IUC - Inter University Center Dubrovnik, 
Croatia.
The first conference Proof Systems was held on June 28, 2012, co-located with 
the conference LICS 2012, followed by 
LAP 2013, September 16-20, 2013 (http://imft.ftn.uns.ac.rs/math/cms/LAP2013 
<http://imft.ftn.uns.ac.rs/math/cms/LAP2013>)
LAP 2014, September 22-26, 2014 (http://imft.ftn.uns.ac.rs/math/cms/LAP2014 
<http://imft.ftn.uns.ac.rs/math/cms/LAP2014>)
LAP 2015, September 21-25, 2015 (http://imft.ftn.uns.ac.rs/math/cms/LAP2015 
<http://imft.ftn.uns.ac.rs/math/cms/LAP2015>)
LAP 2016, September 19-23, 2016 (http://imft.ftn.uns.ac.rs/math/cms/LAP2016 
<http://imft.ftn.uns.ac.rs/math/cms/LAP2016>)
LAP 2016, September 18-22, 2017 (http://imft.ftn.uns.ac.rs/math/cms/LAP2017 
<http://imft.ftn.uns.ac.rs/math/cms/LAP2017>)

IMPORTANT DATES
Abstract Submission: June 1, 2018
Author Notification: June 26, 2018
Final version: July 6, 2018

SUBMISSION
Authors should submit an abstract in LaTeX format, not exceeding three pages, to
v...@mi.sanu.ac.rs <mailto:v...@mi.sanu.ac.rs>
(with the subject "LAP 2018").

LOCATION:
IUC - Inter University Center Dubrovnik
http://www.iuc.hr/ <http://www.iuc.hr/>

COURSE DIRECTORS
- Zvonimir Šikić, University of Zagreb
- Andre Scedrov, University of Pennsylvania
- Silvia Ghilezan, University of Novi Sad
- Zoran Ognjanović, Mathematical Institute SANU, Belgrade
- Thomas Studer, University of Bern

==

[TYPES/announce] LAP 2017 - Logic and Applications: CFP

[Silvia Ghilezan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

===
[ Please broadcast/post/forward. Apologies for duplicates]

LAP 2017 CONFERENCE ANNOUNCEMENT

LOGIC AND APPLICATIONS - LAP 2017
September 18-22, 2017, Dubrovnik, Croatia

http://imft.ftn.uns.ac.rs/math/cms/LAP2017

The conference brings together researchers from various fields of logic with 
applications in computer science.
Topics of interest include, but are not restricted to:
- Formal systems of classical and non-classical logic;
- Category theory;
- Proof theory;
- Lambda calculus;
- Type theory;
- Process algebras and calculi;
- Behavioural types;
- Systems of reasoning in the presence of incomplete, imprecise and/or 
contradictory information;
- Computational complexity;
- Interactive theorem provers;
- Security.

Student sessions will be organized.

LAP is a series of conferences held at IUC - Inter University Center Dubrovnik, 
Croatia. LAP 2017 is the 6th edition.

The first conference Proof Systems was held on June 28, 2012, co-located with 
the conference LICS 2012, followed by
LAP 2013, September 16-20, 2013 (http://imft.ftn.uns.ac.rs/math/cms/LAP2013)
LAP 2014, September 22-26, 2014 (http://imft.ftn.uns.ac.rs/math/cms/LAP2014)
LAP 2015, September 21-25, 2015 (http://imft.ftn.uns.ac.rs/math/cms/LAP2015)
LAP 2016, September 19-23, 2016 (http://imft.ftn.uns.ac.rs/math/cms/LAP2016)

IMPORTANT DATES
Abstract Submission: June 1, 2017
Author Notification: June 26, 2017
Final version: July 6, 2017

SUBMISSION
Authors should submit an abstract in LaTeX format, not exceeding three pages, to
v...@mi.sanu.ac.rs
(with the subject "LAP 2017").

LOCATION:
IUC - Inter University Center Dubrovnik
http://www.iuc.hr/

COURSE DIRECTORS
- Zvonimir Šikić, University of Zagreb
- Andre Scedrov, University of Pennsylvania
- Silvia Ghilezan, University of Novi Sad
- Zoran Ognjanović, Mathematical Institute SANU, Belgrade
- Thomas Studer, University of Bern

[TYPES/announce] TYPES 2016 post-proceedings open call for papers

[Silvia Ghilezan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

(Apologies for multiple copies of this announcement)
==


Open call for papers: Post-proceedings of 
TYPES 2016 - The 22nd International Conference on Types for Proofs and Programs
--

TYPES is a major forum for the presentation of research on all aspects of 
type theory and its applications. TYPES 2016 was held 23-26 May 2016 in 
Novi Sad, Serbia. The post-proceedings volume will be published in LIPIcs,  
Leibniz International Proceedings in Informatics, an open-access series 
of conference proceedings (http://www.dagstuhl.de/en/publications/lipics).

Submission to this post-proceedings volume is open to everyone, also to those
who did not participate in the conference.
 
We would like to invite all researchers that study and apply type systems 
to share their results. In particular, we welcome submissions on the following 
topics:

* Foundations of type theory and constructive mathematics;
* Homotopy type theory;
* Applications of type theory;
* Dependently typed programming;
* Industrial uses of type theory technology;
* Meta-theoretic studies of type systems;
* Proof assistants and proof technology;
* Automation in computer-assisted reasoning;
* Links between type theory and functional programming;
* Formalizing mathematics using type theory;
* Type theory in linguistics.


Important dates


* Abstract submission:28 November 2016 
* Paper submission:   12 December 2016 
* Notification of acceptance: 12 June 2017


Details
---
* Papers have to be formatted with lipics.cls and adhere to the style
 requirements of LIPIcs.
 http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/

* The recommended length of a paper is 15-25 pages. Submissions 
significantly longer than 25 pages will not be considered.  

* Papers have to be submitted in pdf through EasyChair:
https://easychair.org/conferences/?conf=types16postproceedin

* Authors have the option to attach to their submission a zip or tgz
 file containing code (formalized proofs or programs), but reviewers
 are not obliged to take those attachments into account and they will
 not be published.

* More information is available on 
http://www.types2016.uns.ac.rs/

* In case of questions, please contact one of the editors.

Editors
---

Herman Geuvers  Radboud University Nijmegen, The Netherlands
Silvia Ghilezan University of Novi Sad, Serbia
Jelena Ivetic  University of Novi Sad, Serbia

[TYPES/announce] TYPES 2016 call for participation

[Silvia Ghilezan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

(Apologies for multiple copies of this announcement. Please circulate.)
==

   CALL FOR PARTICIPATION

  22nd International Conference on Types for Proofs and Programs,
   TYPES 2016
 23-26 May 2016
Novi Sad, Serbia

http://www.types2016.uns.ac.rs

INVITED SPEAKERS 
Simon Gay (University of Glasgow)
Dale Miller (INRIA Saclay & LIX École Polytechnique)
Simona Ronchi della Rocca (Università di Torino)

REGISTRATION (NEW)
Early registration is till 9 May 2016.

ACCEPTED PAPERS (NEW)
The list of accepted papers is available.


BACKGROUND
The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming. 
Previous TYPES meetings were held in
Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993),
Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998),
Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002),
Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006),
Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw
(2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015).

The TYPES areas of interest include, but are not limited to:

* Foundations of type theory and constructive mathematics;
* Homotopy type theory;
* Applications of type theory;
* Dependently typed programming;
* Industrial uses of type theory technology;
* Meta-theoretic studies of type systems;
* Proof assistants and proof technology;
* Automation in computer-assisted reasoning;
* Links between type theory and functional programming;
* Formalizing mathematics using type theory.

VENUE
Novi Sad, on the banks of the Danube, is known for its
Petrovaradin Fortress, beautiful sandy beach and cosy atmosphere.
The conference will be held at the University of Novi Sad Central Building.

REGISTRATION
Please register online. 
Early registration is till 9 May 2016.


PROGRAMME COMMITTEE

Thorsten Altenkirch (University of Nottingham)
Zena Ariola (University of Oregon)
Andrej Bauer (University of Ljubljana)
Marc Bezem (University of Bergen)
Malgorzata Biernacka (University of Wroclaw)
Edwin Brady (University of St Andrews)
Thierry Coquand (University of Gothenburg)
Jose Espirito Santo (University of Minho)
Ken-etsu Fujita (Gunma University)
Silvia Ghilezan (University of Novi Sad) (co-chair)
Hugo Herbelin (INRIA Paris-Rocquencourt)
Jelena Ivetic  (University of Novi Sad) (co-chair)
Marina Lenisa (University of Udine)
Elaine Pimentel (Federal University of Rio Grande do Norte)
Andrew Polonsky (University Paris Diderot)
Jakob Rehof (Technical University of Dortmund)
Claudio Sacerdoti Coen (University of Bologna)
Carsten Schürmann (IT University of Copenhagen)
Dieter Spreen (University of Siegen)
Wouter Swierstra (Utrecht University)
Nicolas Tabareau (INRIA)
Tarmo Uustalu (Tallinn University of Technology)


SATELLITE EVENT: 
- The 9th Workshop Computational Logic and Applications - CLA 2016 
will be held on May 26-27, 2016.

ORGANIZERS
University of Novi Sad
Faculty of Technical Sciences
Mathematical Institute SASA

CONTACT: types2...@uns.ac.rs


=

[TYPES/announce] LAP 2016 - Logic and Applications: CFP

[Silvia Ghilezan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

===
[ Please broadcast/post/forward. Apologies for duplicates]

LAP 2016 CONFERENCE ANNOUNCEMENT

LOGIC AND APPLICATIONS - LAP 2016
September 19-23, 2016, Dubrovnik, Croatia

http://imft.ftn.uns.ac.rs/math/cms/LAP2016

The conference brings together researchers from various fields of logic with 
applications in computer science.
Topics of interest include, but are not restricted to:
- Formal systems of classical and non-classical logic;
- Category theory;
- Proof theory;
- Lambda calculus;
- Type theory;
- Process algebras and calculi;
- Behavioural types;
- Systems of reasoning in the presence of incomplete, imprecise and/or 
contradictory information;
- Computational complexity;
- Interactive theorem provers;
- Security.

Student sessions will be organized.

LAP is a series of conferences held at IUC - Inter University Center Dubrovnik, 
Croatia.
The first conference Proof Systems was held on June 28, 2012, co-located with 
the conference LICS 2012, followed by 
LAP 2013, September 16-20, 2013 (http://imft.ftn.uns.ac.rs/math/cms/LAP2013)
LAP 2014, September 22-26, 2014 (http://imft.ftn.uns.ac.rs/math/cms/LAP2014)
LAP 2015, September 21-25, 2014 (http://imft.ftn.uns.ac.rs/math/cms/LAP2015)

IMPORTANT DATES
Abstract Submission: June 1, 2016
Author Notification: June 25, 2016
Final version: July 5, 2016

SUBMISSION
Authors should submit an abstract in LaTeX format, not exceeding three pages, to
v...@mi.sanu.ac.rs
(with the subject "LAP 2016").

LOCATION:
IUC - Inter University Center Dubrovnik
http://www.iuc.hr/

COURSE DIRECTORS
- Zvonimir Šikić, University of Zagreb
- Andre Scedrov, University of Pennsylvania
- Silvia Ghilezan, University of Novi Sad
- Zoran Ognjanović, Mathematical Institute SANU, Belgrade
- Thima Studer, University of Bern

==

[TYPES/announce] TYPES 2016 extended deadline

[Silvia Ghilezan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[New deadline 29 February 2016,
submission deadline extended by a week.
Consider contributing.]

==

   CALL FOR CONTRIBUTIONS

  22nd International Conference on Types for Proofs and Programs,
   TYPES 2016
 23-26 May 2016
Novi Sad, Serbia

http://www.types2016.uns.ac.rs

BACKGROUND

The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming. 

The TYPES areas of interest include, but are not limited to:

* Foundations of type theory and constructive mathematics;
* Homotopy type theory;
* Applications of type theory;
* Dependently typed programming;
* Industrial uses of type theory technology;
* Meta-theoretic studies of type systems;
* Proof assistants and proof technology;
* Automation in computer-assisted reasoning;
* Links between type theory and functional programming;
* Formalizing mathematics using type theory.

We encourage talks proposing new ways of applying type theory. In the 
spirit of workshops, talks may be based on newly published papers, work 
submitted for publication, but also work in progress.

INVITED SPEAKERS  (NEW)

Simon Gay (University of Glasgow)
Dale Miller (INRIA Saclay & LIX École Polytechnique)
Simona Ronchi della Rocca (Università di Torino)

CONTRIBUTED TALKS 

We solicit contributed talks based on extended abstracts/short papers of 
2 pages prepared in LaTeX and formatted with easychair.cls. The submission 
site is https://easychair.org/conferences/?conf=types2016.

Important Dates:

* submission of abstracts:29 February 2016 (extended)
* notification of acceptance:21 March 2016
* camera-ready version of abstracts: 11 April 2016


Camera-ready versions of the accepted contributions will be published 
in an informal book of abstracts for distribution at the workshop.

POST-PROCEEDINGS

Similarly to earlier TYPES conferences, we intend to publish a
post-proceedings volume in the Leibniz International Proceedings in
Informatics (LIPiCS) series. Submission to that volume would be open for
everyone. Tentative submission deadline: October 2016.

VENUE

The conference will be held at the University of Novi Sad, University 
Central Building.

SATELLITE EVENT: The 9th Workshop Computational Logic and Applications - 
CLA 2016 will be held on May 27-28, 2016.


PROGRAMME COMMITTEE

Thorsten Altenkirch (University of Nottingham)
Zena Ariola (University of Oregon)
Andrej Bauer (University of Ljubljana)
Marc Bezem (University of Bergen)
Malgorzata Biernacka (University of Wroclaw)
Edwin Brady (University of St Andrews)
Thierry Coquand (University of Gothenburg)
Jose Espirito Santo (University of Minho)
Ken-etsu Fujita (Gunma University)
Silvia Ghilezan (University of Novi Sad) (co-chair)
Hugo Herbelin (INRIA Paris-Rocquencourt)
Jelena Ivetic  (University of Novi Sad) (co-chair)
Marina Lenisa (University of Udine)
Elaine Pimentel (Federal University of Rio Grande do Norte)
Andrew Polonsky (University Paris Diderot)
Jakob Rehof (Technical University of Dortmund)
Claudio Sacerdoti Coen (University of Bologna)
Carsten Schürmann (IT University of Copenhagen)
Dieter Spreen (University of Siegen)
Wouter Swierstra (Utrecht University)
Nicolas Tabareau (INRIA)
Tarmo Uustalu (Tallinn University of Technology)

TYPES STEERING COMMITTEE

Marc Bezem, Herman Geuvers (chair), Hugo Herbelin, Zhaohui Luo, Ralph 
Matthes, Bengt Nordström, Andrew Polonsky, Aleksy Schubert, Tarmo Uustalu.

ABOUT TYPES

The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of 
five EU funded networking projects. Since 2009, TYPES has been run as 
an independent conference series. Previous TYPES meetings were held in
Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993),
Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998),
Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002),
Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006),
Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw
(2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015).

ORGANIZERS
University of Novi Sad
Faculty of Technical Sciences
Mathematical Institute SASA

CONTACT: types2...@uns.ac.rs


=

[TYPES/announce] TYPES 2016 2nd call for contributions

[Silvia Ghilezan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

(Apologies for multiple copies of this announcement. Please circulate.)
==

   CALL FOR CONTRIBUTIONS

  22nd International Conference on Types for Proofs and Programs,
   TYPES 2016
 23-26 May 2016
Novi Sad, Serbia

http://www.types2016.uns.ac.rs

BACKGROUND

The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming. 

The TYPES areas of interest include, but are not limited to:

* Foundations of type theory and constructive mathematics;
* Homotopy type theory;
* Applications of type theory;
* Dependently typed programming;
* Industrial uses of type theory technology;
* Meta-theoretic studies of type systems;
* Proof assistants and proof technology;
* Automation in computer-assisted reasoning;
* Links between type theory and functional programming;
* Formalizing mathematics using type theory.

We encourage talks proposing new ways of applying type theory. In the 
spirit of workshops, talks may be based on newly published papers, work 
submitted for publication, but also work in progress.

INVITED SPEAKERS (NEW)

Simon Gay (University of Glasgow)
Dale Miller (INRIA Saclay & LIX École Polytechnique)
Simona Ronchi della Rocca (Università di Torino)

CONTRIBUTED TALKS 

We solicit contributed talks based on extended abstracts/short papers of 
2 pages prepared in LaTeX and formatted with easychair.cls. The submission 
site is https://easychair.org/conferences/?conf=types2016.

Important Dates:

* submission of abstracts:22 February 2016 
* notification of acceptance:21 March 2016
* camera-ready version of abstracts: 11 April 2016


Camera-ready versions of the accepted contributions will be published 
in an informal book of abstracts for distribution at the workshop.

POST-PROCEEDINGS

Similarly to earlier TYPES conferences, we intend to publish a
post-proceedings volume in the Leibniz International Proceedings in
Informatics (LIPiCS) series. Submission to that volume would be open for
everyone. Tentative submission deadline: October 2016.

VENUE

The conference will be held at the University of Novi Sad, University 
Central Building.

SATELLITE EVENT: The 9th Workshop Computational Logic and Applications - 
CLA 2016 will be held on May 27-28, 2016.


PROGRAMME COMMITTEE

Thorsten Altenkirch (University of Nottingham)
Zena Ariola (University of Oregon)
Andrej Bauer (University of Ljubljana)
Marc Bezem (University of Bergen)
Malgorzata Biernacka (University of Wroclaw)
Edwin Brady (University of St Andrews)
Thierry Coquand (University of Gothenburg)
Jose Espirito Santo (University of Minho)
Ken-etsu Fujita (Gunma University)
Silvia Ghilezan (University of Novi Sad) (co-chair)
Hugo Herbelin (INRIA Paris-Rocquencourt)
Jelena Ivetic  (University of Novi Sad) (co-chair)
Marina Lenisa (University of Udine)
Elaine Pimentel (Federal University of Rio Grande do Norte)
Andrew Polonsky (University Paris Diderot)
Jakob Rehof (Technical University of Dortmund)
Claudio Sacerdoti Coen (University of Bologna)
Carsten Schürmann (IT University of Copenhagen)
Dieter Spreen (University of Siegen)
Wouter Swierstra (Utrecht University)
Nicolas Tabareau (INRIA)
Tarmo Uustalu (Tallinn University of Technology)

TYPES STEERING COMMITTEE

Marc Bezem, Herman Geuvers (chair), Hugo Herbelin, Zhaohui Luo, Ralph 
Matthes, Bengt Nordström, Andrew Polonsky, Aleksy Schubert, Tarmo Uustalu.

ABOUT TYPES

The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of 
five EU funded networking projects. Since 2009, TYPES has been run as 
an independent conference series. Previous TYPES meetings were held in
Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993),
Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998),
Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002),
Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006),
Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw
(2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015).

ORGANIZERS
University of Novi Sad
Faculty of Technical Sciences
Mathematical Institute SASA

CONTACT: types2...@uns.ac.rs


=

[TYPES/announce] TYPES 2016 call for contributions

[Silvia Ghilezan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

(Apologies for multiple copies of this announcement)
==

   CALL FOR CONTRIBUTIONS

  22nd International Conference on Types for Proofs and Programs,
   TYPES 2016
 23-26 May 2016
Novi Sad, Serbia

http://www.types2016.uns.ac.rs

BACKGROUND

The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming. 

The TYPES areas of interest include, but are not limited to:

* Foundations of type theory and constructive mathematics;
* Homotopy type theory;
* Applications of type theory;
* Dependently typed programming;
* Industrial uses of type theory technology;
* Meta-theoretic studies of type systems;
* Proof assistants and proof technology;
* Automation in computer-assisted reasoning;
* Links between type theory and functional programming;
* Formalizing mathematics using type theory.

We encourage talks proposing new ways of applying type theory. In the 
spirit of workshops, talks may be based on newly published papers, work 
submitted for publication, but also work in progress.


CONTRIBUTED TALKS 

We solicit contributed talks based on extended abstracts/short papers of 
2 pages prepared in LaTeX and formatted with easychair.cls. The submission 
site is https://easychair.org/conferences/?conf=types2016.

Important Dates:

* submission of abstracts:22 February 2016 
* notification of acceptance:21 March 2016
* camera-ready version of abstracts: 11 April 2016


Camera-ready versions of the accepted contributions will be published 
in an informal book of abstracts for distribution at the workshop.

POST-PROCEEDINGS

Similarly to earlier TYPES conferences, we intend to publish a
post-proceedings volume in the Leibniz International Proceedings in
Informatics (LIPiCS) series. Submission to that volume would be open for
everyone. Tentative submission deadline: October 2016.

VENUE

The conference will be held at the University of Novi Sad, University 
Central Building.

SATELLITE EVENT: The 9th Workshop Computational Logic and Applications - 
CLA 2016 will be held on May 27-28, 2016.


PROGRAMME COMMITTEE

Thorsten Altenkirch (University of Nottingham)
Zena Ariola (University of Oregon)
Andrej Bauer (University of Ljubljana)
Marc Bezem (University of Bergen)
Malgorzata Biernacka (University of Wroclaw)
Edwin Brady (University of St Andrews)
Thierry Coquand (University of Gothenburg)
Jose Espirito Santo (University of Minho)
Ken-etsu Fujita (Gunma University)
Silvia Ghilezan (University of Novi Sad) (co-chair)
Hugo Herbelin (INRIA Paris-Rocquencourt)
Jelena Ivetic  (University of Novi Sad) (co-chair)
Marina Lenisa (University of Udine)
Elaine Pimentel (Federal University of Rio Grande do Norte)
Andrew Polonsky (University Paris Diderot)
Jakob Rehof (Technical University of Dortmund)
Claudio Sacerdoti Coen (University of Bologna)
Carsten Schürmann (IT University of Copenhagen)
Dieter Spreen (University of Siegen)
Wouter Swierstra (Utrecht University)
Nicolas Tabareau (INRIA)
Tarmo Uustalu (Tallinn University of Technology)

TYPES STEERING COMMITTEE

Marc Bezem, Herman Geuvers (chair), Hugo Herbelin, Zhaohui Luo, Ralph 
Matthes, Bengt Nordström, Andrew Polonsky, Aleksy Schubert, Tarmo Uustalu.

ABOUT TYPES

The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of 
five EU funded networking projects. Since 2009, TYPES has been run as 
an independent conference series. Previous TYPES meetings were held in
Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993),
Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998),
Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002),
Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006),
Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw
(2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015).

CONTACT: types2...@uns.ac.rs


=