[HoTT] FW: FSCD 2019 - Early registration ends soon (May 13th)

[HoTT] FW: FSCD 2019 - Early registration ends soon (May 13th)

[Thorsten Altenkirch]

[-- Attachment #1.1: Type: text/plain, Size: 5251 bytes --]

(Apologies for multiple copies of this announcement. Please circulate.)
==================================================================
EARLY REGISTRATION ENDS MAY 13th
Program available at: http://easyconferences.eu/fscd2019/program/
==================================================================

                            CALL FOR PARTICIPATION
                     Fourth International Conference on
        Formal Structures for Computation and Deduction (FSCD 2019)
                    24 -- 30 June 2019, Dortmund, Germany
                     http://easyconferences.eu/fscd2019/

FSCD covers 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,
models of computation (e.g. quantum computing, probabilistic
computing, homotopy type theory), semantics and verification in new
challenging areas (e.g. blockchain protocols or deep learning
algorithms).

REGISTRATION
The registration page is already open and linked from:
http://easyconferences.eu/fscd2019/registration-2/

The early registration deadline is *** 13 May 2019 ***.
(for more details please visit the conference webpage).

INVITED SPEAKERS
Titles and abstracts available at
 http://easyconferences.eu/fscd2019/invited-speakers/  <http://easyconferences.eu/fscd2019/invited-speakers/>

*  Beniamino Accattoli (INRIA, Paris, France)
  https://sites.google.com/site/beniaminoaccattoli/
*  Amy Felty (University of Ottawa, Canada)
  http://www.site.uottawa.ca/~afelty/
*  Sarah Winkler (University of Innsbruck, Austria)
  http://cl-informatik.uibk.ac.at/users/swinkler/
*  Hongseok Yang (KAIST,  Korea)
  https://sites.google.com/view/hongseokyang/

SATELLITE EVENTS
- UNIF: 33rd International Workshop on Unification
  (http://www.mat.unb.br/unif2019)
- WPTE:  6th  International Workshop on Rewriting Techniques for Program Transformations and Evaluation
  (http://nigam.info/conferences/wpte2019/main.html)
- IWC: 8th International Workshop on Confluence
  (http://iwc2019.cic.unb.br)
- TLLA: 3rd Trends in Linear Logic and Applications
  (http://tlla.linear-logic.org/2019)
- SD: 5th International Workshop on Structures and Deduction
  (http://www.anupamdas.com/sd19)
- HOR: 10th International Workshop on Higher-Order Rewriting
  (http://imft.ftn.uns.ac.rs/HOR2019)
- IFIP: 22nd  IFIP Working Group 1.6: Rewriting
  (http://cbr.uibk.ac.at/ifip-wg1.6/events/event-2019.html)


PROGRAM CHAIR
Herman  Geuvers, Radboud U. Nijmegen

CONFERENCE CHAIR
Jakob Rehof, TU Dortmund

LOCAL WORKSHOP CHAIR
Boris Düdder, U. of Copenhagen

PROGRAM COMMITTEE
H. Geuvers, Radboud U. Nijmegen
Z. Ariola, U. of Oregon
M. Ayala Rincón, U. of Brasilia
A. Bauer, U. of Ljubljana
F. Bonchi, U. of Pisa
S. Broda, U. of Porto
U. Dal Lago, U. of Bologna & Inria
U. De'Liguoro, U. of Torino
D. Kapur, U. of New Mexico
P. Dybjer, Chalmers U. of Technology
M. Fernandez, King's College London
J. Giesl, RWTH Aachen
N. Hirokawa, JAIST
S. Lucas, U. Politecnica de Valencia
A. Middeldorp, U. of Innsbruck
F. Pfenning, Carnegie Mellon U.
B. Pientka, McGill U.
J. van de Pol, Aarhus U. & U. of Twente
F. van Raamsdonk, VU Amsterdam
C. Schürmann, ITU Copenhagen
P. Severi, U. of Leicester
A. Silva, U. College London
S. Staton, Oxford U.
T. Streicher, TU Darmstadt
A. Stump, U. of Iowa
N. Tabareau, Inria
S. Tison, U. of Lille
A. Tiu, Australian National U.
T. Tsukada, U. of Tokyo
J. Urban, CTU Prague
P. Urzyczyn, U. of Warsaw
J. Waldmann, Leipzig U. of Applied Sciences

STEERING COMMITTEE WORKSHOP CHAIR
Jamie Vicary, Oxford U.

PUBLICITY CHAIR
Sandra Alves , Porto U.

FSCD STEERING COMMITTEE
S. Alves (Porto U.),
M. Ayala-Rincón (Brasilia U.)
C. Fuhs (Birkbeck, London U.)
D. Kesner (Chair, Paris U.)
H. Kirchner (Inria)
N. Kobayashi (U. Tokyo)
C. Kop (Radboud U. Nijmegen)
D. Miller (Inria)
L. Ong (Chair, Oxford U.)
B. Pientka (McGill U.)
S. Staton (Oxford U.)

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



This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment. 

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored 
where permitted by law.




-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/EC7164AC-493F-4EF9-8F8A-D11B514A5F68%40nottingham.ac.uk.
For more options, visit https://groups.google.com/d/optout.

[-- Attachment #1.2: Type: text/html, Size: 17383 bytes --]

[-- Attachment #2: Unbenannte Anlage 00013.txt --]
[-- Type: text/plain, Size: 169 bytes --]

_______________________________________________
Fscd.conference mailing list
Fscd.conference@dcc.fc.up.pt
http://lists.dcc.fc.up.pt/mailman/listinfo/fscd.conference