(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/ 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/ 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/ https://sites.google.com/site/beniaminoaccattoli/ * Amy Felty (University of Ottawa, Canada) http://www.site.uottawa.ca/%7Eafelty/ http://www.site.uottawa.ca/~afelty/ * Sarah Winkler (University of Innsbruck, Austria) http://cl-informatik.uibk.ac.at/users/swinkler/ http://cl-informatik.uibk.ac.at/users/swinkler/ * Hongseok Yang (KAIST, Korea) https://sites.google.com/view/hongseokyang/ https://sites.google.com/view/hongseokyang/
SATELLITE EVENTS - UNIF: 33rd International Workshop on Unification (http://www.mat.unb.br/unif2019 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 http://nigam.info/conferences/wpte2019/main.html) - IWC: 8th International Workshop on Confluence (http://iwc2019.cic.unb.br http://iwc2019.cic.unb.br/) - TLLA: 3rd Trends in Linear Logic and Applications (http://tlla.linear-logic.org/2019 http://tlla.linear-logic.org/2019) - SD: 5th International Workshop on Structures and Deduction (http://www.anupamdas.com/sd19 http://www.anupamdas.com/sd19) - HOR: 10th International Workshop on Higher-Order Rewriting (http://imft.ftn.uns.ac.rs/HOR2019 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 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! ==================================================================
finite-model-theory@lists.rwth-aachen.de