20 Nov 21:38roconnor
*[TYPES] Representing inductive types with W-types
18 Nov 08:41Peter Dybjer
*[TYPES] Representing inductive types with W-types
17 Nov 23:50Kristina Sojakova
*[TYPES] Representing inductive types with W-types
17 Nov 21:57roconnor
*[TYPES] Representing inductive types with W-types
9 Nov 00:20Eddy Westbrook
*[TYPES] Strong Normalization for Coq (CiC)
9 Nov 00:09Eddy Westbrook
*[TYPES] Strong Normalization for Coq (CiC)
8 Nov 14:02Jean-Philippe Bernardy
*[TYPES] Strong Normalization for Coq (CiC)
7 Nov 19:54Sampo Syreeni
*[TYPES] Strong Normalization for Coq (CiC)
3 Nov 17:15Eddy Westbrook
*[TYPES] Strong Normalization for Coq (CiC)
15 Oct 22:32Adam Poswolsky
*[TYPES] Types for Open Terms ?
15 Oct 19:17Brigitte Pientka
*[TYPES] Types for Open Terms ?
15 Oct 12:47murdoch gabbay
*[TYPES] Types for Open Terms ?
14 Oct 10:40Andrea Asperti
*[TYPES] Types for Open Terms ?
14 Oct 09:37Herman Geuvers
*[TYPES] Types for Open Terms ?
13 Oct 22:14Nicolas Pouillard
*[TYPES] Types for Open Terms ?
13 Oct 19:48Anthony de Almeida Lopes
*[TYPES] Types for Open Terms ?
13 Oct 17:58Anthony de Almeida Lopes
*[TYPES] Types for Open Terms ?
13 Oct 17:23Jacques Carette
*[TYPES] Types for Open Terms ?
10 Oct 14:04Andreas Abel
*[TYPES] F omega with sums and commuting conversions
10 Oct 00:39Sam Lindley
*[TYPES] F omega with sums and commuting conversions
7 Jun 02:16Frederic Blanqui
*[TYPES] System F omega with (equi-)recursive types
6 Jun 23:00Francois Pottier
*[TYPES] System F omega with (equi-)recursive types
6 Jun 18:07Florian Lorenzen
*[TYPES] System F omega with (equi-)recursive types
22 May 15:45Elaine Pimentel
*[TYPES/announce] LSFA 2011 - Deadline extended and call for posters (n
21 May 14:40Noam Rinetzky
*[TYPES/announce] Call for Papers: APLAS 2011 (The 9th Asian Symposium
20 May 16:13Peter O'Hearn
*[TYPES/announce] Lectureship at Queen Mary, Univ of London
20 May 10:56Bas Luttik
*[TYPES/announce] EXPRESS 2011: Call for Papers
20 May 09:55Matteo Maffei
*[TYPES/announce] Final call for participation: 2011 COMPUTER SECURITY
19 May 23:34Anton Setzer
*[TYPES/announce] RA positions in Swansea, UK on Programming Language C
19 May 01:58Anton Setzer
*[TYPES/announce] PhD studentships on Programming Language Components a
17 May 09:14Dianne Nguyen
*[TYPES/announce] Call for Papers - Solomonoff 85th Memorial Conference
16 May 12:45S Barry Cooper
*[TYPES/announce] Final Call for Papers - Developments in Computational
16 May 09:58Jun PANG
*[TYPES/announce] SecCo 2011: 2nd Call for Papers
14 May 16:36Gilles Barthe
*[TYPES/announce] CFP: FAST2011 - 8th International Workshop on Formal
12 May 18:44Gopalan Nadathur
*[TYPES/announce] LFMTP 2011 Call for Papers (2nd Call)
12 May 05:10Jaakko Järvi
*[TYPES/announce] CFP: WGP 2011 - Workshop on Generic Programming
11 May 23:05Elaine Pimentel
*[TYPES/announce] LSFA 2011 - Last call for papers
11 May 14:13S Barry Cooper
*[TYPES/announce] CiE 2011 in Sofia - Call for Participation
11 May 13:46Tobias Wrigstad
*[TYPES/announce] Extended last registration date for Summer School on
11 May 11:31Roy Crole
*[TYPES/announce] Lectureship in Computer Science, University of Leices
11 May 07:49bywang
*[TYPES/announce] CPP 2011 - Call for Papers
10 May 23:39Zhong Shao
*[TYPES/announce] Post-Doctoral Position at Yale University
16 May 22:10Olivier Laurent
**[TYPES/announce] Post-doctoral position at ENS Lyon
10 May 18:05Vadim Zaytsev
*[TYPES/announce] GTTSE 2011: Call for Participation
10 May 10:12Wouter Swierstra
*[TYPES/announce] An update on ICFP'11 in Tokyo (September 18-24, 2011)
9 May 23:46Anton Setzer
*[TYPES/announce] Logic related PhD studentships available in Swansea,
9 May 15:11Femke van Raamsdonk
*[TYPES/announce] DCM 2011: call for papers
6 May 17:52Sam Staton
*[TYPES/announce] Post-doctoral position at University of Cambridge
10 May 09:50Ugo Dal Lago
**[TYPES/announce] Postdoc Position
6 May 15:24Stephane Lengrand (Work
*[TYPES/announce] CfP - Deadline extension: "Proof-Search in Axiomatic
6 May 14:06Florian Rabe
*[TYPES/announce] Call for Papers: 3rd Workshop on Modules and Librarie
6 May 10:52Eijiro Sumii
*[TYPES/announce] ICFP Programming Contest 2011
5 May 17:32Pawel Sobocinski
*[TYPES/announce] *SOS 2011* 2nd call for papers
5 May 10:42Ricardo Peña
*[TYPES/announce] TFP 2011: Call for participation (May 16th-18th)
4 May 15:20Freek Wiedijk
*[TYPES/announce] Call for Papers ACL2 2011
4 May 15:09Clemens Grelck
*[TYPES/announce] CFP: RACORE 2011 - Resource Adaptive Compilation and
4 May 15:12Freek Wiedijk
*[TYPES/announce] Call for bids ITP 2012
4 May 14:17Lutz Schroeder
*[TYPES/announce] FHIES 2011 Second Call for Papers
3 May 14:13Barbara Morawska
*[TYPES/announce] UNIF 2011: deadline extension
2 May 18:10Jonathan Aldrich
*[TYPES/announce] summer REU at CMU
2 May 10:05Iliano Cervesato
*[TYPES/announce] Postdoctoral Positions on Ensemble Programming
30 Apr 00:28Paweł Urzyczyn
*[TYPES/announce] "Types for Proofs and Programs" - deadline extension
30 Apr 02:08Stavros Tripakis
*[TYPES/announce] 2nd CFP: FORMATS 2011, 21-23 Sep 2011
29 Apr 17:39Aaron Stump
*[TYPES/announce] deadline extension: PxTP '11
29 Apr 15:56Matt Might
*[TYPES/announce] CFP: Scheme and Functional Programming (co-located wi
28 Apr 11:27Cristian Prisacariu
*[TYPES/announce] call for abstracts: Doctoral Symposium at FCT 2011
27 Apr 15:52Cristina Pereira
*[TYPES/announce] 2011 Curriculum Best Practices Award - DEADLINE MAY 1
26 Apr 21:20Marco Carbone
*[TYPES/announce] WS-FM 2011 - Second Call for Papers (Deadline: 12h Ju
26 Apr 15:15Jun PANG
*[TYPES/announce] FHIES 2011: 2nd Call for Papers
25 Apr 03:50Lutz Strassburger
*[TYPES/announce] Postdoc position in proof theory in Paris
24 Apr 15:12M.C.A. (Marco) Devillers
*[TYPES/announce] Request for Help for getting a Type Inferencer Right
23 Apr 03:28Christiano Braga
*[TYPES/announce] [Sbc-l] SBLP 2011 - Deadline extension
22 Apr 21:57Rineke Verbrugge
*[TYPES/announce] Second CfP TARK-workshop 'Reasoning about other minds
22 Apr 11:41Carlos Martín Vide
*[TYPES/announce] SSLST 2011: 1st announcement
21 Apr 17:45Pierre Hyvernat
*[TYPES/announce] Fourth workshop "réalisabilité à Chambéry", June
21 Apr 10:20Luca Paolini
*[TYPES/announce] RDP 2011 - Second Call for Participation
21 Apr 09:36Carlos Martín Vide
*[TYPES/announce] LATA 2011: call for participation
21 Apr 09:26Manuela Bujorianu
*[TYPES/announce] CfPart: IM-PCS and FoRMA, Manchester, UK
20 Apr 16:31Stephan Merz
*[TYPES/announce] post-doc position in INRIA-MSR project (Paris, France
20 Apr 07:09Gerardo Schneider
*[TYPES/announce] CfP: SEFM'11 - Deadline EXTENDED till May 9
19 Apr 22:20Chung-chieh Shan
*[TYPES/announce] Extended deadline; IFIP sponsorship: IFIP Working Con
19 Apr 19:17Conor McBride
*[TYPES/announce] Another(!) PhD Position at Strathclyde
19 Apr 17:44Carsten Schuermann
*[TYPES/announce] Two Postdoc Positions at the IT University of Copenha
19 Apr 14:05Walid Taha
*[TYPES/announce] Summer School on Mechanized Logic for High Assurance
19 Apr 14:16S. Doaitse Swierstra
**[TYPES/announce] Summer school on Applied Functional Programming at Ut
18 Apr 17:54Andrzej Murawski
*[TYPES/announce] PhD opportunities at Leicester
18 Apr 12:11Ricardo Peña
*[TYPES/announce] FOPARA 2011: Extended submission deadline May 29th
16 Apr 19:30Patricia Johann
*[TYPES/announce] PhD studentship
15 Apr 23:32Elaine Pimentel
*[TYPES/announce] LSFA 2011 - Second call for papers
15 Apr 04:20Isabelle Perseil
*[TYPES/announce] [ ] EXTENDED DEADLINE : UML&FM'2011
14 Apr 20:46Martin Leucker
*[TYPES/announce] CfP: TIME'11 - EXTENDED DEADLINE
13 Apr 14:21henk
*[TYPES/announce] Special Issue LMCS: Types for Proofs and Programs
13 Apr 09:57Ricardo Peña
*[TYPES/announce] FOPARA 2011: Last CFP and Call for Participation
12 Apr 01:53Martin Leucker
*[TYPES/announce] TIME'11: CFP
11 Apr 13:12Arend Rensink
*[TYPES/announce] Winner EAPLS Best Phd Dissertation Award 2010
11 Apr 10:34Alex Simpson
*[TYPES/announce] 4th Scottish Category Theory Seminar
11 Apr 09:42Wouter Swierstra
*[TYPES/announce] Call for papers DTP'11
9 Apr 19:24Christiano Braga
*[TYPES/announce] SBLP 2011 - Final call for papers
8 Apr 23:40Gopalan Nadathur
*[TYPES/announce] LFMTP 2011 , Call for Papers
8 Apr 13:14bywang
*[TYPES/announce] CPP 2011 2nd CFP