types-announce@lists.seas.upenn.edu

0

replies

[TYPES/announce] WTSC19 - call for paper (double submission deadline!)

started 2018-12-07 07:40:11 UTC

2018-12-07 07:40:11 UTC

Andrea Bracciali

0

replies

[TYPES/announce] Research position in Verified Confidentiality for Weak Memory Concurrency, Melbourne

started 2018-12-07 06:12:02 UTC

2018-12-07 06:12:02 UTC

Toby Murray

0

replies

[TYPES/announce] Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science at TU Wien - November 30, 2019

started 2018-12-07 02:21:51 UTC

2018-12-07 02:21:51 UTC

Mihaela Rozman

0

replies

[TYPES/announce] SPIN 2019 in Beijing - Call for Papers and Participation

started 2018-12-06 21:04:34 UTC

2018-12-06 21:04:34 UTC

Fabrizio Biondi

0

replies

[TYPES/announce] SYCO 2 Call for Participation

started 2018-12-06 20:51:27 UTC

2018-12-06 20:51:27 UTC

Pawel Sobocinski

0

replies

[TYPES/announce] Second call for papers: VPT 2019, Seventh International Workshop on Verification and Program Transformation April 2nd 2019, Genova, Italy

started 2018-12-06 15:58:35 UTC

2018-12-06 15:58:35 UTC

Lisitsa, Alexei

0

replies

[TYPES/announce] Postdoc positions in formal methods, U. Oslo

started 2018-12-05 21:18:57 UTC

2018-12-05 21:18:57 UTC

Einar Broch Johnsen

0

replies

[TYPES/announce] PhD Studentship at UCL: A Coalgebraic framework for reductive logic and proof-search

started 2018-12-05 00:40:17 UTC

2018-12-05 00:40:17 UTC

Pym, David

0

replies

[TYPES/announce] Second School and Workshop on Univalent Mathematics, Birmingham (UK), April 1-5, 2019

started 2018-12-04 23:02:00 UTC

2018-12-04 23:02:00 UTC

Benedikt Ahrens

0

replies

[TYPES/announce] 10 PhD studentships in Nottingham

started 2018-12-04 14:32:49 UTC

2018-12-04 14:32:49 UTC

Graham Hutton

0

replies

[TYPES/announce] Open PhD and intern positions at IMDEA

started 2018-12-04 00:33:30 UTC

2018-12-04 00:33:30 UTC

Niki Vazou

0

replies

[TYPES/announce] Fwd: Job opening: post-doctoral research and development position at the University of Barcelona

started 2018-12-03 20:59:16 UTC

2018-12-03 20:59:16 UTC

Ana

0

replies

[TYPES/announce] HSB 2019 - 6th Intl Workshop on Hybrid Systems and Biology (with ETAPS 2019) *2nd CFP and deadlines updated*

started 2018-12-03 00:54:27 UTC

2018-12-03 00:54:27 UTC

Nicola Paoletti

0

replies

[TYPES/announce] NFM 2019 Third Call For Papers- 11th Annual NASA Formal Methods Symposium

started 2018-12-02 09:39:06 UTC

2018-12-02 09:39:06 UTC

Rozier, Kristin Yvonne [AER E]

0

replies

[TYPES/announce] Postdoc Position Reminder

started 2018-11-29 00:35:58 UTC

2018-11-29 00:35:58 UTC

Mislove, Michael W

0

replies

[TYPES/announce] PEPM 2019 Call for Posters, Demos, and Participation

started 2018-11-28 14:28:14 UTC

2018-11-28 14:28:14 UTC

Atsushi Igarashi

0

replies

[TYPES/announce] FSCD 2019 Second Call for Papers

started 2018-11-28 02:12:27 UTC

2018-11-28 02:12:27 UTC

Sandra Alves

0

replies

[TYPES/announce] Tenure-track positions at North Carolina State University

started 2018-11-28 01:11:54 UTC

2018-11-28 01:11:54 UTC

Chris Martens

0

replies

[TYPES/announce] PLACES 2019 workshop

started 2018-11-27 19:02:53 UTC

2018-11-27 19:02:53 UTC

Dominic Orchard

0

replies

[TYPES/announce] Post-doc position at University of Glasgow, UK - PL foundations / session types

started 2018-11-26 20:57:22 UTC

2018-11-26 20:57:22 UTC

Simon Gay

0

replies

[TYPES/announce] Research assistant position in quantum formal methods

started 2018-11-25 20:35:35 UTC

2018-11-25 20:35:35 UTC

Jaap Boender

0

replies

[TYPES/announce] six lectureships,

started 2018-11-25 00:17:40 UTC

2018-11-25 00:17:40 UTC

Gardner, Philippa A

0

replies

[TYPES/announce] post-doc positions at LRI : quantum computation, formal methods, numerical methods

started 2018-11-23 16:12:36 UTC

2018-11-23 16:12:36 UTC

b***@monoidal.net

0

replies

[TYPES/announce] PriSC 2019 Workshop @ POPL: Call for Participation and Short Talks

started 2018-11-23 15:02:57 UTC

2018-11-23 15:02:57 UTC

Dominique DEVRIESE

0

replies

[TYPES/announce] Up to 3 PhD student positions on Programming Languages and Systems for Security and Privacy at Chalmers

started 2018-11-22 19:09:19 UTC

2018-11-22 19:09:19 UTC

Andrei Sabelfeld

0

replies

[TYPES/announce] VerifyThis at ETAPS 2019: Announcement + Call for Problems

started 2018-11-22 15:06:37 UTC

2018-11-22 15:06:37 UTC

VerifyThis

0

replies

[TYPES/announce] Research positions in cryptography, blockchain, and formal verification at Aarhus

started 2018-11-22 08:13:04 UTC

2018-11-22 08:13:04 UTC

Bas Spitters

0

replies

[TYPES/announce] Postdoctoral fellowship on SAT modulo ODE

started 2018-11-22 02:59:30 UTC

2018-11-22 02:59:30 UTC

Alexandre Chapoutot

0

replies

[TYPES/announce] POPL 2019 Call for Participation -- Cascais/Lisbon January 16-18

started 2018-11-21 20:54:25 UTC

2018-11-21 20:54:25 UTC

Michael Greenberg

0

replies

[TYPES/announce] 26th WoLLIC 2019 (Utrecht, The Netherlands) - Call for Papers

started 2018-11-21 16:53:50 UTC

2018-11-21 16:53:50 UTC

Ruy de Queiroz