Messages by Thread
-
[TYPES/announce] Applied Category Theory 2020 - Second Call for Papers
Jamie Vicary
-
[TYPES/announce] Update on Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020
Benedikt Ahrens
-
[TYPES/announce] International Workshop on Confluence [IWC 2020] - 2nd CFP
Samuel Mimram
-
[TYPES/announce] 4th Workshop on Program Equivalence and Relational Reasoning (PERR 2020)
Andrzej Murawski
-
[TYPES/announce] ML Family Workshop 2020: Call for presentations
Leo White
-
[TYPES/announce] PhD studentship in Security, Privacy and Trust, in Luxembourg
Ross James HORNE
-
[TYPES/announce] Assistant, Associate or Full Professor on Theory of Computation - University of Groningen
Jorge A. Perez
-
[TYPES/announce] TERMGRAPH 2020: 2nd Call for papers
Patrick Bahr
-
[TYPES/announce] Call for Papers [Extended]: JFP Special Issue on Secure Compilation
Dominique Devriese
-
[TYPES/announce] Call for Submissions - 7th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Kostiantyn Potomkin
-
[TYPES/announce] [PhD grant] Multiple open PhD positions at CEA LIST, France, in: Software Security through Program Analysis, Formal Methods or Machine Learning
BARDIN Sébastien
-
[TYPES/announce] Ph.D. position in formal proof and trust at Inria Saclay
Dale Miller
-
[TYPES/announce] Teaching PhD Position in Quantitative Systems and Reasoning Methods
Henning Basold
-
[TYPES/announce] POPL 2021 Call for Papers -- deadline Thursday, July 9th, AoE
Michael Greenberg
-
[TYPES/announce] Proof engineering survey paper is now free on arXiv
Talia Ringer
-
[TYPES/announce] open PhD position in Vienna: formal methods for reliable networks
Stefan Schmid
-
[TYPES/announce] Call for papers: LOPSTR 2020
Fernandez, Maria Isabel
-
[TYPES/announce] LSFA 2020 - Deadline extended
Giselle Reis
-
[TYPES/announce] Research position / programming languages / University of Glasgow
Simon Gay
-
[TYPES/announce] Announcing the Online Worldwide Seminar on Logic and Semantics (OWLS)
Jamie Vicary
-
[TYPES/announce] Call for Papers: DBPL 2020
James Cheney
-
[TYPES/announce] Call for Papers -- Information Systems and Technologies
Marcin Paprzycki
-
[TYPES/announce] FORMATS 2020 ** 2nd Call for Papers**
Nils Jansen
-
[TYPES/announce] Postdoctal Position in Department of Computing, Imperial College London
Yoshida, Nobuko
-
[TYPES/announce] 7 PhD positions in Computer Science at Gran Sasso Science Institute (GSSI), L'Aquila (Italy)
Emilio Tuosto
-
[TYPES/announce] 2nd Workshop on Formal Methods for Blockchains (FMBC) 2020 - 1st CFP
Bruno Bernardo
-
[TYPES/announce] PhD in formal methods and security, cotutelle France-Scotland
Barbara Fila (Kordy)
-
[TYPES/announce] Postdoctoral and PhD positions in Program Analysis, Verification or Systems at Imperial College London
Cristian Cadar
-
[TYPES/announce] Multiple Research Positions (3 Doctoral, 5 Post-doctoral) on AI Verification
Robert Atkey
-
[TYPES/announce] Post-doctoral position in linear, dependent, and graded modal types, University of Kent (2 years)
Dominic Orchard
-
[TYPES/announce] Open position: Lecturer in Computer Science (non-tenured, 3--5 yrs, deadline 2020-04-27)
Atsushi Igarashi
-
[TYPES/announce] update on MFPS 2020
Patricia Johann
-
[TYPES/announce] PhD position in Intelligent Tutoring Systems for Functional Programming
Johan Jeuring
-
[TYPES/announce] Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08)
Achim D. Brucker
-
[TYPES/announce] PhD positions in Computational Mathematics at Stockholm University
Anders Mortberg
-
[TYPES/announce] Postdoc at Oxford - probabilistic and differentiable programming
Luke Ong
-
[TYPES/announce] OPLSS2020 cancelation
Zena Matilde Ariola
-
[TYPES/announce] Formal Grammar Deadline Extension
Christian Wurm
-
[TYPES/announce] ACKERMANN AWARD 2020: Deadline for nominations postponed to July 1, 2020
EACSL Mail-Account
-
[TYPES/announce] Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020
Sadrzadeh, Mehrnoosh
-
[TYPES/announce] LSFA 2020 - deadline extension
Giselle Reis
-
[TYPES/announce] Computability in Europe 2020 rescheduling
acie
-
[TYPES/announce] Fully Funded International Elite PhD Student Positions in SE/PL at PKU (Application Deadline: March 31)
Zhenjiang Hu
-
[TYPES/announce] GraMSec 2020 CFP
Harley D. Eades III
-
[TYPES/announce] LCC'20 First Call for Contributions
Martin Avanzini
-
[TYPES/announce] CfP Joint Linearity & TLLA Workshop
Valeria de Paiva
-
[TYPES/announce] DisCoTec 2020: 2nd call for satellite events
Ornela Dardha
-
[TYPES/announce] Two-year postdoctoral position at Wesleyan University
Norman Danner
-
[TYPES/announce] VSTTE 2020: Call for papers
Maria Christakis
-
[TYPES/announce] CFP: ACM Scala Symposium 2020
Guido Salvaneschi
-
[TYPES/announce] Faculty Position at the Computer Science Department University of Malta
Adrian Francalanza
-
[TYPES/announce] Professorship Programming / Didactics
Klaus Ostermann
-
[TYPES/announce] WST 2020 - 2nd Call for Papers
Samir Genaim
-
[TYPES/announce] CFP: 3rd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2020), Los Angeles, 20 July 2020
Guy Katz
-
[TYPES/announce] Assistant, Associate or Full Professor on Theory of Computation at the University of Groningen
Jorge A. Perez
-
[TYPES/announce] MFPS final call for papers
Patricia Johann
-
[TYPES/announce] PhD position in proof theory at the University of Bath
Alessio Guglielmi
-
[TYPES/announce] CALL FOR PAPERS - Applied Category Theory Conference (ACT2020)
Jamie Vicary
-
[TYPES/announce] PhD position in Logic at Utrecht University, the Netherlands
Iemhoff, R. (Rosalie)
-
[TYPES/announce] CICM 2020, July 26-31: Call for Papers, extended submission deadline abstracts March 16, 2020/papers March 22, 2020
Serge Autexier
-
[TYPES/announce] 2nd CFP (updated VENUE and DATES): Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2020) - Guangzhou China, November 24-27, 2020
songfu1...@shanghaitech.edu.cn
-
[TYPES/announce] PPDP 2020 Call For Papers
Andreas Abel
-
[TYPES/announce] The Coq Workshop 2020: Call for Talk Proposals
Théo Zimmermann
-
[TYPES/announce] STRING 2020
Dan Ghica
-
[TYPES/announce] ACKERMANN AWARD 2020: Final Call for Nominations
EACSL Mail-Account
-
[TYPES/announce] SPLASH 2020: Combined Call for Contributions
hitesh sajnani
-
[TYPES/announce] TYPES-ITRS 2020 - workshops cancellation and publication of abstracts
Ugo de Liguoro
-
[TYPES/announce] Third DeepSpec Summer School, July 13-24, 2020
Lennart Beringer
-
[TYPES/announce] MOVEP2020 (early registration deadline extended)
Radu Iosif
-
[TYPES/announce] 5th autumn school "Proof and Computation"
Chuangjie Xu
-
[TYPES/announce] GandALF2020: 11th International Symposium on Games, Automata, Logics, and Formal Verification
Davide Bresolin
-
[TYPES/announce] Associate Professor Position in Orléans
Frédéric Dabrowski
-
[TYPES/announce] Call for Submissions - 2020 Minerva Informatics Equality Award
Franziska Hauffe
-
[TYPES/announce] Job: Associate Professor in Programming Languages at Oxford
Sam Staton
-
[TYPES/announce] Tenth Summer School on Formal Techniques (May 16-22, 2020); First Formal Methods in the Field Bootcamp (May 23-28, 2020)
Natarajan Shankar
-
[TYPES/announce] CFP: SEFM - International Conference on Software Engineering and Formal Methods
Jacopo Mauro
-
[TYPES/announce] SERPL 2020 CFP
Harley D. Eades III
-
[TYPES/announce] LSFA 2020 - Call for papers
Giselle Reis
-
[TYPES/announce] CMCS 2020: Call for Short Contributions
Henning Basold
-
[TYPES/announce] CfP: 13th Interaction and Concurrency Experience (ICE 2020)
Scalas, Alceste
-
[TYPES/announce] CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020), with special session in honour of Frank Pfenning
Claudio Sacerdoti Coen
-
[TYPES/announce] QBFEVAL'20 - Competitive Evaluation of QBF Solvers
Luca Pulina
-
[TYPES/announce] SYCO 7 - Call for Participation
Amar Hadzihasanovic
-
[TYPES/announce] TERMGRAPH 2020: Call for papers
Patrick Bahr
-
[TYPES/announce] HCVS 2020: Second Call For Papers
Matthias Heizmann
-
[TYPES/announce] EVENT DATE CHANGE Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020
Benedikt Ahrens
-
[TYPES/announce] CFP: 27th Static Analysis Symposium, SAS 2020
Mihaela Sighireanu
-
[TYPES/announce] Lecturer, Senior Lecturer or Associate Professor Position at University of Bristol
Steven Ramsay
-
[TYPES/announce] new: MSC 68V (new classes for Types-related topics in MSC2020)
Michael Kohlhase
-
[TYPES/announce] FMICS20 - Call for Papers
Ničković Dejan
-
[TYPES/announce] CfP: UNIF 2020
Temur Kutsia
-
[TYPES/announce] RV20 - Call for Papers and Tutorials
Ničković Dejan
-
[TYPES/announce] 2nd Call for Papers: JFP Special Issue on Secure Compilation
Dominique DEVRIESE
-
[TYPES/announce] Call for participation: PLMW @ PLDI 2020
Wickerson, John P
-
[TYPES/announce] Researcher position on ERC project FUN2MODEL at Oxford
Marta Kwiatkowska
-
[TYPES/announce] TEASE-LP (co-located with ETAPS 2020): Second call for contributions
Henning Basold
-
[TYPES/announce] CICM 2020, July 26-31: Invited Speakers & Second Call for Papers
Serge Autexier
-
[TYPES/announce] Deadline extended to Feb. 23: MT-CPS 2020
Kohei SUENAGA
-
[TYPES/announce] (Self-)Nominations for OOPSLA 2020 Artifact Evaluation Committee
Gordon,Colin
-
[TYPES/announce] First Call for Papers: EXPRESS/SOS 2020
Ornela Dardha
-
[TYPES/announce] SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop)
Mihaela Rozman
-
[TYPES/announce] Call for papers: Student Research Competition @ PLDI 2020
Wickerson, John P
-
[TYPES/announce] LPAR-23: 23rd International Conference on Logic for Programming: Extended deadlines for abstracts
Mihaela Rozman
-
[TYPES/announce] CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive)
Mihaela Rozman
-
[TYPES/announce] ICALP-LICS 2020 Fresh Call for Workshops
Sam Staton
-
[TYPES/announce] 4-year PhD Position in Theory
Georg Moser
-
[TYPES/announce] School on Univalent Mathematics 2020, Cortona (Italy), July 27-31, 2020
Benedikt Ahrens
-
[TYPES/announce] CFP VerifyThis Long-Term Challenge (VTLTC 2020)
r.e.mo...@utwente.nl
-
[TYPES/announce] HotSpot: Hot Topics in the Principles of Security and Trust
Joshua Guttman
-
[TYPES/announce] Call For Participation to TYPES-ITRS 2020: early registration expires on 16th February
Ugo de'Liguoro
-
[TYPES/announce] Postdoc position: verified timing-channel security for seL4
Toby Murray
-
[TYPES/announce] CfP: NLA'20 Deadline Extended: final
Roussanka Loukanova
-
[TYPES/announce] ICALP 2020 - Conference relocation and deadline extension
Anuj Dawar
-
[TYPES/announce] WiL 2020 - Call for contributions
Sandra Alves
-
[TYPES/announce] COORDINATION 2020: Extended deadlines
Simon Bliudze
-
[TYPES/announce] BCTCS & AlgoUK 2020 Final announcement and call for contributed talks
Berger U.
-
[TYPES/announce] JFP paper: POPLMark reloaded: Mechanizing proofs by logical relations
Brigitte Pientka
-
[TYPES/announce] DEADLINE EXTENSION - Joint Call for Papers - DisCoTec2020
Kiko Fernandez Reyes
-
[TYPES/announce] CfP: SCSS 2020
Temur Kutsia
-
[TYPES/announce] FSCD 2020 - Extended deadline (Abstract: February 10/ Submission: February 13)
Sandra Alves
-
[TYPES/announce] Senior Postdoc / Project Coordinator position in Information Security and Program Verification at ETH Zurich
Mueller Peter
-
[TYPES/announce] Caleidoscope Complexity School: Call for Participation
Thomas Seiller
-
[TYPES/announce] PhD Research Fellow in Specification and Analysis of Information Privacy - Deadline: February 29, 2020
Silvia Lizeth Tapia Tarifa
-
[TYPES/announce] CfP: Haskell Symposium 2020
Tom Schrijvers
-
[TYPES/announce] ThEdu'20 at the Summer of LoVe - cfp
Walther Neuper
-
[TYPES/announce] Tenured positions at Inria and UGA
Pierre Geneves
-
[TYPES/announce] CFP: GaLoP 2020 [Deadline extended]
Simon Castellan
-
[TYPES/announce] SYCO 7 - Final Call for Papers
Amar Hadzihasanovic
-
[TYPES/announce] Lecturer/ Senior Lecturer/ Reader in Computer Science (Six Posts) at Royal Holloway, University of London (deadline: 27 Feb 2020)
Nicola Paoletti
-
[TYPES/announce] SEFM 2020 - Preliminary Call For Papers
Jacopo Mauro
-
[TYPES/announce] SIGPLAN Perspectives blog post about POPLmark panel
Talia Ringer
-
[TYPES/announce] Reversible Computation 2020: deadline extension
ivan.lanese
-
[TYPES/announce] MFPS 2nd call for papers - now with speaker info
Patricia Johann
-
[TYPES/announce] International Workshop on Confluence [IWC 2020] - 1st CFPs
Mauricio Ayala-Rincon
-
[TYPES/announce] ICALP 2020 - CfP (update)
Anuj Dawar
-
[TYPES/announce] 10 PhD studentships in Nottingham for UK/EU applicants
Venanzio Capretta
-
[TYPES/announce] Call for Papers: PACMPL issue ICFP 2020
Sam Tobin-Hochstadt
-
[TYPES/announce] Build Automation and Programming Languages workshop (20 June 2020, collocated with PLDI 2020 in London)
Georgy Lukyanov
-
[TYPES/announce] 2nd CFP: Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA 2020) - Beijing, China, July 8-11, 2020
songfu1...@shanghaitech.edu.cn
-
[TYPES/announce] WADT 2020 - Call for Abstracts
Roggenbach M.
-
[TYPES/announce] TYPES and ITRS - Call for participation
Ugo de Liguoro
-
[TYPES/announce] MOVEP 2020 Summer School
Radu Iosif
-
[TYPES/announce] Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020
Sadrzadeh, Mehrnoosh
-
[TYPES/announce] 13th International Conference on Graph Transformation (ICGT2020): Call for Paper
Fabio Gadducci
-
[TYPES/announce] PLACES 2020: deadline extension
Stephanie Balzer
-
[TYPES/announce] Tenure-Track Faculty Position at University of Oregon
Zena Matilde Ariola
-
[TYPES/announce] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20)
Benedikt Ahrens
-
[TYPES/announce] Ph.D. fellowships at University of Copenhagen
Fritz Henglein
-
[TYPES/announce] FSCD 2020 - Third Call for Papers (Abstract: February 6/ Submission: February 9)
Sandra Alves
-
[TYPES/announce] FORTE 2020 @ DisCoTec, June 15-19, Valletta, Malta -- CFP
Ana Sokolova
-
[TYPES/announce] Researcher position on assurance of autonomy
Ewen Denney
-
[TYPES/announce] Reversible Computation 2020 2nd CfP
ivan.lanese
-
[TYPES/announce] DDSW2020 (Deadline Extended): International Workshop on Data-Driven Security
DDSW 2020
-
[TYPES/announce] ProWeb20 - Deadline Extension to January 22nd
Simon Fowler
-
[TYPES/announce] Postdoctoral position in Cyber-Physical Systems, Newcastle University, UK
Sergiy Bogomolov
-
[TYPES/announce] Call for Papers: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23): May 22-27, 2020, Alicante, Spain
Rozman, Mihaela
-
[TYPES/announce] SETTA 2020 Call for Papers
songfu1...@shanghaitech.edu.cn
-
[TYPES/announce] 25th Estonian Winter School in CS, last call for applications
Tarmo Uustalu
-
[TYPES/announce] [TFP'20] call for participation: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland
Peter Achten
-
[TYPES/announce] TAP 2020 - Call for Papers - Deadline Extension
Catherine DUBOIS
-
[TYPES/announce] (Deadline extended to Jan 25th, 2020) LangSec 2020, San Francisco, USA
Gang (Gary) Tan
-
[TYPES/announce] Call for contributions to PLDI co-located events
Wickerson, John P
-
[TYPES/announce] Second Joint Call for Papers - DisCoTec 2020
Kiko Fernandez Reyes
-
[TYPES/announce] TTCS 2020 - deadline extended to the 16th of February
Renato Neves
-
[TYPES/announce] PLACES 2020: 2nd CfP
Stephanie Balzer
-
[TYPES/announce] DisCoTec call for satelite events (extended submission deadline)
Antonios Achilleos
-
[TYPES/announce] SYCO 7 - Call for Papers
Amar Hadzihasanovic
-
[TYPES/announce] ETAPS Doctoral Dissertation Award - Last Call for Nominations
Caterina Urban
-
[TYPES/announce] Research Fellow Position at the Australian National University
Alwen Tiu
-
[TYPES/announce] ITRS 2020 - Deadline Extension to January the 20th
Berardi Stefano
-
[TYPES/announce] TYPES 2020 - Deadline Extension to January the 20th
Berardi Stefano
-
[TYPES/announce] LSFA 2020 Call for Papers
Giselle Reis
-
[TYPES/announce] 2nd Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien - Deadline: January 15, 2020
Mihaela Rozman
-
[TYPES/announce] CMCS 2020: Final Call for Papers (extended deadlines)
Henning Basold
-
[TYPES/announce] Agda Implementors' Meeting XXXI - Edinburgh, 1-7 April 2020
Wen Kokke
-
[TYPES/announce] Postdoctoral position in FAU Erlangen-Nürnberg
Sergey Goncharov
-
[TYPES/announce] PhD Position in in Theory and Implementation of Dependently Typed Programming Languages
Jesper Cockx
-
[TYPES/announce] Final CfP: Workshop "Proofs, Computation and Meaning"
Paolo Pistone
-
[TYPES/announce] EXTENDED DEADLINE for CFP ARITH-2020, IEEE Symposium on Computer Arithmetic, June 7-10, Portland, OR, USA
Arnaud Tisserand
-
[TYPES/announce] Gödel Prize - 2nd call for nominations
Anuj Dawar
-
[TYPES/announce] MSFP 2020 - Final Call for Papers
Sam Lindley
-
[TYPES/announce] ACKERMANN AWARD 2020: CALL FOR NOMINATIONS
EACSL Mail-Account
-
[TYPES/announce] ProWeb20: Final call for contributions
Simon Fowler
-
[TYPES/announce] CfP: NLA'20 Special Session at DCAI'20
Roussanka Loukanova
-
[TYPES/announce] ITRS 2020: FInal Call for Papers (Due on 10 Jan, 2020)
Riccardo Treglia
-
[TYPES/announce] Types 2020: Final Call for Papers (Due on 10 Jan, 2020)
Riccardo Treglia
-
[TYPES/announce] (Self-)Nomination forms for the PLDI 2020 Artifact Evaluation Committee
Luís Pina