2019 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Tue Jan 1 13:21:22 EST 2019
Ending: Tue Dec 31 09:52:46 EST 2019
Messages: 738

• [TYPES/announce] GPCE 2019: 1st Call for Papers - Athens, Greece; October 21-22   Rodin Aarssen
• [TYPES/announce] GPCE 2019: 2nd Call for Papers - Athens, Greece; October 21-22   Rodin Aarssen
• [TYPES/announce] GPCE 2019: Final Call for Papers - Athens, Greece; October 21-22 — Deadline Extension   Rodin Aarssen
• [TYPES/announce] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA   Peter Achten
• [TYPES/announce] [TFP'19] first call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA (corrected dates and instructions)   Peter Achten
• [TYPES/announce] [TFP'19] second call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA   Peter Achten
• [TYPES/announce] [TFPIE'19] Call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA   Peter Achten
• [TYPES/announce] [TFP'19] final call for papers (deadline extension): Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA   Peter Achten
• [TYPES/announce] [TFPIE'19] Final call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA   Peter Achten
• [TYPES/announce] [TFP'19 and TFPIE'19] call for participation   Peter Achten
• [TYPES/announce] [TFP'20] first call for papers: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland   Peter Achten
• [TYPES/announce] [PLNL'19] Call for talk proposals - Programming Languages in the Netherlands, 12-12-2019, Radboud University   Peter Achten
• [TYPES/announce] [TFP'20] one month left for pre-symposium submissions for Trends in Functional Programming 2020, 13-14 February, Krakow, Poland   Peter Achten
• [TYPES/announce] [PLNL'19] Call for talk proposals (deadline November 18) - Programming Languages in the Netherlands, 12-12-2019, Radboud University   Peter Achten
• [TYPES/announce] [PLNL'19] call for participation (deadline December 5) - Programming Languages in the Netherlands, 12-12-2019, Radboud University   Peter Achten
• [TYPES/announce] [TFP'20] draft paper deadline open (January 10 2020) Trends in Functional Programming 2020, 13-14 February, Krakow, Poland   Peter Achten
• [TYPES/announce] [PLNL'19] call for participation (deadline December 5) - Programming Languages in the Netherlands, 12-12-2019, Radboud University   Peter Achten
• [TYPES/announce] [CFP] The Coq Workshop 2019   AffeldtReynald
• [TYPES/announce] [2nd CFP] The Coq Workshop 2019   AffeldtReynald
• [TYPES/announce] [CFP] The Coq Workshop 2019 (Deadline Extension)   AffeldtReynald
• [TYPES/announce] [Call for Participation] The Coq Workshop 2019   AffeldtReynald
• [TYPES/announce] CiSS 2019: Circularity in Syntax & Semantics, Gothenburg (Sweden), 20-22 Nov 2019   Bahareh Afshari
• [TYPES/announce] Circularity in Syntax and Semantics 2019: final call for submissions   Bahareh Afshari
• [TYPES/announce] CFP: JFP special issue on Gradual Typing   Amal Ahmed
• [TYPES/announce] 2nd CFP: JFP Special Issue on Gradual Typing   Amal Ahmed
• [TYPES/announce] Final CFP: JFP Special Issue on Gradual Typing   Amal Ahmed
• [TYPES/announce] 2-year postdoc position on type theory in Birmingham (UK)   Benedikt Ahrens
• [TYPES/announce] PhD position at University of Birmingham, UK   Benedikt Ahrens
• [TYPES/announce] 2-year postdoc position on type theory in Birmingham (UK)   Benedikt Ahrens
• [TYPES/announce] [CfP] QAPL 2019: 16th Workshop on Quantitative Aspects of Programming Languages and Systems   Aldini, Alessandro
• [TYPES/announce] FSCD 2019 Last Call for Papers   Sandra Alves
• [TYPES/announce] FSCD 2019 - Deadline reminder (Abstracts: 8 February, Full Papers: 11 February)   Sandra Alves
• [TYPES/announce] FSCD 2021 - CALL FOR LOCATION (Deadline *** 31st March 2019 ***)   Sandra Alves
• [TYPES/announce] FSCD 2019 - Call for Participation (early registration ends May 13th)   Sandra Alves
• [TYPES/announce] FSCD 2019 - Early registration ends soon (May 13th)   Sandra Alves
• [TYPES/announce] FSCD 2020 - First CFP   Sandra Alves
• [TYPES/announce] FSCD 2020 - Second Call for Papers   Sandra Alves
• [TYPES/announce] <Programming> 2019: call for participation   Davide Ancona
• [TYPES/announce] Call for Papers, The Programming Journal, Volume 4, Issue 2   Davide Ancona
• [TYPES/announce] VORTEX 2019: Call for Papers   Davide Ancona
• [TYPES/announce] [VORTEX 2019]: extended submission deadline June 7 AoE   Davide Ancona
• [TYPES/announce] Scottish Programming Languages and Verification Summer School   Robert Atkey
• [TYPES/announce] 2 PhD studentships, MSP group, University of Strathclyde, UK   Robert Atkey
• [TYPES/announce] CICM 2019, July 8-12: 2nd Call for Submissions   Serge Autexier
• [TYPES/announce] CICM 2019, July 8-12: Extended Deadline 8th March 2019 (abstracts), 15th March 2019 (full papers)   Serge Autexier
• [TYPES/announce] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation   Serge Autexier
• [TYPES/announce] CICM 2020, July 26-31: First Call for Papers & Call for Workshop and Tutorial Proposals   Serge Autexier
• [TYPES/announce] First CFPs International Workshop on Confluence   Mauricio Ayala-Rincon
• [TYPES/announce] CFPs International Workshop on Confluence   Mauricio Ayala-Rincon
• [TYPES/announce] Extended deadline - International Workshop on Confluence - April 22(a), April 29(p)   Mauricio Ayala-Rincon
• [TYPES/announce] PhD Position in Software Security at KTH Royal Institute of Technology   Musard Balliu
• [TYPES/announce] PLACES 2020 CfP   Stephanie Balzer
• [TYPES/announce] Call for Papers: PxTP 2019   Haniel Barbosa
• [TYPES/announce] PxTP 2019: Second Call for Papers   Haniel Barbosa
• [TYPES/announce] PxTP 2019: Final Call for Papers   Haniel Barbosa
• [TYPES/announce] Call for Papers: FMCAD 2019   Clark Barrett
• [TYPES/announce] ECOOP'19 London - Final Call for Papers   Edd Barrett
• [TYPES/announce] Curry On and ECOOP 2019: Call for Participation   Edd Barrett
• [TYPES/announce] MoreVMs 2020: Workshop on Modern Language Runtimes, Ecosystems, and VMs   Edd Barrett
• [TYPES/announce] CALCO 2019: Second Call for Papers   Henning Basold
• [TYPES/announce] CALCO 2019: Final Call for Papers   Henning Basold
• [TYPES/announce] CALCO 2019: Deadline Extension   Henning Basold
• [TYPES/announce] CALCO 2019 and MFPS XXXV: Call for Participation and Early Ideas Abstracts   Henning Basold
• [TYPES/announce] CMCS 2020: First Call for Papers   Henning Basold
• [TYPES/announce] CMCS 2020: Second Call for Papers   Henning Basold
• [TYPES/announce] Fully-funded UK/EU PhD studentship   Mark Batty
• [TYPES/announce] [Doctoral Symposium ECOOP 2019] Call for first-round submissions (deadline April 19)   Julia Belyakova
• [TYPES/announce] [Doc Symposium ECOOP 2019] Call for second-round submissions (deadline May 17)   Julia Belyakova
• [TYPES/announce] [Doc Symposium ECOOP 2019] Second-round deadline extension (May 26)   Julia Belyakova
• [TYPES/announce] FMBC 2019 Call for Participation - Porto (Portugal), October 11   Bruno Bernardo
• [TYPES/announce] TYPES 2019 and HoTT-UF, 11-14 June 2019, Oslo: Call for Participation, early registration deadline 25 May   Marcus Aloysius Bezem
• [TYPES/announce] Open CfP: TYPES 2019 post-proceedings   Marcus Aloysius Bezem
• [TYPES/announce] SPLASH 2019: 1st Combined Call for Contributions   Aggelos Biboudis
• [TYPES/announce] SPLASH 2019: 2nd Combined Call for Contributions   Aggelos Biboudis
• [TYPES/announce] SPLASH'19 Combined Call, final CfP for OOPSLA'19, Onward!   Aggelos Biboudis
• [TYPES/announce] SPLASH 2019 Combined Call for Workshop Submissions   Aggelos Biboudis
• [TYPES/announce] SPLASH 2019 2nd Combined Call for Workshop Submissions   Aggelos Biboudis
• [TYPES/announce] SPLASH 2019 Call for Participation (early reg.: Sep.20!)   Aggelos Biboudis
• [TYPES/announce] Fwd: SPIN 2019 in Beijing - Call for Papers and Participation   Fabrizio Biondi
• [TYPES/announce] Full Professor Position at Aarhus University   Lars Birkedal
• [TYPES/announce] Postdoc and PhD positions in logic and semantics for program verification at Aarhus, Denmark   Lars Birkedal
• [TYPES/announce] Call for Participation - Iris Workshop 2019 - Aarhus Univ - October 28-29, 2019   Lars Birkedal
• [TYPES/announce] PhD and Postdoc positions in Aarhus (Denmark)   Lars Birkedal
• [TYPES/announce] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France   Frédéric Blanqui
• [TYPES/announce] International School on Rewriting, Madrid, Spain, July 2020: Call for Lecture Proposals   Frédéric Blanqui
• [TYPES/announce] ICALP-LICS 2020 Call for Workshops   Frédéric Blanqui
• [TYPES/announce] MeTRiD @ ETAPS 2019: Deadline extension   Simon Bliudze
• [TYPES/announce] Fully-funded PhD position at Inria Lille (France)   Simon Bliudze
• [TYPES/announce] COORDINATION 2020: CfP - Malta, June 15-19   Simon Bliudze
• [TYPES/announce] Facets of realizability - call for contributions   Valentin Blot
• [TYPES/announce] Facets of realizability - last call for contributions   Valentin Blot
• [TYPES/announce] Facets of realizability - call for participation   Valentin Blot
• [TYPES/announce] ARITH-26, last CFP   Sylvie Boldo
• [TYPES/announce] ARITH-26, deadline extension   Sylvie Boldo
• [TYPES/announce] ARITH-26, Call for Participation   Sylvie Boldo
• [TYPES/announce] PhD Position in logic and formal verification   Ana Borges
• [TYPES/announce] PhD student position on formal verification of legal software, Barcelona (Spain), Deadline: 5 Sep 2019 - Final call for applications   Ana Borges
• [TYPES/announce] Fully funded PhD student position in modal logic, proof theory and applications, Barcelona (Spain), Deadline: 15 Nov 2019   Ana Borges
• [TYPES/announce] CMSB 2019 - second call for papers   Luca Bortolussi
• [TYPES/announce] Logic Mentoring Workshop (LMW) 2019 Call for Participation   William J. Bowman
• [TYPES/announce] [TFP'19] Third call for papers: Trends in Functional Programming 2019, 12--14 June 2019, Vancouver, BC, CA   William J. Bowman
• [TYPES/announce] PhD on Trusted Decentralised Applications   Andrea Bracciali
• [TYPES/announce] Postdoc position in Dependently Typed Programming, St Andrews   Edwin Brady
• [TYPES/announce] Open PhD position : Type systems for resource analysis   Flavien Breuvart
• [TYPES/announce] Open Position: Lecturer in Cybersecurity - University of Exeter   Achim D. Brucker
• [TYPES/announce] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)   Achim D. Brucker
• [TYPES/announce] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)   Achim D. Brucker
• [TYPES/announce] Workshop in OCL and Textual Modeling (OCL 2019) - Deadline Extension   Achim D. Brucker
• [TYPES/announce] Open Position: Lecturer in Cybersecurity - University of Exeter   Achim D. Brucker
• [TYPES/announce] CFP-16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019).   SAOUSSEN CHEIKHROUHOU
• [TYPES/announce] CFP_16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019).   SAOUSSEN CHEIKHROUHOU
• [TYPES/announce] Deadline extension |CFP ICTAC 2019|| May 19||Hammamet Tunisia   SAOUSSEN CHEIKHROUHOU
• [TYPES/announce] Deadline extension |CFP ICTAC 2019|| May 19||Hammamet Tunisia   SAOUSSEN CHEIKHROUHOU
• [TYPES/announce] Postdoctoral and PhD positions at Imperial College London   Cadar, Cristian
• [TYPES/announce] IWLS 2019 - CFP & Logic Synthesis Software School   Callegaro, Vinicius
• [TYPES/announce] IWLS 2019 CFP: *Submission deadline extended: abstract March 17 - full paper March 24*   Callegaro, Vinicius
• [TYPES/announce] Four teunure faculty positions at IRIF Université Paris Diderot   Giuseppe Castagna
• [TYPES/announce] SEFM 2019 - First Call for Papers   Publicity Chair
• [TYPES/announce] SEFM 2019 - Call for Papers   Publicity Chair
• [TYPES/announce] SAS 2019 in Porto, April 18 submission: 26th Static Analysis Symposium, CfP   Bor-Yuh Evan Chang
• [TYPES/announce] SAS 2019, EXTENDED Deadline: April 22 Abstract, April 25 Paper and Artifact: 26th Static Analysis Symposium, CfP   Bor-Yuh Evan Chang
• [TYPES/announce] SAS 2019: Register Early by Sep 10   Bor-Yuh Evan Chang
• [TYPES/announce] Tenure-Track Faculty Openings at U of Colorado Boulder in Trustworthy Software   Bor-Yuh Evan Chang
• [TYPES/announce] Postdoctoral position in SMT solver modulo NRA/ODE   Alexandre Chapoutot
• [TYPES/announce] Postdoctoral position on database programming languages at Edinburgh LFCS   James Cheney
• [TYPES/announce] CfP: ProvenanceWeek, IPAW, and TaPP 2020   James Cheney
• [TYPES/announce] Call for papers: DBPL 2019   Alvin Cheung
• [TYPES/announce] Reminder: Call for papers: DBPL 2019   Alvin Cheung
• [TYPES/announce] Deadline extension: DBPL 19   Alvin Cheung
• [TYPES/announce] Secure Development (SecDev) 2019 Call for Papers and Tutorials   Stephen Chong
• [TYPES/announce] SecDev 2019 submission deadline extended: April 22   Stephen Chong
• [TYPES/announce] SecDev Call for Posters, Tool Demos, Practitioner Submissions   Stephen Chong
• [TYPES/announce] SecDev Call for Posters and Tool Demos: Deadline extended   Stephen Chong
• [TYPES/announce] SecDev 2019 Call for Participation   Stephen Chong
• [TYPES/announce] Lecturer/ADUS at Harvard University   Stephen Chong
• [TYPES/announce] Master2 internship proposal   Samir Chouali
• [TYPES/announce] The Cornell, Maryland, Max Planck Pre-doctoral Research School 2019   Maria Christakis
• [TYPES/announce] Tenure-Track Faculty Positions at the MPIs for Informatics, Software Systems, and Security & Privacy   Maria Christakis
• [TYPES/announce] Final CfP: GaLoP 2019   Pierre Clairambault
• [TYPES/announce] GaLoP 2019 -- Deadline Extension   Pierre Clairambault
• [TYPES/announce] First CfP: Structures and Deduction 2019   Pierre Clairambault
• [TYPES/announce] 2nd CfP : Structures and Deduction '19, Dortmund June 29-30 (colocated with FSCD)   Pierre Clairambault
• [TYPES/announce] Deadline Extension : Structures and Deduction 2019, Dortmund June 29-30 (affiliated with FSCD)   Pierre Clairambault
• [TYPES/announce] PhD scholarships available at Australian National University   Ranald Clouston
• [TYPES/announce] Call for contributions: Applied Category Theory 2019, July 15-19, Oxford.   Bob Coecke
• [TYPES/announce] Quantum Physics and Logic 2019: CALL FOR PAPERS   Bob Coecke
• [TYPES/announce] Quantum Physics and Logic 2019: FINAL CALL FOR PAPERS   Bob Coecke
• [TYPES/announce] Final call for contributions: Applied Category Theory 2019, July 15-19, Oxford.   Bob Coecke
• [TYPES/announce] Deadline extension: Applied Category Theory 2019, July 15-19, Oxford.   Bob Coecke
• [TYPES/announce] Applied Category Theory Conference at Oxford: program   Bob Coecke
• [TYPES/announce] 1st Workshop on Formal Methods for Blockchains (FMBC) 2019 - First Call   Néstor Cataño Collazos
• [TYPES/announce] Workshop on Formal Methods for Blockchains (FMBC) 2019 - Second Call   Néstor Cataño Collazos
• [TYPES/announce] MPLR 2019 - Call for Papers   Emilio Coppa
• [TYPES/announce] MPLR 2019 - Second Call for Papers   Emilio Coppa
• [TYPES/announce] MPLR 2019 - Deadline Extension   Emilio Coppa
• [TYPES/announce] Call for PhD Students on the topics of MDE/Domain-specific Languages and Blockchains in Innovation and Entrepreneurship   Filipe Correia
• [TYPES/announce] Special Issue on "Static Analysis Techniques: Recent Advances and New Horizons"   Agostino Cortesi
• [TYPES/announce] Post-doc or permanent job offer in R compilation in Toulouse, France.   Pierre Courtieu
• [TYPES/announce] Postdoc position on Automatic Parallelization of Dalvik Bytecode at CNAM, Paris   Tristan Crolard
• [TYPES/announce] Lectureships in Computer Science at Leicester UK   Roy L. Crole
• [TYPES/announce] Assistant Professor positions at the University of Southern Denmark   Luís Cruz-Filipe
• [TYPES/announce] Call for Presentations on Principles of Secure Compilation (PriSC Workshop @ POPL 2020)   Dominique DEVRIESE
• [TYPES/announce] Call for Papers: JFP Special Issue on Secure Compilation   Dominique DEVRIESE
• [TYPES/announce] [PriSC DEADLINE EXTENSION] Call for Presentations on Principles of Secure Compilation (PriSC Workshop @ POPL 2020)   Dominique DEVRIESE
• [TYPES/announce] Principles of Secure Compilation (PriSC) 2020: Call for Participation and Short Talks   Dominique DEVRIESE
• [TYPES/announce] Call for Papers TAP 2020   Catherine DUBOIS
• [TYPES/announce] Phd Position at University of Orléans   Frédéric Dabrowski
• [TYPES/announce] KTH announces 8 + 1 PhD student positions in cyber security   Mads Dam
• [TYPES/announce] Postdoctoral position Wesleyan University   Danner, Norman
• [TYPES/announce] TyDe 2019 - Call for Papers   David Darais
• [TYPES/announce] UVM Hiring Faculty in PL (and/or security, privacy)   David Darais
• [TYPES/announce] RADICAL at CONCUR'19: Recent Advances in Concurrency and Logic - 1st Call for Submissions   Ornela Dardha
• [TYPES/announce] RADICAL at CONCUR'19: Recent Advances in Concurrency and Logic - Final Call for Submissions   Ornela Dardha
• [TYPES/announce] RADICAL 2019 (Amsterdam, co-located with CONCUR 2019) - DEADLINE EXTENDED   Ornela Dardha
• [TYPES/announce] RADICAL 2019 (Amsterdam, co-located with CONCUR 2019) - DEADLINE APPROACHING   Ornela Dardha
• [TYPES/announce] RADICAL at CONCUR'19: Recent Advances in Concurrency and Logic -- Call for Participation   Ornela Dardha
• [TYPES/announce] DisCoTec 2020: call for satellite events   Ornela Dardha
• [TYPES/announce] post-doc positions in Oxford and Cambridge   Anuj Dawar
• [TYPES/announce] ICALP - Call for Papers   Anuj Dawar
• [TYPES/announce] ICALP - call for papers - Correction   Anuj Dawar
• [TYPES/announce] Gödel Prize - call for nominations   Anuj Dawar
• [TYPES/announce] Call for papers: 10th Workshop on Tools for Automatic Program Analysis (TAPAS 2019)   David Delmas
• [TYPES/announce] [TAPAS 2019] 2nd Call for Papers (extended deadline): 10th Workshop on Tools for Automatic Program Analysis   David Delmas
• [TYPES/announce] TAPAS 2019 - Call for Participation - Register Early by Sep 10   David Delmas
• [TYPES/announce] [CFP] SETTA 2019 Symposium on Dependable Software Engineering Theories, Tools and Applications   Tom van Dijk
• [TYPES/announce] Verification Mentoring Workshop 2019: Call for scholarship applications   Rayna Dimitrova
• [TYPES/announce] Tenure-track Faculty Positions at School of Computing, Queen's University   Juergen Dingel
• [TYPES/announce] 3 Year Postdoctoral Position in Logic, Automated Reasoning and Coalgebra, London (United Kingdom)   Docherty, Simon
• [TYPES/announce] Postdoc position at Imperial College London in software testing and programming languages   Donaldson, Alastair F
• [TYPES/announce] Postdoctoral position in Verified Security   Brijesh Dongol
• [TYPES/announce] PhD, postdoc & intern positions in RustBelt and Iris projects at Max Planck   Derek Dreyer
• [TYPES/announce] Doctoral studies in CS at Max Planck Institutes   Derek Dreyer
• [TYPES/announce] Job ad : quantum programming language designer wanted   Ross Duncan
• [TYPES/announce] Homotopy Type Theory and Univalent Foundations conference June 2019 in Oslo   Bjorn Ian Dundas
• [TYPES/announce] MSc and PhD positions at Queen's University   Joshua Dunfield
• [TYPES/announce] Call for course proposals for the 34th Informatics Sciences School - ECI 2020   Alejandro Díaz-Caro
• [TYPES/announce] 2nd Call for course proposals: 34th Informatics Sciences School - ECI 2020   Alejandro Díaz-Caro
• [TYPES/announce] Final Call for course proposals: 34th Informatics Sciences School - ECI 2020   Alejandro Díaz-Caro
• [TYPES/announce] ECI 2020: DEADLINE EXTENSION (22 Nov 19) - Call for course proposals   Alejandro Díaz-Caro
• [TYPES/announce] UNIF 2019 - Second Call for Papers   Serdar ERBATUR
• [TYPES/announce] UNIF 2019 ( Deadline Extension)   Serdar ERBATUR
• [TYPES/announce] Coalgebra Day 2019   Clovis Eberhart
• [TYPES/announce] CFP: PLOS '19: 10th Workshop on Programming Languages and Operating Systems   Eric Eide
• [TYPES/announce] PhD position in Theoretical Computer Science at the VU Amsterdam   Joerg Endrullis
• [TYPES/announce] 2nd CfC: Methods and Tools for Distributed Hybrid Systems   Uli Fahrenberg
• [TYPES/announce] Third CFP - RAMiCS 2020   Uli Fahrenberg
• [TYPES/announce] Multiple tenure-track positions at the University of Minnesota   Favonia
• [TYPES/announce] HCVS 2019 - Second Call for Papers   Grigory Fedyukovich
• [TYPES/announce] Tenure-Track Assistant Professor Position at Florida State University   Grigory Fedyukovich
• [TYPES/announce] WiL 2019: Women in Logic Workshop Call for Papers   Amy Felty
• [TYPES/announce] LSFA 2019 - Second Call for papers   Amy Felty
• [TYPES/announce] WiL 2019: Women in Logic Workshop Final Call for Papers-Extended Deadline   Amy Felty
• [TYPES/announce] LSFA 2019 - Final Call for Papers and Extended Deadline   Amy Felty
• [TYPES/announce] Call for papers: CSL 2020   Fernandez, Maria Isabel
• [TYPES/announce] CSL 2020 - Final Call For Papers   Fernandez, Maria Isabel
• [TYPES/announce] Call for participation: CSL 2020   Fernandez, Maria Isabel
• [TYPES/announce] Call for participation: CSL 2020   Fernandez, Maria Isabel
• [TYPES/announce] Mathematical Verification Engineer, London area   Thomas Ferrere
• [TYPES/announce] SyGuS-COMP 2019 Call for Solvers and Benchmarks Submission   Dana Fisman
• [TYPES/announce] Postdoctoral position in Compositional Game Theory at Univ. of Strathclyde   Fredrik Nordvall Forsberg
• [TYPES/announce] ProWeb20: Call for Papers   Simon Fowler
• [TYPES/announce] Faculty Position at the Computer Science Department University of Malta   Adrian Francalanza
• [TYPES/announce] Eighteenth ACM SIGPLAN Erlang Workshop (3rd Call for Papers)   Adrian Francalanza
• [TYPES/announce] CfP: Erlang Workshop 2019 [Deadline extended]   Adrian Francalanza
• [TYPES/announce] OPLSS 2019 - Oregon Programming Languages Summer School - June 17-29 2019   Gaboardi, Marco
• [TYPES/announce] OPLSS 2019 - Oregon Programming Languages Summer School - June 17-29 2019 - updated schedule   Gaboardi, Marco
• [TYPES/announce] OPLSS 2019 - Oregon Programming Languages Summer School - deadline extension   Gaboardi, Marco
• [TYPES/announce] CFP - Theory and Practice of Differential Privacy (TPDP) 2019 - November 11 - London, UK - Colocated with CCS 2019   Gaboardi, Marco
• [TYPES/announce] JLC special issue - External and Internal Calculi for Non-Classical Logics   Didier Galmiche
• [TYPES/announce] Last CFP - JLC Special Issue on External and Internal Calculi for Non-Classical Logics   Didier Galmiche
• [TYPES/announce] four academic positions, all levels of seniority   Gardner, Philippa A
• [TYPES/announce] two academic positions, Imperial, all levels of seniority   Gardner, Philippa A
• [TYPES/announce] PhD Topic at Inria: Distributed Query Analytics on Property Graphs   Pierre Geneves
• [TYPES/announce] CFP: JOINT SYCO-STRING WORKSHOP   Dan Ghica
• [TYPES/announce] CFP: JOINT SYCO-STRING WORKSHOP (submissions open)   Dan Ghica
• [TYPES/announce] CF Participation: JOINT SYCO-STRING WORKSHOP   Dan Ghica
• [TYPES/announce] HOR 2019 - Call for Submissions   Silvia Ghilezan
• [TYPES/announce] HOR 2019 - Deadline Extension   Silvia Ghilezan
• [TYPES/announce] ARRAY workshop at PLDI 2019, submissions due 8th April   Jeremy Gibbons
• [TYPES/announce] Postdoc positions in PL and distributed systems at IMDEA, Madrid   Alexey Gotsman
• [TYPES/announce] Postdoc positions in verification of distributed systems at IMDEA, Madrid   Alexey Gotsman
• [TYPES/announce] Positions opened at the CS department of Ecole Polytechnique   Eric Goubault
• [TYPES/announce] CFP: 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis   Neville Grech
• [TYPES/announce] POPL 2020 -- Call for Papers   Michael Greenberg
• [TYPES/announce] POPL 2020 Call for Workshops and Co-located events   Michael Greenberg
• [TYPES/announce] POPL 2020: Student Research Competition -- Call for Submissions   Michael Greenberg
• [TYPES/announce] POPL2020 - Call for Tutorials   Michael Greenberg
• [TYPES/announce] NL-FP Day 2020: 28th Netherlands Functional Programming Day, Amsterdam, January 10, 2020   Clemens Grelck
• [TYPES/announce] PhD candidate or Postdoc position (Uni Amsterdam) in programming languages for multi-core embedded systems   Clemens Grelck
• [TYPES/announce] CGO 2020 - Call for Papers   Fabian Gruber
• [TYPES/announce] CGO 2020 - Call for Workshops and Tutorials   Fabian Gruber
• [TYPES/announce] IEEE/ACM CGO-2020 Call for submissions to Student Research Competition (SRC)   Fabian Gruber
• [TYPES/announce] IEEE/ACM CGO-2020 Call for submissions to Student Research Competition (SRC)   Fabian Gruber
• [TYPES/announce] PostDoc on System Security and Formal Methods   Roberto Guanciale
• [TYPES/announce] Postdoc in System Security and Formal Methods   Roberto Guanciale
• [TYPES/announce] CfP: Trends in Linear Logic and Applications (TLLA 2019)   Giulio Guerrieri
• [TYPES/announce] Trends in Linear Logic and Applications (TLLA 2019) [updated cfp]   Giulio Guerrieri
• [TYPES/announce] PhD position EFFICIENT AND NATURAL PROOFS AND ALGORITHMS at the University of Bath   Alessio Guglielmi
• [TYPES/announce] PostDoc in Verification of Simulink Models   Dilian Gurov
• [TYPES/announce] PhD position in type theory at the University of Bergen   Håkon Robbestad Gylterud
• [TYPES/announce] CfP Special Issue in Springer Software Quality Journal "Improving Software Quality Through Program Analysis"   Matthias Güdemann
• [TYPES/announce] Call for Papers Software Verification and Testing at ACM/SIGAPP SAC2020   Matthias Güdemann
• [TYPES/announce] Second call for papers Software Verfication and Testing (SVT) at SAC 2020   Matthias Güdemann
• [TYPES/announce] Extendend Deadline Software Verification and Testing at ACM/SIGAPP SAC2020   Matthias Güdemann
• [TYPES/announce] Three Postdoctoral Research positions: Security, Reliability and Space Resources   Ross James HORNE
• [TYPES/announce] Three postdocs at University of Luxembourg (security, privacy, and space informatics)   Ross James HORNE
• [TYPES/announce] Postdoctoral researcher in Computer Science (Security and Trust)   Ross James HORNE
• [TYPES/announce] Postdoctoral researcher in Computer Science (Security and Trust)   Ross James HORNE
• [TYPES/announce] Call for papers for IFL 2019 (Implementation and Application of Functional Languages)   Jurriaan Hage
• [TYPES/announce] Final call for regular papers for IFL 2019 (Implementation and Application of Functional Languages)   Jurriaan Hage
• [TYPES/announce] Final call for draft papers for IFL 2019 (Implementation and Application of Functional Languages)   Jurriaan Hage
• [TYPES/announce] First call for participation for IFL 2019 (Implementation and Application of Functional Languages)   Jurriaan Hage
• [TYPES/announce] First call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)   Jurriaan Hage
• [TYPES/announce] Second call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)   Jurriaan Hage
• [TYPES/announce] Third call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)   Jurriaan Hage
• [TYPES/announce] 3Yr Post-doc, String Constraints, Royal Holloway, London   Hague, Matthew
• [TYPES/announce] Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems   Ichiro Hasuo
• [TYPES/announce] Open Positions in Tokyo: Formal Methods, Learning and Cyber-Physical Systems   Ichiro Hasuo
• [TYPES/announce] fwd: 2020 HSCC CfP -- Submissions due October 23   Ichiro Hasuo
• [TYPES/announce] Call for Papers and Workshop/Special Session Proposals: IEEE DASC 2020   Naohiro Hayashibara
• [TYPES/announce] Three fully paid PhD positions at Lund University   Görel Hedin
• [TYPES/announce] Lecturer (assistant professor) position in Bath   Willem Heijltjes
• [TYPES/announce] PhD position "Efficient and natural proofs and algorithms" at University of Bath   Willem Heijltjes
• [TYPES/announce] Call for papers: SMT 2019   Joe Hendrix
• [TYPES/announce] SMT 2019: CfP - Submission deadline extended   Joe Hendrix
• [TYPES/announce] Ph.D. fellowships at University of Copenhagen   Fritz Henglein
• [TYPES/announce] Tenure-track Faculty Positions at The IMDEA Software Institute   Manuel Hermenegildo
• [TYPES/announce] Tenure-track Faculty Positions at the IMDEA Software Institute   Manuel Hermenegildo
• [TYPES/announce] Postdoctoral position in quantum theory in Edinburgh   Chris Heunen
• [TYPES/announce] QuICS/PLUM Postdoctoral Scholarship On Practical Quantum Computation   Michael Hicks
• [TYPES/announce] Tenure Track Assistant and Associate Professor Positions in Software Engineering   Thomas Hildebrandt
• [TYPES/announce] Martin Hofmann Memorial Meeting - Call for Participation   Jan Hoffmann
• [TYPES/announce] Martin Hofmann Memorial Meeting - Call for Participation   Jan Hoffmann
• [TYPES/announce] PLMW at ICFP: Call for Scholarship Applications (due 17 May)   David Van Horn
• [TYPES/announce] Basili Postdoctoral Fellowship Call for Applications   David Van Horn
• [TYPES/announce] PostDoc position at Inria Paris on Formally Secure Compilation in Coq   Catalin Hritcu
• [TYPES/announce] 1st CFP for Certified Programs and Proofs (CPP 2020)   Catalin Hritcu
• [TYPES/announce] CPP 2020: Call for Sponsors   Catalin Hritcu
• [TYPES/announce] CFP for Certified Programs and Proofs (CPP 2020)   Catalin Hritcu
• [TYPES/announce] Call for participation for CPP 2020   Catalin Hritcu
• [TYPES/announce] Final Call for Abstracts: Design and Analysis of Robust Systems (DARS 2019)   Justin Hsu
• [TYPES/announce] Deadline Extension: Design and Analysis of Robust Systems (DARS 2019)   Justin Hsu
• [TYPES/announce] CALL FOR SCHOLARSHIP APPLICATIONS: PLMW @ POPL 2020   Justin Hsu
• [TYPES/announce] 10 PhD studentships in Nottingham   Graham Hutton
• [TYPES/announce] Call for papers, MPC 2019, Portugal   Graham Hutton
• [TYPES/announce] Second call for papers, MPC 2019, Portugal   Graham Hutton
• [TYPES/announce] MPC 2019 final call for papers - submissions due 3rd May   Graham Hutton
• [TYPES/announce] MPC 2019 deadline extension   Graham Hutton
• [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [TYPES/announce] Assistant/Associate Professorships in Nottingham   Graham Hutton
• [TYPES/announce] MPC 2019 - Call for Participation   Graham Hutton
• [TYPES/announce] MPC 2019 - Call for Participation   Graham Hutton
• [TYPES/announce] MPC 2019 - final call for participation   Graham Hutton
• [TYPES/announce] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [TYPES/announce] 10 PhD studentships in Nottingham   Graham Hutton
• [TYPES/announce] SERPL 2019 - Call for Contributions   Harley D. Eades III
• [TYPES/announce] SERPL 2019 - Extended Deadlines   Harley D. Eades III
• [TYPES/announce] Postdoc Opportunity at Augusta University   Harley D. Eades III
• [TYPES/announce] CIFRE PhD thesis position at Siemens Mobility, France   Danko Ilik
• [TYPES/announce] Second Workshop on Automated Deduction for Separation Logics   Radu Iosif
• [TYPES/announce] Second Workshop on Automated Deduction for Separation Logics   Radu Iosif
• [TYPES/announce] Second Workshop on Automated Deduction for Separation Logics   Radu Iosif
• [TYPES/announce] MOVEP 2020 Summer School -- Call for Student Presentations   Radu Iosif
• [TYPES/announce] PhD Position on Explainable Data Science using Formal Verification @Radboud University   Nils Jansen
• [TYPES/announce] 2 PhD and 1 Postdoc position on formal methods and data analytics @Radboud University   Nils Jansen
• [TYPES/announce] FORMATS 2020 **Call for Papers**   Nils Jansen
• [TYPES/announce] Postdoc in categorical semantics of data types   Patricia Johann
• [TYPES/announce] MFPS VVVXI First Call for Papers   Patricia Johann
• [TYPES/announce] Multiple PhD (and Master's) positions in Programming Languages and Verification available at the University of British Columbia (Vancouver, Canada)   Summers Alexander John
• [TYPES/announce] PhD position in concurrency/programming languages/formal methods at CWI (Amsterdam)   Sung-Shik Jongmans
• [TYPES/announce] CfP - FACS 2019 (Formal Aspects of Component Software)   Sung-Shik Jongmans
• [TYPES/announce] CfP (deadline extension) - Formal Aspects of Component Software (FACS 2019, 23-25 October, Amsterdam)   Sung-Shik Jongmans
• [TYPES/announce] Call for Participation: Formal Aspects on Component Software (FACS 2019), Amsterdam   Sung-Shik Jongmans
• [TYPES/announce] Call for Participation: Formal Methods in Software Engineering (FormaliSE) (co-located with ICSE 2019)   Eunsuk Kang
• [TYPES/announce] CfP: Practical Formal Verification for Software Dependability Workshop (AFFORD'19)   Eunsuk Kang
• [TYPES/announce] PhD studentship in Budapest   Ambrus Kaposi
• [TYPES/announce] Call for Conference Grant Applications (Inclusiveness Target Countries)   Ambrus Kaposi
• [TYPES/announce] Call for Conference Grant Applications (Inclusiveness Target Countries)   Ambrus Kaposi
• [TYPES/announce] CFP: 2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2019), New York City, 14 June 2019   Guy Katz
• [TYPES/announce] CFP (deadline extended): 2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2019), New York City, 14 June 2019   Guy Katz
• [TYPES/announce] Multiple Tenure-Track Faculty Positions at City University of New York (CUNY) Hunter College: Programming Languages & Software Engineering   Raffi T Khatchadourian
• [TYPES/announce] Call for submissions for the 12th International Workshop on Numerical Software Verification   Mohammad Al Khatib
• [TYPES/announce] Final Call for submissions for the 12th International Workshop on Numerical Software Verification   Mohammad Al Khatib
• [TYPES/announce] several open positions in rigorous systems/software engineering with applied formal methods for trustworthy elections   Joseph Kiniry
• [TYPES/announce] Call for papers: Fourth Symposium on Compositional Structures (SYCO 4)   Kohei Kishida
• [TYPES/announce] Second Call for Papers: Fourth Symposium on Compositional Structures (SYCO 4)   Kohei Kishida
• [TYPES/announce] Final Call for Papers: Fourth Symposium on Compositional Structures (SYCO 4)   Kohei Kishida
• [TYPES/announce] Call for Participation: Fourth Symposium on Compositional Structures (SYCO 4)   Kohei Kishida
• [TYPES/announce] Final Call for Participation: Fourth Symposium on Compositional Structures (SYCO 4)   Kohei Kishida
• [TYPES/announce] UNSW postdoc position for Verified Time Protection   Klein, Gerwin (Data61, Kensington NSW)
• [TYPES/announce] Bx 2019 Second Call for Papers (Workshop on Bidirectional Transformations)   Josh Ko
• [TYPES/announce] Bx 2019 Call for Participation   Josh Ko
• [TYPES/announce] MFPS XXXV - Call for Papers   Barbara Koenig
• [TYPES/announce] MFPS XXXV - Deadline Extension & Final Call for Papers   Barbara Koenig
• [TYPES/announce] Open PhD position at Radboud University Nijmegen   Cynthia Kop
• [TYPES/announce] [CFP]: IJCAI-2019 Workshop on "Declarative Learning Based Programming"   Kordjamshidi, Parisa
• [TYPES/announce] Graphical Models for Security (GraMSec 2019) - CFP   Barbara Kordy
• [TYPES/announce] PhD position in homotopy type theory at Birmingham   Nicolai Kraus
• [TYPES/announce] PhD student in Programming Languages at TU Delft   Robbert Krebbers
• [TYPES/announce] CoqPL 2020: Call for Presentations   Robbert Krebbers
• [TYPES/announce] CoqPL 2020: Deadline extended to 27 Oct   Robbert Krebbers
• [TYPES/announce] Postdoc positions on ERC project fun2model in 'strong' AI/verification at Oxford   Marta Kwiatkowska
• [TYPES/announce] Postdoc Positions within the DIAPASoN Project   Ugo Dal Lago
• [TYPES/announce] 12 fully-funded 3-year PhD scholarships in PL at Kent   Julien Lange
• [TYPES/announce] Research Assistant / PhD Student / Post-Doc Position in Formal Methods for Software and Systems Engineering   Stefan Leue
• [TYPES/announce] CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences, 5th-9th August 2019   Martha Lewis
• [TYPES/announce] Second CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences, 5th-9th August 2019   Martha Lewis
• [TYPES/announce] CfP (Deadline Extension): Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences, 5th-9th August 2019   Martha Lewis
• [TYPES/announce] PhD position in Computer Science / Systems Biology, university of Lille (France)   Cédric Lhoussaine
• [TYPES/announce] TYPES 2020 - Call for contributions, gentle remind   Ugo de Liguoro
• [TYPES/announce] ITRS 2020 - Call for contributions, gentle remind   Ugo de Liguoro
• [TYPES/announce] CFP for APLAS'19 (Bali, Indonesia)   Anthony W. Lin
• [TYPES/announce] MSFP 2020 - First Call for Papers   Sam Lindley
• [TYPES/announce] MSFP 2020 - Second Call for Papers   Sam Lindley
• [TYPES/announce] International Workshop on Programming Across the System Stack (PASS at ECOOP'19)   Yu David Liu
• [TYPES/announce] VMIL at SPLASH/OOPSLA 2019   Yu David Liu
• [TYPES/announce] Deadline extended: VMIL at SPLASH/OOPSLA 2019   Yu David Liu
• [TYPES/announce] Third CfP: Formal Methods for Autonomous Systems (FMAS)   Matt Luckcuck
• [TYPES/announce] CFP - Deadline Extension: Formal Methods for Autonomous Systems (FMAS)   Matt Luckcuck
• [TYPES/announce] Call for Participation: Formal Methods for Autonomous Systems (FMAS)   Matt Luckcuck
• [TYPES/announce] Call for Papers: Workshop on Formal Methods for Autonomous Systems (FMAS)   [UoL]Matthew Luckcuck
• [TYPES/announce] CONCUR 2019 final call for papers   Luttik, S.P.
• [TYPES/announce] LCC'19: Call for Contributions   Seisenberger M.
• [TYPES/announce] LCC 2019: 2nd Call for contributions   Seisenberger M.
• [TYPES/announce] Full Professorship in Security and Privacy at Uni Wien. Application Deadline: January 7, 2019.   Maffei, Matteo
• [TYPES/announce] Professorship on Security and Privacy at the University of Vienna   Maffei, Matteo
• [TYPES/announce] Expressions of Interest for a Postdoc Position in Security and Privacy at TU Wien   Maffei, Matteo
• [TYPES/announce] ERC CoG funded PhD and Postdoc positions in Formal Methods and Web Security at TU Wien   Maffei, Matteo
• [TYPES/announce] Funding available for Second School and Workshop on Univalent Mathematics, Birmingham (UK), April 1-5   Marco Maggesi
• [TYPES/announce] seeking a lecturer for 6hs on proof-assistants in Padova   Maria Emilia Maietti
• [TYPES/announce] ESSLLI 2019 Student Session CFP   Matteo Manighetti
• [TYPES/announce] ESSLLI 2019 Student Session deadline extension   Matteo Manighetti
• [TYPES/announce] PhD positions at the University of Illinois at Chicago   Mansky, William Ernest
• [TYPES/announce] FSCD-IJCAR - First Call For Workshop Proposals   Giulio Manzonetto
• [TYPES/announce] FSCD-IJCAR - Second Call For Workshop Proposals   Giulio Manzonetto
• [TYPES/announce] (EXTENDED DEADLINE) CfP: Programming Languages and Analysis for Security (PLAS) 2019   Piotr Mardziel
• [TYPES/announce] (FINAL EXTENSION) CfP: ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS) 2019   Piotr Mardziel
• [TYPES/announce] PLAS 2019 Short Talks: Call for Participation   Piotr Mardziel
• [TYPES/announce] 11 fully funded PhD studentships at Swansea University   Markus
• [TYPES/announce] WADT 2020 - Call for Papers   Markus
• [TYPES/announce] SYCO 6 CFP   Daniel Marsden
• [TYPES/announce] SYCO 6 Final CFP   Daniel Marsden
• [TYPES/announce] Call for Participation - Sixth Symposium on Compositional Structures (SYCO 6)   Daniel Marsden
• [TYPES/announce] SYCO 6 Final Call for Participation   Daniel Marsden
• [TYPES/announce] SEFM 2019 - abstract sub. deadline: May 3, 2019   Lina Marsso
• [TYPES/announce] SEFM 2019 - Final CfP with Extended Deadlines   Lina Marsso
• [TYPES/announce] SEFM 2019 - Call for Participation   Lina Marsso
• [TYPES/announce] Last Cfp: History of Formal Methods 2019 (co-located with FM’19)   Simone Martini
• [TYPES/announce] Associate Professor Positions in Computer Science at the University of Southern Denmark   Jacopo Mauro
• [TYPES/announce] Caleidoscope Complexity School: 2nd Call for Participation and Application to Financial Support   Damiano Mazza
• [TYPES/announce] FM Tool Exhibition   Stephan Merz
• [TYPES/announce] CFP: The 20th Annual Workshop on Scheme and Functional Programming ("Scheme"), 2019   Kristopher Micinski
• [TYPES/announce] Final CFP Scheme Workshop 2019 (Deadline: June 7 AOE)   Kristopher Micinski
• [TYPES/announce] Open faculty search   Jose Monteiro
• [TYPES/announce] PhD position in Computational Mathematics at Stockholm University   Anders Mortberg
• [TYPES/announce] Second CFP - Mathematical Logic and Constructivity (MLoC) 2019 : The Scope and Limits of Neutral   Anders Mortberg
• [TYPES/announce] Sixth Workshop on Natural Language and Computer Science: May 24, 2019   Moss, Larry
• [TYPES/announce] FTfJP 2019: Call for Papers   Toby Murray
• [TYPES/announce] Research Position in Verified Confidentiality for Weak Memory Concurrency   Toby Murray
• [TYPES/announce] FTfJP 2019: Second Call for Papers   Toby Murray
• [TYPES/announce] DEADLINE EXTENDED: FTfJP 2019 - 28 April   Toby Murray
• [TYPES/announce] FTfJP 2019: CFP for Second Round   Toby Murray
• [TYPES/announce] Research Fellow in Verified Operating System Security   Toby Murray
• [TYPES/announce] LOLA call for talk proposals   Rasmus Ejlers Møgelberg
• [TYPES/announce] LOLA 2nd call for talk proposals   Rasmus Ejlers Møgelberg
• [TYPES/announce] LOLA deadline extension   Rasmus Ejlers Møgelberg
• [TYPES/announce] Postdoc and PhD positions - Center for Advanced Software Analysis, Aarhus University   Anders Møller
• [TYPES/announce] Call for Participation - Workshop on Large Mathematical Libraries (LML 2019)   Dennis Müller
• [TYPES/announce] postdoctoral opening at the University of Minnesota   Gopalan Nadathur
• [TYPES/announce] postdoctoral opening at the University of Minnesota   Gopalan Nadathur
• [TYPES/announce] FLOPS 2020 First Call for papers   Keisuke Nakano
• [TYPES/announce] FLOPS 2020 Second Call for papers   Keisuke Nakano
• [TYPES/announce] FLOPS 2020 Final Call for papers   Keisuke Nakano
• [TYPES/announce] FLOPS 2020: DEADLINE EXTENSION (abstract 22 Nov, full paper 29 Nov)   Keisuke Nakano
• [TYPES/announce] FLOPS 2020: Final Call For Papers (Due on 29 Nov, 2019)   Keisuke Nakano
• [TYPES/announce] Multiple Research Positions, IMDEA Software Institute, Madrid, Spain   Aleksandar Nanevski
• [TYPES/announce] Faculty position in Programming Languages/Software Engineering at the New Jersey Institute of Technology   Iulian Neamtiu
• [TYPES/announce] CfP ThEdu'19   Walther Neuper
• [TYPES/announce] Last CfP: ThEdu'19 at CADE   Walther Neuper
• [TYPES/announce] cfp ThEdu'19 post-proceedings   Walther Neuper
• [TYPES/announce] FM'19: Second Call for Papers   Renato Neves
• [TYPES/announce] Second Dali Workshop: First Call for Papers   Renato Neves
• [TYPES/announce] Formal Methods 2019 - Doctoral Symposium   Renato Neves
• [TYPES/announce] Formal Methods 2019 - Final Call For Papers   Renato Neves
• [TYPES/announce] FM'19 - Last call for participation   Renato Neves
• [TYPES/announce] TTCS 2020 - 2nd Call for Papers   Renato Neves
• [TYPES/announce] ECOOP'20 Berlin - Call for Papers   Fabio Niephaus
• [TYPES/announce] ‹Programming› 2020 : Call for Participation   Fabio Niephaus
• [TYPES/announce] First CFP WPTE 2019   Vivek Nigam
• [TYPES/announce] Second CFP WPTE 2019   Vivek Nigam
• [TYPES/announce] Final CFP WPTE   Vivek Nigam
• [TYPES/announce] Deadline Extension: WPTE 2019   Vivek Nigam
• [TYPES/announce] Call for contributions - Fun With Formal Methods   Shilov Nikolay
• [TYPES/announce] [isabelle] Open position: Formal Verification Engineer (m/f/x) at HENSOLDT Cyber in Munich   Tobias Nipkow
• [TYPES/announce] ENTROPY 2019: Call for Papers   David Nowak
• [TYPES/announce] ENTROPY 2019: Second Call for Papers - Co-located with EuroS&P'19   David Nowak
• [TYPES/announce] ENTROPY 2019: Deadline Extension -- Final Call for Papers   David Nowak
• [TYPES/announce] ENTROPY 2019: Call for Participation - Co-located with EuroS&P'19   David Nowak
• [TYPES/announce] CFP: First International Workshop on ENgineering Intelligent Applications' Code - ENIAC20   Dario Di Nucci
• [TYPES/announce] CFP: ACM SIGPLAN Scala Symposium 2019   Nate Nystrom
• [TYPES/announce] CFP: ACM Scala Symposium 2019 - Extended Deadline   Nate Nystrom
• [TYPES/announce] Postdoc on Reasoning about program Incorrectness at University College London   O'Hearn, Peter
• [TYPES/announce] Research associate in computational effects modelling and axiomatics   KAMMAR Ohad
• [TYPES/announce] [CFP] LAFI 2020: Languages for Inference --- Call-for-Participation   KAMMAR Ohad
• [TYPES/announce] CfP: JLAMP special issue associated with PLACES 2019   Dominic Orchard
• [TYPES/announce] CyPhy'19 Call for Papers   CyPhy Organizers
• [TYPES/announce] CyPhy'19 Call for Papers -- Extended Deadline   CyPhy Organizers
• [TYPES/announce] Tenure-track assistant professor position in Software Engineering (formal methods), York University, Toronto   Jonathan Ostroff
• [TYPES/announce] VTSA 2019 -- Call for applications   Jun PANG
• [TYPES/announce] VTSA 2019 -- 2nd Call for applications   Jun PANG
• [TYPES/announce] HSB 2019 - 6th Intl Workshop on Hybrid Systems and Biology (with ETAPS 2019) *final CFP and deadline extended to 18 Jan*   Nicola Paoletti
• [TYPES/announce] Lecturer in Computer Science position available at Royal Holloway, University of London (deadline: 17 Feb 2019)   Nicola Paoletti
• [TYPES/announce] HSB 2019 - 6th Intl Workshop on Hybrid Systems and Biology (with ETAPS 2019) - Call for participation   Nicola Paoletti
• [TYPES/announce] Lecturer in Computer Science at Royal Holloway, University of London -- multiple posts   Nicola Paoletti
• [TYPES/announce] ACL2-2020 - May 28-29, 2020 - Call for Papers   Grant Olney Passmore
• [TYPES/announce] PhD and PostDoc positions at Aarhus University   Andreas Pavlogiannis
• [TYPES/announce] ERC funded Postdoc Position in Formal Methods at the University of Gothenburg   Giuseppe Perelli
• [TYPES/announce] EXPRESS/SOS 2019 (Amsterdam, co-located with CONCUR 2019) - First CfP.   Jorge A. Perez
• [TYPES/announce] EXPRESS/SOS 2019 (Amsterdam, co-located with CONCUR 2019) - Second CfP.   Jorge A. Perez
• [TYPES/announce] Rosalind Franklin Fellowships for Female Tenure-Track Assistant Professors - University of Groningen   Jorge A. Perez
• [TYPES/announce] EXPRESS/SOS 2019 (Amsterdam, co-located with CONCUR 2019) - Final CfP.   Jorge A. Perez
• [TYPES/announce] Deadline Extension: EXPRESS/SOS 2019 (co-located with CONCUR 2019).   Jorge A. Perez
• [TYPES/announce] EXPRESS/SOS 2019 (co-located with CONCUR 2019) - Call for Participation.   Jorge A. Perez
• [TYPES/announce] Multiple PhD and Postdoc positions in Information Security and Program Verification at ETH Zurich   Mueller Peter
• [TYPES/announce] Assistant Professors at ETH Zurich: Security, Software Engineering, and Programming Languages   Mueller Peter
• [TYPES/announce] Rust Verification Workshop at ETAPS 2020: Call for Talk, Demo, and Challenge Proposals   Mueller Peter
• [TYPES/announce] PhD/postdoc position in computer science, University of Konstanz   Tatjana Petrov
• [TYPES/announce] PhD and Postdoctoral position at ENS Rennes   David Pichardie
• [TYPES/announce] Summer School on Quantum Programming Languages Design and Implementation   Alessandra Di Pierro
• [TYPES/announce] First CfP: Workshop "Proofs, Computation and Meaning", Tübingen 20-21 March 2020   Paolo Pistone
• [TYPES/announce] FroCoS 2019 call for papers   Andrei Popescu
• [TYPES/announce] FroCoS/TABLEAUX 2019 (London) joint call for workshops and tutorials -- extended deadline   Andrei Popescu
• [TYPES/announce] TABLEAUX 2019 (London) call for papers   Andrei Popescu
• [TYPES/announce] FroCoS 2019 (London): second call for papers   Andrei Popescu
• [TYPES/announce] TABLEAUX 2019 (London): second call for papers   Andrei Popescu
• [TYPES/announce] FroCoS 2019 (London): DEADLINE EXTENSION and final call for papers   Andrei Popescu
• [TYPES/announce] TABLEAUX 2019 (London): DEADLINE EXTENSION and final call for papers   Andrei Popescu
• [TYPES/announce] FroCoS and TABLEAUX 2019 (London): SECOND (AND FINAL) DEADLINE EXTENSION   Andrei Popescu
• [TYPES/announce] FroCoS 2019 and TABLEAUX 2019 (London, September 2-6): call for participation   Andrei Popescu
• [TYPES/announce] FroCoS-12 and TABLEAUX-28, London, September 2-6: second call for participation (early registration closes on August 21)   Andrei Popescu
• [TYPES/announce] PEPM 2020 Call for Papers   Casper Bach Poulsen
• [TYPES/announce] PEPM 2020: DEADLINE EXTENSION to 25 Oct   Casper Bach Poulsen
• [TYPES/announce] PEPM 2020 Call for Participation   Casper Bach Poulsen
• [TYPES/announce] Two post-doctoral positions at ENS de Lyon, France   Damien Pous
• [TYPES/announce] QBFEVAL'19 Competitive Evaluation of QBF Solvers - DEADLINE EXTENSION   Luca Pulina
• [TYPES/announce] [CfP] SAT2020 - The 23rd International Conference on , , Theory and Applications of Satisfiability Testing   Luca Pulina
• [TYPES/announce] Faculty position in logic and verification at UCL   Pym, David
• [TYPES/announce] PhD Studentship in Logic and Systems Verification at UCL [Corrected start-date]   Pym, David
• [TYPES/announce] Post-doc position UCL/LSE: Interface Reasoning for Interacting Systems   Pym, David
• [TYPES/announce] Research Fellowship at UCL and LSE for the IRIS project   Pym, David
• [TYPES/announce] 26th WoLLIC 2019 (Utrecht, The Netherlands) - 2nd Call for Papers   Ruy de Queiroz
• [TYPES/announce] 26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers - DEADLINE APPROACHING   Ruy de Queiroz
• [TYPES/announce] 26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers - DEADLINE EXTENDED   Ruy de Queiroz
• [TYPES/announce] 27th WoLLIC 2020 (Lima, Peru) - 1st Call for Papers   Ruy de Queiroz
• [TYPES/announce] 27th WoLLIC 2020 (Lima, Peru) - 2nd Call for Papers   Ruy de Queiroz
• [TYPES/announce] Programming Languages and Quantum Computing - Call for Submissions   Robert Rand
• [TYPES/announce] CFS: Programming Languages for Quantum Computing   Robert Rand
• [TYPES/announce] Automated Reasoning PostDoc, Manchester UK   Giles Reger
• [TYPES/announce] FSCD 2019 early registration   Jakob Rehof
• [TYPES/announce] [DisCoTec 2019] Joint Call for Papers   Kiko Fernandez Reyes
• [TYPES/announce] [DisCoTec 2019] Deadline extended to February 22   Kiko Fernandez Reyes
• [TYPES/announce] [DisCoTec'19] CALL FOR PARTICIPATION   Kiko Fernandez Reyes
• [TYPES/announce] [SPLASH 2019] Call for Volunteers   Kiko Fernandez Reyes
• [TYPES/announce] [DisCoTec 2020] Joint Call for Papers   Kiko Fernandez Reyes
• [TYPES/announce] POPLmark Retrospective Panel at POPL: Come, and send us your questions!   Talia Ringer
• [TYPES/announce] UNSW Sydney Seeking PhD Students   Christine Rizkallah
• [TYPES/announce] UNSW Sydney Seeking a Postdoc in Programming Languages and Verification   Christine Rizkallah
• [TYPES/announce] UNSW Sydney Seeking PhD Students   Christine Rizkallah
• [TYPES/announce] CfP: 9th International Young Researchers Workshop on Concurrency Theory   Christian Roldán
• [TYPES/announce] Second CfP: 9th International Young Researchers Workshop on Concurrency Theory   Christian Roldán
• [TYPES/announce] Final CfP: 9th International Young Researchers Workshop on Concurrency Theory   Christian Roldán
• [TYPES/announce] YR-CONCUR 2019 (Amsterdam, co-located with CONCUR 2019) - DEADLINE EXTENDED   Christian Roldán
• [TYPES/announce] NFM 2019: Call for Participation (Hotel Block Closing Shortly)   Kristin Yvonne Rozier
• [TYPES/announce] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium   Kristin Yvonne Rozier
• [TYPES/announce] Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien, Austria - Deadline: 31.5.2019   Mihaela Rozman
• [TYPES/announce] JOB Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria - Deadline: July 4, 2019   Mihaela Rozman
• [TYPES/announce] Several Funded Doctoral Positions in Computer Science in Austria (Vienna, Graz or Linz) - Deadline: January 11, 2020   Mihaela Rozman
• [TYPES/announce] 11 Fully Funded Doctoral Positions in Computer Science, Austria (Vienna, Graz or Linz). Deadline: January 11, 2020   Mihaela Rozman
• [TYPES/announce] SSIoT 2019 - IEEE EuroS&P Workshop on Software Security for Internet of Things   Alejandro Russo
• [TYPES/announce] PhD and postdoc positions at Schaffhausen Institute of Technology   Bertrand Meyer SIT
• [TYPES/announce] PhD student positions on Programming Languages and Systems for Security and Privacy at Chalmers   Andrei Sabelfeld
• [TYPES/announce] Position at IU Computer Science in Quantum Information   Sabry, Amr A.
• [TYPES/announce] 2nd CFP for the THIRD SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 3)   Mehrnoosh Sadrzadeh
• [TYPES/announce] Postdoctoral position at Purdue University   Roopsha Samanta
• [TYPES/announce] LearnAut 2019 first Call for Papers -- LICS 2019 Workshop   Matteo Sammartino
• [TYPES/announce] Learning and Automata (LearnAut) 2019 Second Call for Papers -- LICS 2019 Workshop   Matteo Sammartino
• [TYPES/announce] Deadline Extension: Learning and Automata (LearnAut) 2019 -- LICS 2019 Workshop   Matteo Sammartino
• [TYPES/announce] Multiple postdoc and PhD positions on verification, concurrency and model learning at University College London and Royal Holloway University of London (Deadline Jan 5, 2020)   Matteo Sammartino
• [TYPES/announce] LFMTP 2019 - Call For Papers   Ivan Scagnetto
• [TYPES/announce] LFMTP 2019 - CFP - Extended Deadline   Ivan Scagnetto
• [TYPES/announce] LFMTP 2019 - Call for participation   Ivan Scagnetto
• [TYPES/announce] CfP: 12th Interaction and Concurrency Experience (ICE 2019)   Alceste Scalas
• [TYPES/announce] 2nd CfP: 12th Interaction and Concurrency Experience (ICE 2019)   Alceste Scalas
• [TYPES/announce] PhD position in Coalgebraic Model Checking at FAU Erlangen-Nürnberg   Lutz Schröder
• [TYPES/announce] Open Topic Full Professorship in Computer Science, FAU Erlangen-Nürnberg   Lutz Schröder
• [TYPES/announce] Postdoctoral Position in Munich on Type-based Enforcement of Programming Guidelines   Ulrich Schöpp
• [TYPES/announce] Summerschool MOD 2019 - Call for Applications   Helmut Seidl
• [TYPES/announce] Postdoc position at National University of Singapore on Program Synthesis   Sergey, Ilya
• [TYPES/announce] Postdoc positions in CertiChain project   Sergey, Ilya
• [TYPES/announce] Faculty position in PL at U. Cambridge   Peter Sewell
• [TYPES/announce] semantics/verification postdoc positions at Cambridge   Peter Sewell
• [TYPES/announce] 2019 Alonzo Church Award: Call for Nominations   Natarajan Shankar
• [TYPES/announce] Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019   Natarajan Shankar
• [TYPES/announce] CALL FOR PARTICIPATION: DeepSpec Workshop @ PLDI 2019 (Phoenix, AZ, June 22-23, 2019)   Zhong Shao
• [TYPES/announce] Call for Submissions: International Conference on Homotopy Type Theory 2019   Michael Shulman
• [TYPES/announce] Reminder: International Conference on Homotopy Type Theory 2019   Michael Shulman
• [TYPES/announce] PLDI 2019 First Call for Student Volunteers   Xujie Si
• [TYPES/announce] PLDI 2019 First Call for Student Volunteers   Xujie Si
• [TYPES/announce] PLDI 2019 Second Call for Student Volunteers   Xujie Si
• [TYPES/announce] ACM Workshop on Gradual Typing (WGT at POPL2020)   Siek, Jeremy
• [TYPES/announce] Final CFP: Workshop on Gradual Typing 2020   Siek, Jeremy
• [TYPES/announce] WGT 2020: Extended Deadline to Oct. 27   Siek, Jeremy
• [TYPES/announce] [Job] 2-year Postdoc Position on Frama-C/E-ACSL   Julien Signoles
• [TYPES/announce] FLOC 2022 -- call for proposals to host (deadline June 30th)   Silva, Alexandra
• [TYPES/announce] TbiLLC 2019/1st CfP   Alex Simpson
• [TYPES/announce] TbiLLC 2019: Call for Papers   Alex Simpson
• [TYPES/announce] TbiLLC2019: Final call for papers (extended deadline)   Alex Simpson
• [TYPES/announce] Call for expression of interest in the High Assurance Systems Engineering Workshop (a workshop @ POPL 2020)   Satnam Singh
• [TYPES/announce] ML Family Workshop 2019: Call for presentations   KC Sivaramakrishnan
• [TYPES/announce] Final Call for Presentations: ML Family Workshop 2019   KC Sivaramakrishnan
• [TYPES/announce] Postdoc positions in compositionality and applied category theory   Pawel Sobocinski
• [TYPES/announce] RC 2019: Call for papers   Mathias Soeken
• [TYPES/announce] RC 2019: Call for papers (extended deadlines)   Mathias Soeken
• [TYPES/announce] Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien   Ana Sokolova
• [TYPES/announce] CFP: MAPL'19 Third ACM SIGPLAN Workshop on Machine Learning and Programming Languages   Armando Solar-Lezama
• [TYPES/announce] MAPL'19 Third ACM SIGPLAN Workshop on Machine Learning and Programming Languages   Armando Solar-Lezama
• [TYPES/announce] FOCLASA 2019: Deadline extension, July 4th   Jacopo Soldani
• [TYPES/announce] Concordium is hiring   Bas Spitters
• [TYPES/announce] Assistant Professors (tenure-track) or Associate Professors in Computer Science at Aarhus University, Denmark   Bas Spitters
• [TYPES/announce] Researchers, Computer Science, Aarhus University   Bas Spitters
• [TYPES/announce] CCC 2018 postproceedings; 2nd call for submssions   Spreen, Dieter, Prof. Dr.
• [TYPES/announce] CCC 2019; call for submissions   Spreen, Dieter, Prof. Dr.
• [TYPES/announce] CCC 2019; second call for submissions   Spreen, Dieter, Prof. Dr.
• [TYPES/announce] CCC 2019; extended deadline   Spreen, Dieter, Prof. Dr.
• [TYPES/announce] Postdoc on verification of networks (Aalborg University, Denmark)   Jiri Srba
• [TYPES/announce] LICS 2019 ASL Student Sponsorship   Sam Staton
• [TYPES/announce] LICS 2019 Registration and Website Mirror   Sam Staton
• [TYPES/announce] LICS 2020 Call for Papers   Sam Staton
• [TYPES/announce] ICALP-LICS 2020 Second Call for Workshops   Sam Staton
• [TYPES/announce] Call for Presentations on Principles of Secure Compilation (PriSC Workshop @ POPL 2020)   Deian Stefan
• [TYPES/announce] SEFM 2019: Call for Workshops (17th Intl. Conf. on Software Engineering & Formal Methods, Oslo, Norway)   Martin Steffen
• [TYPES/announce] Call for Participation: 7th ETH Workshop on Dependable and Secure Software Systems   Zhendong Su
• [TYPES/announce] Utrecht Summer School on Advanced Functional Programming   Swierstra, W.S. (Wouter)
• [TYPES/announce] CFP: LangSec 2020, San Francisco, USA, due on Jan 15th, 2020   Gang (Gary) Tan
• [TYPES/announce] Coq Andes Summer School (Jan 2020, Chile)   Éric Tanter
• [TYPES/announce] Category Theory 2019: call for contributions and participation   Category Theory
• [TYPES/announce] Two Phd/PostDoc positions, Freiburg University   Peter Thiemann
• [TYPES/announce] Research Associate in Trustworthy Refactoring at Kent   Simon Thompson
• [TYPES/announce] SBLP 2020 - first call for papers   Simon Thompson
• [TYPES/announce] CFP ARITH-2020, IEEE Symposium on Computer Arithmetic, June 7-10, Portland, OR, USA   Arnaud Tisserand
• [TYPES/announce] CFP ARITH-2020, IEEE Symposium on Computer Arithmetic, June 7-10, Portland, OR, USA   Arnaud Tisserand
• [TYPES/announce] Call for Papers: APLAS 2019   Alwen Tiu
• [TYPES/announce] Second Call for Papers: PACMPL issue ICFP 2019   Sam Tobin-Hochstadt
• [TYPES/announce] Third Call for Papers: PACMPL issue ICFP 2019   Sam Tobin-Hochstadt
• [TYPES/announce] Call for Submissions: ICFP Student Research Competition   Sam Tobin-Hochstadt
• [TYPES/announce] Call for Tutorial Proposals: ICFP 2019   Sam Tobin-Hochstadt
• [TYPES/announce] Second Call for Tutorial Proposals: ICFP 2019   Sam Tobin-Hochstadt
• [TYPES/announce] Second Call for Submissions: ICFP Student Research Competition   Sam Tobin-Hochstadt
• [TYPES/announce] Call for Participation: ICFP 2019   Sam Tobin-Hochstadt
• [TYPES/announce] Second Call for Participation: ICFP 2019   Sam Tobin-Hochstadt
• [TYPES/announce] Call for Workshop Proposals: ICFP 2020   Sam Tobin-Hochstadt
• [TYPES/announce] Faculty positions at Portland State University   Andrew Tolmach
• [TYPES/announce] 2nd CfP: Workshop "Proofs, Computation and Meaning", Tübingen 20-21 March 2020   Luca Tranchini
• [TYPES/announce] Programming Language Implementation Summer School (PLISS)   Laurence Tratt
• [TYPES/announce] Fully-funded four-year PhD scholarships at IMT Lucca   Mirco Tribastone
• [TYPES/announce] HSB 2020: Call for Contributions   Max Tschaikowski
• [TYPES/announce] PostDoc Position in Quantitative Modeling at Aalborg University   Max Tschaikowski
• [TYPES/announce] HSB 2020: 2nd Call for Contributions   Max Tschaikowski
• [TYPES/announce] HSB 2020: Deadline Extension + Final CfP   Max Tschaikowski
• [TYPES/announce] School on behavioural approaches to APIs: Call for participation   Emilio Tuosto
• [TYPES/announce] School on behavioural approaches to APIs: Call for participation   Emilio Tuosto
• [TYPES/announce] PERR 2019 CFP -- 3rd Workshop on Program Equivalence and Relational Reasoning   Nikos Tzevelekos
• [TYPES/announce] PERR 2019 CFP (extended) -- 3rd Workshop on Program Equivalence and Relational Reasoning   Nikos Tzevelekos
• [TYPES/announce] Last-minute PhD opportunities in Swansea   Berger U.
• [TYPES/announce] 2nd Summer School on Proof Theory, Swansea 8-11 September 2019   Berger U.
• [TYPES/announce] 2nd Workshop on Proof Theory and its Applications, Swansea 11-13 September 2019   Berger U.
• [TYPES/announce] Final Call: 2nd Summer School and Workshop of the Proof Society, Swansea 8-13 September 2018   Berger U.
• [TYPES/announce] BCTCS & AlgoUK 2020 - Announcement and call for contributed talks   Berger U.
• [TYPES/announce] First ETAPS Doctoral Dissertation Award   Caterina Urban
• [TYPES/announce] 24th Estonian Winter School in Computer Science, call for participation   Tarmo Uustalu
• [TYPES/announce] ETAPS 2019 call for participation   Tarmo Uustalu
• [TYPES/announce] Postdoc position on quantified effects at Reykjavik University   Tarmo Uustalu
• [TYPES/announce] ETAPS 2020 1st joint call for papers   Tarmo Uustalu
• [TYPES/announce] ETAPS 2020 2nd joint call for papers   Tarmo Uustalu
• [TYPES/announce] NWPT 2019 2nd call for contributions   Tarmo Uustalu
• [TYPES/announce] NWPT 2019 submission deadline extended   Tarmo Uustalu
• [TYPES/announce] ETAPS 2020 final joint call for papers   Tarmo Uustalu
• [TYPES/announce] 25th Estonian Winter School in CS, call for applications   Tarmo Uustalu
• [TYPES/announce] Assistant Professor in Software Science at Radboud University Nijmegen   Frits Vaandrager
• [TYPES/announce] PhD Position in Formal Methods for Biology at DTU Technical University of Denmark   Andrea Vandin
• [TYPES/announce] Associate/Assistant Professor in Formal Methods for Safe and Secure Systems [Deadline 30/11/2019]   Andrea Vandin
• [TYPES/announce] PhD Position in Formal Methods for Biology at DTU Technical University of Denmark [DEADLINE 31/10/2019]   Andrea Vandin
• [TYPES/announce] Several funded PhD positions in computer science in Lisbon   Vasco Thudichum Vasconcelos
• [TYPES/announce] Open Postdoc position at IMDEA   Niki Vazou
• [TYPES/announce] Open Postdoc position at IMDEA   Niki Vazou
• [TYPES/announce] HiW'19: Call for Talks   Niki Vazou
• [TYPES/announce] CfP: Programming Languages and Analysis for Security (PLAS) 2019   Niki Vazou
• [TYPES/announce] PhD and Postdoc positions at IMDEA   Niki Vazou
• [TYPES/announce] FOCLASA 2019 - CFP   Alejandro Perez Vereda
• [TYPES/announce] VerifyThis @ ETAPS 2019: Travel Grants + Call for Participation   VerifyThis
• [TYPES/announce] Assistant/Associate Professor in Programming Languages at TU Delft   Eelco Visser
• [TYPES/announce] Assistant or Associate Professor in Programming Languages at TU Delft   Eelco Visser
• [TYPES/announce] PhD Student Position in Programming Language Engineering   Eelco Visser
• [TYPES/announce] 22nd Brazilian Symposium On Formal Methods (SBMF)   Philip Wadler
• [TYPES/announce] Brazilian Symposium on Formal Methods (SBMF 2019): Second Call for Papers   Philip Wadler
• [TYPES/announce] Lecturer/Senior Lecturer/Reader in Programming Languages for Trustworthy Systems in Edinburgh LFCS   Philip Wadler
• [TYPES/announce] Tenure-track faculty positions at Oregon State University   Eric Walkingshaw
• [TYPES/announce] ITU Copenhagen Post-doc; probabilistic programming, programming languages; privacy   Andrzej Wasowski
• [TYPES/announce] Call for workshops: PLDI   Wickerson, John P
• [TYPES/announce] Call for papers: PLDI 2020 in London   Wickerson, John P
• [TYPES/announce] SYNT 2019: Call for Abstracts   Thomas Wies
• [TYPES/announce] SYNT 2019 - Final Call for Abstracts and Extended Deadline   Thomas Wies
• [TYPES/announce] CAV 2019 Student Travel Fellowships   Thomas Wies
• [TYPES/announce] PostDoc/Research Engineer in IoT Securit at UCLouvain   Thomas Wilson
• [TYPES/announce] PostDoc/Engineer at UCLouvain in assistive code repair   Thomas Wilson
• [TYPES/announce] Tenure track position, programming language design   Lea Wittie
• [TYPES/announce] EAPLS Best Dissertation Award 2018: Call for Nominations   Andreas Wortmann
• [TYPES/announce] EAPLS PhD Award 2018: Call for Nominations   Andreas Wortmann
• [TYPES/announce] Call for Applications: ETAPS Mentoring Workshop   Tobias Wrigstad
• [TYPES/announce] SICP JS going public!   Tobias Wrigstad
• [TYPES/announce] 4th autumn school "Proof and Computation"   Chuangjie Xu
• [TYPES/announce] 4th autumn school "Proof and Computation"   Chuangjie Xu
• [TYPES/announce] Agda Implementors' Meeting XXX - Munich, 11-17 September 2019   Chuangjie Xu
• [TYPES/announce] Workshop on Foundations and Applications of Univalent Mathematics, 18-20 December 2019, Herrsching   Chuangjie Xu
• [TYPES/announce] Metaprogramming Summer School (August 2019): call for applications   Jeremy Yallop
• [TYPES/announce] PostDoc Position in Program Analysis and Repair   Jooyong Yi
• [TYPES/announce] A PhD position at Imperial College London   Yoshida, Nobuko
• [TYPES/announce] Two Research Assistant/Associate Positions at Imperial College London   Yoshida, Nobuko
• [TYPES/announce] The 24th Australasian Conference on Information Security and Privacy (ACISP 2019)   Simon Yusuf-Enoch
• [TYPES/announce] call for submissions: CLA'19 meeting and DMTCS special issue   Noam Zeilberger
• [TYPES/announce] Midlands Graduate School 2019 in the Foundations of Computing Science   Noam Zeilberger
• [TYPES/announce] 2nd call for submissions: CLA'19 meeting and DMTCS special issue   Noam Zeilberger
• [TYPES/announce] PhD student position in the area of analysing JavaScript programs   Gefei Zhang
• [TYPES/announce] 1-year Post-Doc Position at University of Verona-- Quantum Programming Languages   Margherita Zorzi
• [TYPES/announce] Special Issue on Quantum Software: Theory and Practice - Call for Papers   Margherita Zorzi
• [TYPES/announce] Special Issue on ``Quantum Software: Theory and Practice”--Second CfP   Margherita Zorzi
• [TYPES/announce] VMCAI 2020 Call for Papers   Damien Zufferey
• [TYPES/announce] VMCAI 2020 2nd Call for Papers   Damien Zufferey
• [TYPES/announce] VMCAI 2020, Deadline extension (abstract Oct 1, full paper Oct 6)   Damien Zufferey
• [TYPES/announce] 2nd VMCAI Winter School, Call For Participation and Scholarship Applications   Damien Zufferey
• [TYPES/announce] VMCAI 2020 Call for Participation   Damien Zufferey
• [TYPES/announce] Computability in Europe 2020 THIRD CALL FOR PAPERS   acie at acie.eu
• [TYPES/announce] Call for Posters for APLAS'19 (Bali, Indonesia)   andreeac
• [TYPES/announce] FMCAD 2019 Second CFP   barrett
• [TYPES/announce] FMCAD 2019 Deadline Extension   barrett
• [TYPES/announce] FMCAD 2019 Call for Participation   barrett
• [TYPES/announce] FMCAD 2019, Second Call for Participation   barrett
• [TYPES/announce] The Racket Summer School of Programming Languages   matthias at ccs.neu.edu
• [TYPES/announce] Racket Summer School, final call for participation   matthias at ccs.neu.edu
• [TYPES/announce] [CFP] Tokenomics 2020 (deadline January 20) - 2nd International Conference on Blockchain Economics, Security and Protocols   zaynah dargaye
• [TYPES/announce] TYPES 2020 - call for contributions   Ugo de'Liguoro
• [TYPES/announce] ITRS 2020: call for contributions   Ugo de'Liguoro
• [TYPES/announce] ITRS 2020 Call for contributions   Ugo de'Liguoro
• [TYPES/announce] TYPES 2020 - Call for contributions   Ugo de'Liguoro
• [TYPES/announce] Associate professor position in formal methods at ENSIIE, EVry, France   dubois
• [TYPES/announce] CiSS 2019: Circularity in Syntax & Semantics, Gothenburg (Sweden), 20-22 Nov 2019   anupamdotdas at gmail.com
• [TYPES/announce] Second Dali Workshop: Second Call for Papers   nevrenato at gmail.com
• [TYPES/announce] Formal Methods 2019 - Doctoral Symposium (2nd Call for Papers)   nevrenato at gmail.com
• [TYPES/announce] Second Dali Workshop: Final Call for Papers (deadline extension)   nevrenato at gmail.com
• [TYPES/announce] Formal Methods 2019 - Doctoral Symposium (Final Call for Papers) (Deadline extension)   nevrenato at gmail.com
• [TYPES/announce] Formal Methods 2019 - LOPSTR (Second Call for Papers)   nevrenato at gmail.com
• [TYPES/announce] Formal Methods 2019 - LOPSTR (Third Call for Papers, Deadline extension)   nevrenato at gmail.com
• [TYPES/announce] Formal Methods 2019 - Call for Participation   nevrenato at gmail.com
• [TYPES/announce] Ph.D. positions at University of Copenhagen   fritz at henglein.com
• [TYPES/announce] Call for Ph.D. in Reversible Debugging of Concurrent Programs   ivan.lanese
• [TYPES/announce] Reversible Computation 2020 CfP   ivan.lanese
• [TYPES/announce] PhD opportunities in formal foundations and verification of distributed systems at the University of Birmingham, UK   vincent rahli
• [TYPES/announce] DICE-FOPARA 2019 -- Deadline Extension -- Final Call for Papers   seiller
• [TYPES/announce] Joint PhD on History and Philosophy of Computing (Lille and Kent)   info at tomasp.net
• [TYPES/announce] Call for Papers, The Programming Journal, Volume 4, Issue 3   info at tomasp.net
• [TYPES/announce] Call for submissions for the 12th International Workshop on Numerical Software Verification   tum
• [TYPES/announce] TYPES 2019, 11-14 June 2019, Oslo: Announcement and second call for contributions   Marc.Bezem at uib.no
• [TYPES/announce] TYPES 2019, 11-14 June 2019, Oslo: Announcement and final call for contributions, DEADLINE 4 MARCH   Marc.Bezem at uib.no
• [TYPES/announce] Open CfP: TYPES 2019 post-proceedings   Marc.Bezem at uib.no
• [TYPES/announce] Final CfP: TYPES 2019 post-proceedings, deadline 24.11   Marc.Bezem at uib.no
• [TYPES/announce] Professor positions in Computer Science at the University of Twente   m.huisman at utwente.nl
• [TYPES/announce] VerifyThis Long-term Challenge starts NOW!   r.e.monti at utwente.nl
• [TYPES/announce] [CC2020] 2nd CFP for the ACM SIGPLAN 2020 International Conference on Compiler Construction   Gabriel Rodríguez Álvarez

Last message date: Tue Dec 31 09:52:46 EST 2019
Archived on: Wed Jan 1 12:05:27 EST 2020

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...