[TYPES/announce] DEADLINE EXTENSION: Logical Aspects of Computational Linguistics 20th anniversary edition (NEW DEADLINE JULY 3 2016)

[Christian RETORE]

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

LACL 2016 20th anniversary edition 
Logical Aspects of Computational Linguistics
LORIA Nancy, December 5-7 2016
NEW: SUBMISSION DEADLINE JULY 3 2016
short papers (4-8 pages) and usual papers (12-16 pages)  
http://lacl.gforge.inria.fr/

PRESENTATION

LACL'2016 is the 20th anniversary of the international conference on Logical 
Aspects of Computational Linguistics that was launched in Nancy in 1996.  The 
scope of this conference is the use of type theoretic, proof theoretic and 
model theoretic methods for describing natural language syntax, semantics and 
pragmatics as well as the implementation of natural language processing 
software relying on logical formalisation. As 20 years ago LACL will also take 
place at Loria in Nancy.  

SCOPE

Computer scientists, linguists, mathematicians and philosophers are invited to 
present their work on the use of logical methods in computational linguistics 
and natural language processing, in natural language analysis, generation or 
acquisition.

Topics of either theoretical or applied interest include, but are not limited 
to:

- Logical foundation of syntactic formalisms, in particular categorial grammars 
and other type theoretic grammars, parsing as deduction, model theoretic syntax 
 
- Logical frameworks for lexical semantics; 
- Logical semantics of sentences, discourse and dialogue;  
- Applications of these logical frameworks to natural language processing tasks 
 (automated analysis, generation, acquisition, textual inference) 
- Applications of the logical formalisation of language faculty to cognitive 
sciences 

INVITED SPEAKERS

Maria ALONI (ILLC, Universiteit van Amsterdam)
Johan BOS (Rijksuniversiteit Groningen)
Shalom LAPPIN (Göteborgs universitet) 
Louise McNALLY (Universitat Pompeu Fabra, Barcelona) 

SUBMISSIONS 

Articles should be written in the LaTeX format of LNCS by Springer (see authors 
instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). 

There will be two kinds of papers: 
- Regular (long) papers between 12 and 16 pages --- authors willing to submit 
lengthier papers should contact the committee. 
- Short papers (work in progress, position papers) between 4 and 8 pages. 

Submission is exclusively admitted electronically, in PDF format, through the 
EasyChair system. The submission site is 
https://www.easychair.org/conferences/?conf=lacl2016 

It is expected that each accepted paper be presented at the meeting by one of 
its authors.

PROCEEDINGS

Accepted papers will be published as a volume of the FoLLI subline of Lecture 
Notes in Computer Science (LNCS) Here are the links to the first and last 
editions so far: 
http://dx.doi.org/10.1007/BFb0052147   
http://dx.doi.org/10.1007/978-3-662-43742-1 

IMPORTANT DATES

PAPER SUBMISSION DEADLINE: JULY 3, 2016
Notification of acceptance: September 1, 2016
Camera ready copies due:  September 20, 2016
Conference dates: December 5-7 2016

PROGRAMME COMMITTEE AND CONTACTS 

Christian Retoré PC chair
(Université de Montpellier, LIRMM-CNRS)
christian.ret...@lirmm.fr 
Maxime Amblard, main organizer 
(Université de Lorraine,) 
maxime.ambl...@loria.fr 
Philippe de Groote, publicity chair
(LORIA/INRIA, Nancy Grand Est)
philippe.degro...@loria.fr 
Sylvain Pogodalla, local chair 
(LORIA/INRIA, Nancy Grand Est)
sylvain.pogoda...@loria.fr 

Nicholas Asher (IRIT/CNRS, Toulouse)
Denis Béchet (LINA/CNRS Université de Nantes)  
Daisuke Bekki (Ochninamizu University, Tokyo) 
Raffaella Bernardi (Università di Trento)
Gemma Boleda (Università di Trento) 
Raffaella Bernardi (University of Trento) 
Heather Burnett (LLF/CNRS, Paris) 
Wojciech Buszkowski (Poznan University)
Stergios Chatzikyriakidis (Göteborg University) 
Robin Cooper (Göteborg University) 
Marcus Egg (Humboldt-universität zu Berlin) 
Annie Foret (IRISA, Université Rennes 1) 
Nissim Francez (Technion, Haifa) 
Makoto Kanazawa (NII, Tokyo)  
Greg Kobele (University of Chicago)
Marcus Kracht (University of Bielefeld) 
Hans Leiss (Universität München)
Robert Levine (Ohio State University) 
Zhaohui Luo (Royal Holloway College, University of London) 
Alda Mari (IJN/CNRS Paris, & University of Chicago)
Michael Moortgat (Universiteit Utrecht, UiL OTS)  
Richard Moot (LaBRI/CNRS, Bordeaux)
Glyn Morrill (Universitat Politècnica de Catalunya, Barcelona)
Larry Moss  (University of Indiana) 
Valeria de Paiva (Nuance Communications, Cupertino) 
Carl Pollard (The Ohio State University)  
Jean-Philippe Prost (LIRMM/CNRS, Université de Montpellier)
Myriam Quatrini (I2M, Aix-Marseille Université) 
Mehrnoosh Sadrzadeh (Queen Mary College, University of London) 
Sergei Soloviev (IRIT, Université Toulouse III)
Stephanie Solt (Zentrum für Allgemeine Sprachwissenschaft, Berlin) 
Edward Stabler (Nuance Communications, Cupertino)
Mark Steedman (University of Edinburgh)
Jakub Szymanik (ILLC, Universteit van Amsterdam) 
Isabelle Tellier 

[TYPES/announce] Call for Participation: 3rd Virtual Machine Meetup, September 1-2, Lugano, Switzerland

[Andrea Rosa]

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

   Call for Participation: VMM’16
   ==

 3rd Virtual Machine Meetup

   Co-located with PPPJ
  September 1-2, 2016, Lugano, Switzerland

   http://vmmeetup.github.io/2016/


The 3rd Virtual Machine Meetup (VMM'16) is a venue for discussing the latest
research and developments in the area of managed language execution. It will be
held on 1st and 2nd of September at the Università della Svizzera italiana
(USI), Lugano, Switzerland and is part of the Managed Languages & Runtimes Week
2016 (http://manlang16.inf.usi.ch/, other colocated events are PPPJ'16 and
JTRES'16, room Auditorium from 9am - 5pm). We welcome presentations of new
research results, experience reports, as well as position statements that can
lead to interesting discussions.


Topics include, but are not limited to:

- Programming language design
- Dynamic and static program analysis
- Compiler construction
- Managed runtime architectures
- Data processing engines
- Distributed execution environments

To participate, please email 
thomas.wuerthin...@oracle.com stating 
your wish to
attend, and your name and affiliation as you wish to have them on your name
badge. There are limited participant slots due to the constraints of the room,
so please register early, and by July 20th the latest.

If you would like to give a presentation, please email Thomas with a title
(max. 100 characters) and abstract (max. 400 characters). We may ask for
additional information from you before making the program decision.
Presentation slots are either 30 minutes (long) or 15 minutes (short)
including Q/A.


Important dates:

- Submissions:  July 10, 2016
- Author notification: July 17, 2016
- Registration for participation: July 20, 2016
- Virtual machine Meetup: Sep 1st + 2nd 2016 at USI Lugano
- Social Event: Sep 3rd 2016, optional


Program committee:

- Stefan Marr, JKU Linz, Austria
- Matthias Grimmer, JKU Linz, Austria
- Laurence Tratt, King's College London
- Thomas Wuerthinger, Oracle Labs Switzerland

As an optional social event, we will plan this year for Saturday the 3rd of
September a trip to the Lake Como - a gorgeous lake in Italy close to Lugano.
Please let us know whether you intend to participate for planning purposes.


Andrea Rosà
PhD student - Teaching assistant
Faculty of Informatics - 2nd floor
Università della Svizzera italiana (USI)
Via G. Buffi 13
CH-6904 Lugano
Switzerland
(e) andrea.r...@usi.ch
(p) +41 58 666 4455 ext. 2183
(w) http://www.inf.usi.ch/phd/rosaa/

[TYPES/announce] Post doc at IT University of Copenhagen

[Rasmus Ejlers Møgelberg]

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

Dear all,

I have an available post doc position at the IT University of Copenhagen. My 
funding covers two years, but for administrative reasons the contract will be 
initially for one year with the possibility of extension for one more. Ideally, 
I would like the post doc to start in August, but I realize that this is a very 
short notice, so the starting date can be postponed until January 1st if needed.

The post doc will work on a project on guarded recursion, which is an approach 
to the problem of augmenting type theory with recursion without breaking 
consistency. Perhaps more accurately, it can be described as a synthetic 
approach to step-indexing with applications also to the problem om checking 
productivity of coinductive definitions. We are currently working on rewrite 
semantics and an implementation of an extension of cubical type theory with 
guarded recursion. I would prefer to hire someone who can work on these 
projects, but there is also work to be done on category theoretic models of 
guarded recursion, and so people with skills in the area of category theoretic 
models of type theory are also encouraged to apply. 

Those interested in the post doc should contact me via email as soon as 
possible.

Best wishes,
Rasmus Mogelberg

[TYPES/announce] WST 2016 - Second Call for Papers

[Thiemann, Rene]

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

==
  WST 2016 - 2nd Call for Papers
   15th International Workshop on Termination
   
 September 5-7, 2016, Obergurgl, Austria
http://cl-informatik.uibk.ac.at/events/wst-2016/
==

The Workshop on Termination (WST) traditionally brings together, in an
informal setting, researchers interested in all aspects of termination,
whether this interest be practical or theoretical, primary or derived. The
workshop also provides a ground for cross-fertilization of ideas from term
rewriting and from the different programming language communities. The
friendly atmosphere enables fruitful exchanges leading to joint research
and subsequent publications.

The event is held as part of CLA 2016

  http://cl-informatik.uibk.ac.at/events/cla-2016/

IMPORTANT DATES:
 * submission June 22, 2016
 * notification   July 12, 2016
 * final version  August 3, 2016
 * workshop   September 5-7, 2016

TOPICS: The 15th International Workshop on Termination welcomes
contributions on all aspects of termination and termination analysis.

Contributions from the imperative, constraint, functional, and logic
programming communities, and papers investigating applications of
complexity or termination (for example in program transformation or
theorem proving) are particularly welcome.

Topics of interest include all aspects of termination. This includes
(but is not limited to):
 * certification of termination and complexity proofs
 * challenging termination problems
 * comparison and classification of termination methods
 * complexity analysis in any domain
 * implementation of termination and complexity methods
 * implicit computational complexity
 * infinitary normalization
 * non-termination analysis and loop detection
 * normalization in lambda calculi
 * operational termination of conditional rewrite systems
 * ordinal notation and subrecursive hierarchies
 * SAT, SMT, and constraint solving for (non-)termination analysis
 * scalability and modularity of termination methods
 * termination analysis in any domain
 * well-founded relations and well-quasi-orders

COMPETITION: There will be a live complexity and termination competition
during the workshop, including time to present both the results and the
tools of the participants. More details will be provided in a dedicated
announcement on the competition.

PROGRAM COMMITTEE:
 * Ugo Dal Lago Bologna University
 * Jörg Endrullis   VU University Amsterdam
 * Yukiyoshi Kameyama   University of Tsukuba
 * Salvador Lucas   Universidad Politécnica de Valencia
 * Aart Middeldorp  University of Innsbruck, co-chair
 * Andrey Rybalchenko   Microsoft Research
 * Thomas Ströder   RWTH Aachen
 * René ThiemannUniversity of Innsbruck, co-chair
 * Andreas WeiermannGhent University

INVITED SPEAKERS:
 * Reiner HähnleTU Darmstadt

SUBMISSION: Submissions are short papers/extended abstract which should
not exceed 5 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 provides additional
feedback for each submission. The accepted papers will be made available
electronically before the workshop.

Papers should be submitted electronically via the submission page:

http://www.easychair.org/conferences/?conf=wst2016

Final versions should be created using LaTeX and the LIPIcs style file

http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz

[TYPES/announce] WLP 2016 - Final Call for Papers and deadline extension

[Sibylle Schwarz]

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

==
   FINAL CALL FOR PAPERS (extended deadline)

 30th Workshop on Logic Programming (WLP 2016)

   Leipzig, Germany, September 12 - 13, 2016

http://nfa.imn.htwk-leipzig.de/WLP2016

   part of the
 Leipzig Week of Declarative Programming (L-DEC) 2016
http://nfa.imn.htwk-leipzig.de/LDEC2016
==

The Workshops on (Constraint) Logic Programming are the annual meeting
of the German Society of Logic Programming Gesellschaft für Logische
Programmierung e.V. (GLP) and bring together researchers interested
in logic programming, constraint programming, answer set programming,
and related areas like databases and artificial intelligence (not only
from Germany).

The workshops provide a forum for exchanging ideas on declarative
logic programming, nonmonotonic reasoning and knowledge
representation, and facilitate interactions between research in
theoretical foundations and in the design and implementation of
logic-based programming systems.

Contributions are welcome on all theoretical, experimental, and
application aspects of logic programming (LP) and constraint
programming (CP), including, but not limited to the following areas:

Logic Programming and Extensions

* foundations of CP and LP
* constraint solving and optimisation
* functional logic programming, objects
* dynamics, updates, states, transactions
* interaction of CP and LP with other formalisms like agents, XML, JAVA
* parallelism and concurrency
* complexity and expressive power
* program analysis, program transformation, program verification,
  meta programming

Knowledge Representation and Nonmonotonic Reasoning

* deductive databases, data mining
* rule-based systems
* abductive and inductive logic programming
* answer-set programming
* semantics and proof-theoretical investigations

Application of Logic Programming

* logic programming in production, management, environment, education,
  medicine, internet, etc.
* CP/LP for Semantic Web applications and reasoning on the Semantic Web
* data modelling for the Web, semistructured data, and Web query languages

Implementation of Systems

* system descriptions, comparisons, evaluations, benchmarks
* implementation techniques
* software techniques and programming support (e.g., types, modularity,
  design patterns, debugging, testing, systematic program development).

The primary focus is on new and original research results but
submissions describing innovative products, prototypes under
development, interesting experiments (e.g., benchmarks) or ongoing
scientific work are also encouraged.

Submission
==
Authors are invited to submit an extended abstract (no longer than 15
pages including figures and references) or a system description (no
longer than 6 pages) in PDF (11pt) via EasyChair
http://www.easychair.org/conferences/?conf=wlp2016.

All submissions must be unpublished original work. However, work
that already appeared in unpublished or informally published workshops
proceedings may be submitted, too.

All submissions must be written in English and prepared in EPTCS style
(http://style.eptcs.org).

Selected papers will be published electronically in
joint WLP/ WFLP post-conference proceedings in EPTCS.

Important Dates
===
Submission of papers:July 3, 2016 (extended)
Notification of acceptance:  July 15, 2016
Workshop:September 12 - 13, 2016

Program committee
=
Stefan Brass- Univ. Halle
Gerhard Brewka  - Univ. Leipzig
Michael Hanus   - CAU Kiel
Heinrich Herre  - Univ. Leipzig
Steffen Hölldobler  - TU Dresden
Petra Hofstedt  - BTU Cottbus
Ulrich John - HWTK Berlin
Georg Ringwelski- HS Zittau/Görlitz
Torsten Schaub  - Univ. Potsdam
Sibylle Schwarz (chair) - HTWK Leipzig
Dietmar Seipel  - Univ. Wuerzburg

Workshop Organizer
===
Sibylle Schwarz
Hochschule für Technik, Wirtschaft und Kultur Leipzig
F-IMN, Postfach 301166
04251 Leipzig
sibylle.schw...@htwk-leipzig.de
http://www.imn.htwk-leipzig.de/~schwarz