Skip to Content.
Sympa Menu

coq-club - [Coq-Club] FSCD 2017 - Call for participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] FSCD 2017 - Call for participation


Chronological Thread 
  • From: Sandra Alves <sandra AT dcc.fc.up.pt>
  • To: cl-isabelle-users AT lists.cam.ac.uk, types-announce AT lists.seas.upenn.edu, rewriting AT ens-lyon.fr, ProofTheory AT Lists.Bath.Ac.UK, appsem AT lists.tcs.ifi.lmu.de, coq-club AT inria.fr, caml-list AT inria.fr, termtools AT lists.lri.fr, cade AT itu.dk, categories AT mta.ca, finite-model-theory AT lists.rwth-aachen.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, asl AT vassar.edu, las-lics AT lists.tu-berlin.de, types AT lists.chalmers.se, logic AT math.uni-bonn.de
  • Subject: [Coq-Club] FSCD 2017 - Call for participation
  • Date: Tue, 11 Jul 2017 18:28:49 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sandra AT dcc.fc.up.pt; spf=Pass smtp.mailfrom=sandra AT dcc.fc.up.pt; spf=Pass smtp.helo=postmaster AT smtp.dcc.fc.up.pt
  • Ironport-phdr: 9a23:MPFMpBa7m57XaFUtutQPFqL/LSx+4OfEezUN459isYplN5qZps++Zh7h7PlgxGXEQZ/co6odzbGH7Oa4ASQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Y75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hycdLzM38H3YhcNtgqxYrhyvuRtxzpXOb42JMfpzZKPdcc8YSGdHQ81fVzZBAoS5b4YXEuQOJ+BYoJTnp1QUsBCzGQ2sBP3xxT9Tm3T72rY63P4nEQ7bxgwvBckDv2nIo9rpLqsSX/y6wLPVzTXbdf9WwSv95ZHOfxs8r/+MWrdwftDQyUkpDw7FiVqRpZb/MDyJzOgNrmub4ux9Xuysk24qsxx9rzyhy8s2l4XEiIMYxkrK+Ch92oo5ONy1RFZ4bNOqCpdcqi+XO5VsTs4tQ2xkojg2x7IYtZO9YSME0o4oxwTFZPyCa4WI4gzsVOKWITpgn3Jlfa6/hw6o/Ue91uLzStO40FhWoSZfj9nMrmoB1wTP6sSfS/t9+Fmu2SqX2gzO7uxJL1o4mbfVJpMg2LI9mJ4evV7eEiL3gEn2ibWZdkQg+uim8eTnZbDmq4eHN4BujAHxL74uldakDOslLgcBQ3KX+eqg27H54E35WK9GjuUqkqXBqpDVOdwbprKlAw9Syoss9wywDzKi0NgBmXkHLUlFeA6cgojyO1DOJej4Au2lj1Stljdr3fHGMaf7DpXDNHjJiK3hcqpl605A1AozyshS6I5TCrEYOf78RkvxtMHDARIiKAy1w+PnCM1n2Y8EWGKPBLWZMKLIvlOS6OIvObrEWIhAszK4KuMs7fPqiXJ8hEQQZ7KB2ZoMdGv+Ff1jZUySJ2fvxp8dAH8HpU83SurtlVuJXBZXZm2uROQn6zggTp++AIHFAI2hnfjJxiqkBJxKZ2ZJIl2KCjLsZoKCHfkWLGqqOMhmnAAEWL+7WqcF1Aqyr0nQwqZnaMPfvBA78drqzMBu6uj7kRAp6ScyE8+GlWCDTidwm35OSzJylKt4uAl2zkqJ+al+mf1RU9JJo7tCWwI+cJrd1PBSCtboWwuHcM3NAEqrWNC6BjY1Vfo1wsQSeAB5AdTkgAqHlyGjD7I9lqCWQpA3turX1mT8KMFnynvd/Kw9hh8tS48HO2ygh7Jysg3UC4PN1lmZmqGwZIwY3TXR7yGZ0naO+UhRWw59V+PJUDRXYkXdtpH44F/PVbK1FZwmNAUHxMLEI6AMd96txVFHQvrqIvzVeCSqh262CxGSyvWBYJeuM0o0+QjmIEwFiBwIu2yZKQh7Dy6qo2/YSjBjURr3eUTjtO13rnyTQk430keGbAkpy7q4/QQYgLmEUfQN06gfkC4g7TB1ABCw08+SQ8aAqg17beBYZtw8639s7iTykjE7E7Cda+hriVIXWwB2pF/1kR53A4FFnNIx6mgniEJ7MqawzlpabDqCm538J/mfLmDpuRSuYLX+3lDFzM3Q5rpK4vkir1Tl+g2kUgI+4m1qyPFR0mCA/dPBDAMWVJ/rSQAs+lwyo7bVYyIV4orI1TtxN6jxuDjE3ZQlCbgL0BGlKuxWNq+eHUfbF9MXHID6M+Usl0KgRh4PN6Zc/+gpJ4W+a63Vi+aQIO98kWf+3ix864dn3xfU+g==

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

                            CALL FOR PARTICIPATION
                        2nd International Conference on
                Formal Structures for Computation and Deduction
                                         FSCD 2017
                 3–9, September 2017 (colocated with ICFP)
                                Oxford, UK
http://www.cs.ox.ac.uk/conferences/fscd2017/

FSCD is a conference covering all aspects of formal structures for
computation and deduction from theoretical foundations to applications.
Building on two communities, RTA (Rewriting Techniques and Applications)
and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core
topics and broadens their scope to closely related areas in logics, proof
theory and new emerging models of computation such as quantum computing
and homotopy type theory.

REGISTRATION
The registration page is already open and linked from:
http://www.cs.ox.ac.uk/conferences/fscd2017/registration.html

The early registration deadline is *** 7 August ***.
Students should apply for scholarships by *** 21 July ***
(for more details please visit the conference webpage).


INVITED SPEAKERS
* Marco Gaboardi   (Univ. Buffalo, SUNY)
* Georg Mose         (Univ. Innsbruck)
* Alexandra Silva    (University College London)
* Christine Tasson  (PPS and Univ. Paris Diderot)


SATELLITE EVENTS
- Trends in Linear Logic and Applications (September 3)
- 31st International Workshop on Unification (September 3)
- Trends in Mechanised Security Proofs, COST Action CA15123 EUTypes Workshop (September 3)
- *Third Workshop on Higher-Dimensional Rewriting and Applications (September 8-9)
- Third Workshop on Homotopy Type Theory and Univalent Foundations (September 8-9)
- *First Workshop on String Diagrams in Computation, Logic, and Physics (September 8-9)
- Fourth Meeting on Structures and Deduction (September 8 and 9)
- Sixth International Workshop on Confluence (September 8)
- International Workshop on Logical Frameworks and Meta-Languages - Theory and Practice (September 8)
- Fourth International Workshop on Rewriting Techniques for Program Transformation and Evaluation (September 8)
- IFIP Working Group 1.6: Rewriting (September 9)

* These workshops will be co-located.

PROGRAM CHAIR
Dale Miller (Inria Saclay)

PROGRAM COMMITTEE
Andreas Abel (Gothenburg Univ.)
Elvira Albert (Complutense Madrid)
María Alpuente (TU Valencia)
Takahito Aoto (Niigata Univ. )
Zena Ariola (Univ. Oregon)
Federico Aschieri (TU Wien)
Stefano Berardi (Univ. Turin)
Lars Birkedal (Aarhus Univ.)
Filippo Bonchi (CNRS & ENS Lyon)
Pierre Clairambault (CNRS & ENS Lyon)
Ugo Dal Lago (Univ. Bologna)
Herman Geuvers (Radboud Univ.)
Silvia Ghilezan (Univ. Novi Sad)
Jürgen Giesl (RWTH Aachen)
Hugo Herbelin (Inria Paris)
Jan Hoffmann (Carnegie Mellon)
Deepak Kapur (Univ. New Mexico)
Paul Blain Levy (Univ. Birmingham)
Paulo Oliva (QMUL, London)
Vincent van Oostrom (Univ. Innsbruck)
Daniela Petrisan (LIAFA, Paris)
Femke van Raamsdonk (VU Univ. Amsterdam)
Grigore Rosu (Univ. Illinois)
Albert Rubio (UPC-BarcelonaTech)
Paula Severi (Univ. Leicester)
Bas Spitters (Aarhus Univ. )
Aaron Stump (Univ. Iowa)
Kazushige Terui (Kyoto Univ.)
René Thiemann (Univ. Innsbruck)
Sophie Tison (Lille Univ. )

CONFERENCE CHAIR
Sam Staton (University of Oxford)

WORKSHOPS CHAIR
Jamie Vicary (University of Oxford) 

Looking forward to seeing you in Oxford!
==================================================================



  • [Coq-Club] FSCD 2017 - Call for participation, Sandra Alves, 07/11/2017

Archive powered by MHonArc 2.6.18.

Top of Page