[TYPES/announce] FSCD'16 Satellite Events and Upcoming Deadlines

[hassei at kurims.kyoto-u.ac.jp]

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