coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FSCD'16 Satellite Events and Upcoming Deadlines

From: hassei AT kurims.kyoto-u.ac.jp
To: las-lics AT lists.tu-berlin.de, types-announce AT LISTS.seas.upenn.edu, ProofTheory.List AT gmail.com, categories AT mta.ca, concurrency AT listserver.tue.nl, finite-model-theory AT lists.rwth-aachen.de, appsem AT lists.tcs.ifi.lmu.de, lfcs-interest AT inf.ed.ac.uk, linear AT cs.stanford.edu, GAMES AT lists.rwth-aachen.de, prog-lang AT diku.dk, theorem-provers AT ai.mit.edu, theory-logic AT CS.CMU.EDU, agda AT lists.chalmers.se, dbworld AT cs.wisc.edu, asl AT vassar.edu, cade AT itu.dk, coq-club AT inria.fr, isabelle-users AT cl.cam.ac.uk, types AT lists.chalmers.se, caml-list AT inria.fr, rewriting AT ens-lyon.fr, termtools AT www.lri.fr
Cc: hassei AT kurims.kyoto-u.ac.jp
Subject: [Coq-Club] FSCD'16 Satellite Events and Upcoming Deadlines
Date: Sat, 19 Mar 2016 01:23:38 +0900 (JST)
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hassei AT kurims.kyoto-u.ac.jp; spf=None smtp.mailfrom=hassei AT kurims.kyoto-u.ac.jp; spf=None smtp.helo=postmaster AT omls-1.kuins.kyoto-u.ac.jp
Importance: Normal
Ironport-phdr: 9a23:XVvzsBXW0nZ2qFvP7Fv5qd+2VHbV8LGtZVwlr6E/grcLSJyIuqrYbBSGt8tkgFKBZ4jH8fUM07OQ6PCwHzRdqszY6DgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2DJV0Vz2DkOftbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN5IeSp10RHR/ayFmrPHs4B3KVk6L53AHemEXiQZTRRTYqRv3RJPwtG32u641xDiCMNazRLYyXimk5KpDbD7TtBxBLDMw6yfKksF2iuRWrA/l7yRlxInaXIGYM+BvOIfcZs8ySm9IX8IXXCtERsu3ZpcCAO0bPOtDh4zhrh0FpF/2Dg6qD/710DJOjW7e2awhz/8sCx/Lxko8At9ItnCQ5Nv0MqYOXKWwy6XFyXDfb/5RwybV7InTbgtnu+6QXfd5eMHRxE9pGw6BxlyIsZfoOhuR1/8RqC6H5PEmVOyuzWoitkd9r3znwsknkczIgJ4Y0F3f6Q14xohzKNH+QUU9fN3gWJ9RsSyTLaN9WYU5X2hutiEgxvsLtYP/NAcj7bkc7xrecOCcNZKX/hKmXe+aITp+wn5oPPqnnRG9tEypzOLUWsi3zRBGrW4NjtnBsWoA0lnL8M+ZR+Fm1k6gnzOOy0be5vwAaVw0mK3BOtslxbExnbI4igLoOxKwtWnLyOefeUkt0uyp8Pj8JL7mr5uZOpVvzBrzduwikNO4G+A0GgMVGXea4u/62bH+uQXwW7FikPQtiaDD9p3WOIBTrae1DidUzptl5xX7RzyhyZETmWQNBFNDYhOOyYbzfxnPO/nyAPO7jhGxizpx3NjNOvvqC5CLJ3OFjbSlNaps80NH4A4y1sxEoZlUA7UELejoHFT88JTTBxo9dgi12PrPCdNn14pYV3jLSrWUL7nTrV6O6coiJfLJYJ4SvnDzMbxt+/P0iGM+nlsGVba2wt0TcnH+EO41DV+eZC/si8waHGYivRckTenxzl6TViJUImv0Vql65CloW8qdEY7fS9X10/S61yChE8gPPm0=

FSCD 2016: SATELLITE EVENTS AND UPCOMING DEADLINES

First International Conference on Formal Structures for
Computation and Deduction (FSCD'16)
22 June -- 26 June 2016, Porto, Portugal
http://fscd2016.dcc.fc.up.pt/
http://fscd2016.dcc.fc.up.pt/programme/workshopList/

Various meetings and workshops are colocated with FSCD 2016.
The following is a summary of them, with the upcoming deadlines
(based on the data as of 18 March 2016).
For the latest information please visit each event's webpage.

---------

Upcoming deadlines (in the chronological order):

ITRS: March 28-31, 2016
LSFA: April 8, 2016
LFMTP: April 8-13, 2016
LINEARITY: April 8-15, 2016
HDRA: April 15, 2016
WWV: April 16, 2016
HoTT/UF: April 20, 2016
WPTE: April 22, 2016
HOR: April 25, 2016
DCM: April 29, 2016
UNIF: May 1, 2016

----------

FSCD Satellite events:

6th Workshop on Classical Logic and Computation (CL&C):
http://www.di.unito.it/~stefano/CL&C/CL&C16.htm

12th Workshop on Developments in Computational Models (DCM):
http://dcm-workshop.org.uk/2016/

2nd Workshop on Higher-Dimensional Rewriting and Applications (HDRA):
http://hdra.gforge.inria.fr/

8th Workshop on Higher-Order Rewriting (HOR):
http://www.diku.dk/hjemmesider/ansatte/simonsen/HOR2016/

2nd Workshop on Homotopy Type Theory / Univalent Foundations (HoTT/UF):
http://hott-uf.gforge.inria.fr/

IFIP Working Group 1.6: Term Rewriting:
http://cbr.uibk.ac.at/ifip-wg1.6/

8th Workshop on Intersection Types and Related Systems (ITRS):
http://www-kb.is.s.u-tokyo.ac.jp/ITRS2016/

4th Workshop on Linearity (LINEARITY):
http://www.cs.cmu.edu/~linearity16/

18th Workshop on Logical Frameworks and Meta-Languages: Theory and
Practice (LFMTP):
http://dlicata.web.wesleyan.edu/events/lfmtp2016/

11th Workshop on Logical and Semantic Frameworks, with Applications (LSFA):
http://lsfa2016.mat.unb.br/

30th Workshop on Unification (UNIF):
http://users.mat.unimi.it/users/ghilardi/UNIF2016/

3rd Workshop on Rewriting Techniques for Program Transformations and
Evaluation (WPTE):
http://project.inria.fr/wpte2016/

12th Workshop on Automated Specification and Verification of Web Systems
(WWV):
http://www.lucavigano.com/WWV2016/

--------

--
Masahito Hasegawa
<hassei AT kurims.kyoto-u.ac.jp>
RIMS, Kyoto University

[Coq-Club] FSCD'16 Satellite Events and Upcoming Deadlines, hassei, 03/18/2016