From: hassei@kurims.kyoto-u.ac.jp
To: las-lics@lists.tu-berlin.de, types-announce@LISTS.seas.upenn.edu,
ProofTheory.List@gmail.com, categories@mta.ca,
concurrency@listserver.tue.nl,
finite-model-theory@lists.rwth-aachen.de,
appsem@lists.tcs.ifi.lmu.de, lfcs-interest@inf.ed.ac.uk,
linear@cs.stanford.edu, GAMES@lists.rwth-aachen.de,
prog-lang@diku.dk, theorem-provers@ai.mit.edu,
theory-logic@CS.CMU.EDU, agda@lists.chalmers.se,
dbworld@cs.wisc.edu, asl@vassar.edu, cade@itu.dk,
coq-club@inria.fr, isabelle-users@cl.cam.ac.uk,
types@lists.chalmers.se, caml-list@inria.fr,
rewriting@ens-lyon.fr, termtools@www.lri.fr
Cc: hassei@kurims.kyoto-u.ac.jp
Subject: [Caml-list] FSCD'16 Satellite Events and Upcoming Deadlines
Date: Sat, 19 Mar 2016 01:23:38 +0900 (JST) [thread overview]
Message-ID: <64301.112.69.137.194.1458318218.risu@tinu.kurims.kyoto-u.ac.jp> (raw)
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@kurims.kyoto-u.ac.jp>
RIMS, Kyoto University
reply other threads:[~2016-03-18 16:26 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=64301.112.69.137.194.1458318218.risu@tinu.kurims.kyoto-u.ac.jp \
--to=hassei@kurims.kyoto-u.ac.jp \
--cc=GAMES@lists.rwth-aachen.de \
--cc=ProofTheory.List@gmail.com \
--cc=agda@lists.chalmers.se \
--cc=appsem@lists.tcs.ifi.lmu.de \
--cc=asl@vassar.edu \
--cc=cade@itu.dk \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=concurrency@listserver.tue.nl \
--cc=coq-club@inria.fr \
--cc=dbworld@cs.wisc.edu \
--cc=finite-model-theory@lists.rwth-aachen.de \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=las-lics@lists.tu-berlin.de \
--cc=lfcs-interest@inf.ed.ac.uk \
--cc=linear@cs.stanford.edu \
--cc=prog-lang@diku.dk \
--cc=rewriting@ens-lyon.fr \
--cc=termtools@www.lri.fr \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@CS.CMU.EDU \
--cc=types-announce@LISTS.seas.upenn.edu \
--cc=types@lists.chalmers.se \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox