2007 Archives by subject

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

Starting: Tue Jan 2 05:52:10 EDT 2007
Ending: Sat Dec 29 04:06:20 EDT 2007
Messages: 393

• [TYPES/announce] "CDR60" Colloquium in Rome - Joint event with ICTCS 2007   Ferruccio Damiani
• [TYPES/announce] ***Submission Deadline Postponed*** Workshop on Termination 2007   A Serebrenik
• [TYPES/announce] 10/12 months post-doc position in CerPAN project   Micaela Mayero
• [TYPES/announce] 10th Asian Logic Conference, Kobe, Japan, 2008 (first announcement)   Peter Schuster
• [TYPES/announce] 12-18 months post-doc position in CEDRIC, CNAM Paris   Pierre Courtieu
• [TYPES/announce] 13th Estonian Winter School in Computer Science, Call for Partic.   Tarmo Uustalu
• [TYPES/announce] 14 month position Imperial College London   Sophia Drossopoulou
• [TYPES/announce] 1st Call for Papers: ATVA 2007   Susanne Graf
• [TYPES/announce] 1st Call for Papers: Coordination'08   Herbert Wiklicky
• [TYPES/announce] 1st CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007)   Manfred Kerber
• [TYPES/announce] 1st CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)   Demis
• [TYPES/announce] 2 events related to JY Girard's 60th birthday   Pierre-Louis Curien
• [TYPES/announce] 2 PhD positions in Formal Methods at University of Oslo   Gerardo Schneider
• [TYPES/announce] 2 PhD positions in Formal Methods at University of Oslo, Deadline: 1. November   Martin Steffen
• [TYPES/announce] 2007 ML Workshop deadline extended   Derek Dreyer
• [TYPES/announce] 29 days to go until TOOLS Europe submission deadline   Philippe.LAHIRE at unice.fr
• [TYPES/announce] 2nd Call for Papers: Coordination'08   Herbert Wiklicky
• [TYPES/announce] 2nd CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007)   Manfred Kerber
• [TYPES/announce] 2nd CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)   demis at dimi.uniud.it
• [TYPES/announce] 2nd CfP: 3WFTop proceedings   Peter Schuster
• [TYPES/announce] 2nd CFP: Higher-Order Rewriting 2007   Ralph Matthes
• [TYPES/announce] 2nd CFP: ISR 2007   Laurent Vigneron
• [TYPES/announce] 2nd CFP: PLOS '07: 4th Workshop on Programming Languages and Operating Systems   Eric Eide
• [TYPES/announce] 2nd CFP: Systems Software Verification 2008   Gerwin Klein
• [TYPES/announce] [3WFTop]: Third Workshop on Formal Topology, Second Announcement   Peter Schuster
• [TYPES/announce] [CfP] ACP4IS at AOSD 2008   Daniel Lohmann
• [TYPES/announce] [Last CFP] FLOPS 2008   Jacques Garrigue
• [TYPES/announce] [Types-announce]call for papers FICS2008   Min ZHANG
• [TYPES/announce] A paper on "Fair cooperative multithreading"   Gerard Boudol
• [TYPES/announce] A sound semantics for OCaml light   Scott Owens
• [TYPES/announce] AHA 2007: Call for Participation   Dino Distefano
• [TYPES/announce] An operational semantics for Scheme, in PLT Redex   Robby Findler
• [TYPES/announce] Announcement: A reference implementation of Fortress   Sukyoung Ryu
• [TYPES/announce] AOSD 2007: call for participation   Oege.de.Moor at comlab.ox.ac.uk
• [TYPES/announce] APLAS 2007 call for poster presentations (Singapore, Nov 29 - Dec 1)   Eijiro Sumii
• [TYPES/announce] APLAS07 - Call for Participation   Chin Wei Ngan
• [TYPES/announce] ARTIST2 meeting on IMA (Integrated Modular Avionics) -- November 12-13, Rome   Susanne Graf
• [TYPES/announce] Assistant Professor Position in IST Lisbon, Deadline 18 June   Ana Almeida Matos
• [TYPES/announce] Assoc. Prof. position at IT University of Copenhagen   Lars Birkedal
• [TYPES/announce] Assoc. Professorship Opening   Lars Birkedal
• [TYPES/announce] Associate Professor Position in Formal Methods at the University of Oslo, Norway   Einar Broch Johnsen
• [TYPES/announce] Attractive PhD-scholarships at DTU   Flemming Nielson
• [TYPES/announce] ATVA 2007: deadline extension to May 21   Susanne Graf
• [TYPES/announce] Barendregt 60: last announcement   Venanzio Capretta
• [TYPES/announce] Brief announcement re: FSTTCS 2007   Sanjiva Prasad
• [TYPES/announce] CADE 2007 2nd Call for Papers   Amy Felty
• [TYPES/announce] Calculemus 2008: First Call for Papers   Freek Wiedijk
• [TYPES/announce] Call for Book Chapters: Process Algebra/Algebraic Languages/Specification-based AD   Michael Alexander
• [TYPES/announce] Call for contributions: FLACOS'07   Gerardo Schneider
• [TYPES/announce] Call for papers - Workshop on Termination (WST 2007) - Paris   A Serebrenik
• [TYPES/announce] Call for Papers -- ASIAN'07   Benjamin Pierce
• [TYPES/announce] Call for Papers : FORMATS'07   Susanne Graf
• [TYPES/announce] Call for Papers Reminder: FST TCS 2007 Submission deadline is June 17   Sanjiva Prasad
• [TYPES/announce] Call for Papers SecReT 2007   Maribel Fernandez
• [TYPES/announce] Call For Papers TGC'07   Gilles Barthe
• [TYPES/announce] Call for Papers TYPES 2007 - deadline extension   Marino Miculan
• [TYPES/announce] Call for Papers: ACM SAC 2008   Mirko Viroli
• [TYPES/announce] Call for Papers: ACM SAC 2008 (deadline extension to 16/9/2007)   Mirko Viroli
• [TYPES/announce] Call for Papers: ATVA 2007   Susanne Graf
• [TYPES/announce] Call for Papers: AVIS 2007   supratik at cc.usu.edu
• [TYPES/announce] Call for Papers: Generative Programming and Component Engineering (GPCE'07)   Emir Pasalic
• [TYPES/announce] Call for Papers: INFINITY 2007   Madhusudan Parthasarathy
• [TYPES/announce] Call for papers: OOPS track at SAC 2008   Davide Ancona
• [TYPES/announce] Call for Papers: PLAS 2008   PLAS2008
• [TYPES/announce] Call for papers: Proceedings of TYPES 2007   Marino Miculan
• [TYPES/announce] Call for Papers: RDP Workshop PATE   Herman Geuvers
• [TYPES/announce] Call for Papers: SafeCert with ETAPS 2008   Susanne Graf
• [TYPES/announce] Call for Papers: SPIN 2007 with CAV in Berlin   Susanne Graf
• [TYPES/announce] Call for Papers: TOOLS Europe 2008   Philippe Lahire
• [TYPES/announce] Call for Participation - APLAS 2007   Shengchao Qin
• [TYPES/announce] Call for participation and abstracts: BCTCS, Oxford, 2-5 Apr   Jeremy Gibbons
• [TYPES/announce] Call for Participation FST TCS 2007   Sanjiva Prasad
• [TYPES/announce] Call for Participation FST TCS 2007   Sanjiva Prasad
• [TYPES/announce] Call for Participation: 2007 Workshop on ML   Derek Dreyer
• [TYPES/announce] Call for participation: Between Control and Software --- Grenoble --- 28/09/2007   Susanne Graf
• [TYPES/announce] Call for Participation: ECOOP 2007 in Berlin   Stephan Herrmann
• [TYPES/announce] Call for Participation: Fmoods'07 (as part of DisCoTec 07. Paphos, Cyprus, 6.-8. June 2007)   Martin Steffen
• [TYPES/announce] Call for Participation: Henk Barndregt's 60th birthday symposium   Herman Geuvers
• [TYPES/announce] Call for Participation: PLAS 2007   mwh at cs.umd.edu
• [TYPES/announce] Call for Participation: PLPV 2007   Aaron Stump
• [TYPES/announce] Call for participation: Tableaux 2007   benhamou
• [TYPES/announce] Call for Participation: TOOLS Europe 2007   Philippe.LAHIRE at unice.fr
• [TYPES/announce] Call for Participation: Workshop on Principles of Provenance   James Cheney
• [TYPES/announce] Call for presentations at PLID 2007   David Clark
• [TYPES/announce] Call for Track Proposals: ACM SAC 2008 (Symposium on Applied Computing)   Mirko Viroli
• [TYPES/announce] Call-for-contributions: PASTE 2007   Dan Grossman
• [TYPES/announce] Categorical Quantum Logic in Oxford, August 11-12   Bob Coecke
• [TYPES/announce] CDR60 Colloquium (Early Registration by September 15, 2007)   Ferruccio Damiani
• [TYPES/announce] CFP - Deadline Extension - SPAC 2007   E. Segura
• [TYPES/announce] CFP FOAL 2008 workshop on foundations of aspect-oriented languages   Gary T. Leavens
• [TYPES/announce] CFP for PLPV 2007   Hongwei Xi
• [TYPES/announce] CFP RDP Workshop Proof Assistants and Types in Education   Pierre Courtieu
• [TYPES/announce] CFP RDP Workshop Proof Assistants and Types in Education   Pierre Courtieu
• [TYPES/announce] CFP: ISMM'07   Greg Morrisett
• [TYPES/announce] CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)   Demis
• [TYPES/announce] CfP: 3WFTop proceedings   Peter Schuster
• [TYPES/announce] CFP: 5th Worskhop on "Methods for Modalities" (M4M-5)   Carlos Areces
• [TYPES/announce] CFP: APLAS 2007 (The Fifth Asian Symposium on Programming Languages and Systems)   Zhong Shao
• [TYPES/announce] CFP: Aspect-Oriented Techniques to E-Service Environments (AOTE-S) 2007   Gregorio Díaz Descalzo
• [TYPES/announce] CFP: DAMP 2008   Petersen, Leaf
• [TYPES/announce] CfP: Dynamic Languages Symposium 2007   William Cook
• [TYPES/announce] CFP: European Symposium on Programming (ESOP)   Sophia Drossopoulou
• [TYPES/announce] CFP: EXPRESS'07- deadline for abstracts May 28 (extended)   hilde at itu.dk
• [TYPES/announce] CFP: Formal Techniques for Java-like Programs (FTfJP 2007)   John Tang Boyland
• [TYPES/announce] CFP: Foundations of Aspect-Oriented Languages FOAL 2007   Gary T. Leavens
• [TYPES/announce] CFP: Foundations of Interactive Computation   FINCO 2007
• [TYPES/announce] CFP: Higher-Order Rewriting 2007   Ralph Matthes
• [TYPES/announce] CFP: International School on Rewriting   Laurent Vigneron
• [TYPES/announce] CFP: International Symposium on Functional and Logic Programming (FLOPS 2008)   Jacques Garrigue
• [TYPES/announce] CFP: International Workshop on Hybrid Logic 2007 (HyLo 2007)   Carlos Areces
• [TYPES/announce] CFP: LENLS2008   Ogata
• [TYPES/announce] CFP: LFMTP'07   Brigitte Pientka
• [TYPES/announce] CFP: Library-Centric Software Design 2007   Jeremy Siek
• [TYPES/announce] CFP: LOPSTR 2007 International Symposium on Logic-Based Program Synthesis and Transformation   A Serebrenik
• [TYPES/announce] CfP: Nordic Workshop on Programming Theory (NWPT'07)   Einar Broch Johnsen
• [TYPES/announce] CfP: Nordic Workshop on Programming Theory (NWPT'07)   Einar Broch Johnsen
• [TYPES/announce] CFP: PLOS '07: 4th Workshop on Programming Languages and Operating Systems   Eric Eide
• [TYPES/announce] CfP: Scheme and Functional Programming 2007   Danny Dubé
• [TYPES/announce] CFP: SPAC 07 - Software Patterns: Addressing Challenges   eduardo segura
• [TYPES/announce] CFP: Systems Software Verification 2008   Gerwin Klein
• [TYPES/announce] CFP: Verification and Analysis of Multi-threaded Java-like Programs   Christian Haack
• [TYPES/announce] CfP: VSTTE'08   paige at cs.york.ac.uk
• [TYPES/announce] CFP: Workshop Logic, Rationality and Interaction, Beijing, China   Carlos Areces
• [TYPES/announce] CFP: Workshop on Aliasing, Confinement and Ownership in OOP   Tobias Wrigstad
• [TYPES/announce] CFP: Workshop on Aliasing, Confinement and Ownership in OOP   Tobias Wrigstad
• [TYPES/announce] CfPart: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)   demis at dimi.uniud.it
• [TYPES/announce] CfParticipation: Scheme and FP 2007   Danny Dubé
• [TYPES/announce] CiE 2007 - Call for informal presentations   S B Cooper
• [TYPES/announce] CiE 2007 - Call for Participation   S B Cooper
• [TYPES/announce] CiE 2007 - Final call for Participation   S B Cooper
• [TYPES/announce] CiE 2008 - 1st Call for Papers   S B Cooper
• [TYPES/announce] CiE 2008 in Athens - 2nd Call for Papers   S B Cooper
• [TYPES/announce] CL&C 2008 - 1st Call for Papers   Ulrich Berger
• [TYPES/announce] CMCS 2008: First call for papers   Clemens
• [TYPES/announce] CNRS postdoctoral position in Paris   Paul-André Melliès
• [TYPES/announce] Coalgebraic and Categorical Quantum Logic in Oxford   Bob Coecke
• [TYPES/announce] COALGEBRAIC LOGIC in Oxford, August 10-11   ak155 at mcs.le.ac.uk
• [TYPES/announce] CONCUR 07: Call For Participation   Luís Caires
• [TYPES/announce] CONCUR 08: call for papers   CONCUR 08
• [TYPES/announce] CONCUR 2007 Call for Papers   Vasco Vasconcelos
• [TYPES/announce] Concur 2007 Final CFP   Luís Caires
• [TYPES/announce] Concur 2007 Final CFP   Luís Caires
• [TYPES/announce] Coq Tutorial at POPL 2008: Using Proof Assistants for Programming Language Research   Stephanie Weirich
• [TYPES/announce] Correction: TFP 2007 Submission Deadline is Tomorrow   Marco T Morazan
• [TYPES/announce] CSL07 (11-15 September, 2007, Lausanne): Call for papers   Alessandro Facchini
• [TYPES/announce] CSL07: last call for papers   Alessandro Facchini
• [TYPES/announce] DAIS 2007 - Call for Participation   Ricky Robinson
• [TYPES/announce] DAIS 2007: Extended submission deadline   Ricky Robinson
• [TYPES/announce] DCM '07 Call for Papers   Mariangiola Dezani
• [TYPES/announce] Deadline extended for TGC07   Gilles.Barthe at sophia.inria.fr
• [TYPES/announce] Deadline extension: FST TCS 2007 (June 20 2007)   sanjiva at cse.iitd.ernet.in
• [TYPES/announce] Deadline Extension: IWACO   Tobias Wrigstad
• [TYPES/announce] Deadline extension: POPL Call for Event Proposals   Yitzhak Mandelbaum
• [TYPES/announce] Deadline Extension: SSV'08   Gerwin Klein
• [TYPES/announce] Doctoral and Post-doctoral openings at Rice   Walid Taha
• [TYPES/announce] E. W. Beth Dissertation Prize 2007: Extended Deadline   Carlos Areces
• [TYPES/announce] ECOOP 2007 - Call for Student Volunteers   Erik Ernst
• [TYPES/announce] ECOOP 2008 Call for Papers   Dave Clarke
• [TYPES/announce] ESSLLI 2007 Student Session Final Call For Papers   Dmitry Sustretov
• [TYPES/announce] ESSLLI 2008: Call for Course and Workshop Proposals   Carlos Areces
• [TYPES/announce] ESSLLI Student Session deadline extended   Dmitry Sustretov
• [TYPES/announce] ESSLLI'08: Call for Course Proposals   Sophia Katrenko
• [TYPES/announce] ETAPS 2007: Call for Participation   João Saraiva
• [TYPES/announce] ETAPS 2008: Call for tutorial proposals   Joost-Pieter Katoen
• [TYPES/announce] ETAPS'09 Call for Satellite Events   Joost-Pieter Katoen
• [TYPES/announce] EUROCORES Programme LogICCC - CfP   Carlos Areces
• [TYPES/announce] EXPRESS'07 - PROGRAMME & CALL FOR PARTICIPATION   hilde at itu.dk
• [TYPES/announce] Extended CFP: 9th Intl Workshop on Logic & Computational Complexity   James S. Royer
• [TYPES/announce] Extended deadline - LCSD 2007 (CFP)   Jeremy Siek
• [TYPES/announce] Extended deadline - LSFA 2007 (CFP)   ayala at unb.br
• [TYPES/announce] Extended Deadline of FICS2008: 4th Jan. 2008   Min ZHANG
• [TYPES/announce] Extended submission deadline: OOPS track at SAC 2008   Davide Ancona
• [TYPES/announce] Festkolloquium and Workshop honoring H.Schwichtenberg   ratiu at math.lmu.de
• [TYPES/announce] Fields Workshop on Traced Monoidal Cats (Second Announcement)   Phil Scott
• [TYPES/announce] Final Call for Papers: TFP 2007, New York, USA   Marco T Morazan
• [TYPES/announce] Final Call for participation   Sanjiva Prasad
• [TYPES/announce] Final call for participation for LCC'07   James S. Royer
• [TYPES/announce] Final CFP - spec. issue of MCS on Management of Mathematical Knowledge (deadline 15 December 2007)   Manfred Kerber
• [TYPES/announce] Final CFP: APLAS 2007 (Deadline: June 15, 2007)   Zhong Shao
• [TYPES/announce] final CFP: Foundations of Interactive Computation   FINCO 2007
• [TYPES/announce] Final CFP: The 2007 ACM SIGPLAN Workshop on ML   Derek Dreyer
• [TYPES/announce] First Call for Papers --- ICALP 2008   Icalp08
• [TYPES/announce] First Call for Papers TFP 2008, The Netherlands   Peter Achten
• [TYPES/announce] First CFP of SymCon 2007   benhamou
• [TYPES/announce] FLACOS'07: 2nd call for contributions   Gerardo Schneider
• [TYPES/announce] FLOPS 2008 second Call for Papers   Jacques Garrigue
• [TYPES/announce] FMCO 2007: Call for participation   Susanne Graf
• [TYPES/announce] FOOL '08: Call for Participation   Christopher A. Stone
• [TYPES/announce] FOOL '08: Call for Participation [Updated]   Christopher A. Stone
• [TYPES/announce] FOOL2008 Call for Papers   Atsushi Igarashi
• [TYPES/announce] FOSSACS final Call for Papers   Roberto Amadio
• [TYPES/announce] Foundation SMP: a new postdoc (et al.) program in Paris   Pierre-Louis Curien
• [TYPES/announce] Foundations of Interface Technologies (FIT 2008). Call for submissions.   Andrzej Wasowski
• [TYPES/announce] Foundations of Interface Technologies (FIT 2008). Final call for submissions.   Andrzej Wasowski
• [TYPES/announce] FTP'07 Call for papers   Silvio.Ranise at loria.fr
• [TYPES/announce] GALOP III @ ETAPS 2008 : Call For Papers/Abstracts   Dan Ghica
• [TYPES/announce] Giuseppe Longo's symposium   Pierre-Louis Curien
• [TYPES/announce] GPCE'07: CALL FOR PARTICIPATION   Emir Pasalic
• [TYPES/announce] GPCE'07: Calls for Tutorials/Workshops   Emir Pasalic
• [TYPES/announce] GPCE'07: UPDATED CALL FOR PARTICIPATION   Emir Pasalic
• [TYPES/announce] GRADUATE TEACHING ASSISTANT (PhD) - Leicester, UK   Roy L. Crole
• [TYPES/announce] GTTSE 2007: 2nd call for participation (02-07 July) (registration open)   Joost Visser
• [TYPES/announce] Habil. Thesis: Language Design for Atomicity, Declarative Synchronization, and Dynamic Update   Pawel.T.Wojciechowski
• [TYPES/announce] Haskell Workshop Call for Papers   Gabriele Keller
• [TYPES/announce] HOR 2007 Call for Participation (Higher-Order Rewriting 2007)   Ralph Matthes
• [TYPES/announce] ICALP 2008, Reykjavik: Call for Workshops   Icalp08
• [TYPES/announce] ICALP 2008: Second Call for Papers   Luca Aceto
• [TYPES/announce] ICE'08: First Call for Papers   Angelo Troina
• [TYPES/announce] ICFP 2008 Call for Workshop Proposals   Michael Sperber
• [TYPES/announce] ICFP Programming Contest 2007   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] ICFP07 Accepted Papers   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] ICFP07 Call for Papers   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] ICFP07 Call for Participation   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] ICFP07 Final CFP & Note from the Program Chair   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] ICFP07 Reminder: registration deadline   Matthew Fluet (ICFP Publicity Chair)
• [TYPES/announce] ICTAC 2007: Call for Papers   Bernhard K. Aichernig
• [TYPES/announce] ICTAC 2007: Final call for papers   Bernhard K. Aichernig
• [TYPES/announce] ICTCS'07 - call for papers   moggi at disi.unige.it
• [TYPES/announce] ICTCS'07 - Call for Participation   moggi at disi.unige.it
• [TYPES/announce] ICTCS'07 - final call for papers   moggi at disi.unige.it
• [TYPES/announce] IEEE Computer Security Foundations Symposium (CSF 2008)   Andrei Sabelfeld
• [TYPES/announce] IEEE Computer Security Foundations Symposium (CSF 2008)   Andrei Sabelfeld
• [TYPES/announce] IEEE Computer Security Foundations Symposium 2007 - CFP   Andrei Sabelfeld
• [TYPES/announce] IEEE GLOBECOM workshop, SUPE07, 30 November 2007, Washington DC   Jaafar.Gaber at utbm.fr
• [TYPES/announce] IFL 2007: CFP and Submission Deadline Approaching   Marco T Morazan
• [TYPES/announce] IFL 2007: Symposium on Implementation and Application of Functional Languages   Olaf Chitil
• [TYPES/announce] IFM2007 Final call for contributions   Jeremy.Gibbons at comlab.ox.ac.uk
• [TYPES/announce] IMAGINE 2007 - Call For Participation   Nathalie MITTON
• [TYPES/announce] INRIA PhD position   Frederic Blanqui
• [TYPES/announce] INRIA PhD position   Frederic Blanqui
• [TYPES/announce] Integrated Formal Methods 2007: Call for participation   Jeremy.Gibbons at comlab.ox.ac.uk
• [TYPES/announce] International School on Rewriting 2008   aart.middeldorp at uibk.ac.at
• [TYPES/announce] ISMM 2008 Call for Papers   R.E.Jones
• [TYPES/announce] ISMM'07: call for participation   Greg Morrisett
• [TYPES/announce] Jean-Yves Girard's Festschrift   Thomas Ehrhard
• [TYPES/announce] Journees Jean-Yves Girard   Pierre-Louis Curien
• [TYPES/announce] Journées Jean-Yves Girard (FREE REGISTRATION OPEN)   Pierre-Louis Curien
• [TYPES/announce] LASER Summer School on Software Engineering   Martín Nordio
• [TYPES/announce] LAST Call for papers - Workshop on Termination (WST 2007) - Paris   A Serebrenik
• [TYPES/announce] Last Call for Papers TPR'07 Deadline April 13th   Frederic Blanqui
• [TYPES/announce] Last CFP of TABLEAUX 2007   benhamou
• [TYPES/announce] LATA 2007: call for participation   carlos.martin at urv.cat
• [TYPES/announce] LATA 2008: 2nd call for papers   carlos.martin at urv.cat
• [TYPES/announce] LATA 2008: call for papers   carlos.martin at urv.cat
• [TYPES/announce] LATA 2008: last extension of paper submission deadline   carlos.martin at urv.cat
• [TYPES/announce] LATA 2008: paper submission deadline extended   carlos.martin at urv.cat
• [TYPES/announce] lCall for Papers: TFIT 2008   Susanne Graf
• [TYPES/announce] lecturer position at King's College London   Maribel Fernandez
• [TYPES/announce] Lectureship in Computer Science   Roy L. Crole
• [TYPES/announce] Lectureship in Foundations at Sussex   Bernhard Reus
• [TYPES/announce] LFMTP'07: Call for papers   Brigitte Pientka
• [TYPES/announce] LFMTP-07: Call for participation   Carsten Schuermann
• [TYPES/announce] Logiweb   Klaus Ebbe Grue
• [TYPES/announce] LSFA 2007 (Third CFP)   ayala at unb.br
• [TYPES/announce] LSFA'07, Second CFPs   eduardo at sol.lifia.info.unlp.edu.ar
• [TYPES/announce] M4M-5 Call for Papers   Carlos Areces
• [TYPES/announce] M4M-5: Deadline Extension, 15th of September   Carlos Areces
• [TYPES/announce] M4M-5: EasyChair Submission Page Now Open   Carlos Areces
• [TYPES/announce] Marktoberdorf Summer School 2007 on Formal Logical Methods for System Security and Correctness   Stefan Berghofer
• [TYPES/announce] MFPS 23 Call for Participation   Michael Mislove
• [TYPES/announce] MFPS 24 announcement   Benjamin Pierce
• [TYPES/announce] MKM 2007 paper submission deadline approaching   Fairouz Kamareddine
• [TYPES/announce] MMM-ACNS-07 CFP   Andrei Sabelfeld
• [TYPES/announce] MODELS 2007 Call for Contributions   Laurence Tratt
• [TYPES/announce] MoDELS 2007 Call for Participation   Laurence Tratt
• [TYPES/announce] MPC 2008: SECOND CALL FOR PAPERS   Christine Paulin
• [TYPES/announce] MTCoord 2007 - CFP extended deadline   Isabelle Linden
• [TYPES/announce] MTCoord 2007 CFP   Isabelle Linden
• [TYPES/announce] New Book - Programming in Haskell   Graham Hutton
• [TYPES/announce] New submission deadline for SymCon'07 (June 29th)   benhamou
• [TYPES/announce] New Twelf Wiki   Robert J. Simmons
• [TYPES/announce] Normalisation Control in Deep Inference Via Atomic Flows   Alessio Guglielmi
• [TYPES/announce] One-year INRIA post-doctoral position   Frederic Blanqui
• [TYPES/announce] Oslo: PhD Position in Formal Methods for Sensor Networks   Einar Broch Johnsen
• [TYPES/announce] PADL 2008: Call for Papers   Gopal Gupta
• [TYPES/announce] PADL 2008: Call for Papers   Gopal Gupta
• [TYPES/announce] PADL'08: Call for Participation (Early Reg. Deadline: Dec 13)   Gopal Gupta
• [TYPES/announce] paper on "State-oriented noninterference for CCS"   Ilaria Castellani
• [TYPES/announce] paper: history of bisimulation, coinduction   Davide Sangiorgi
• [TYPES/announce] PEPM 2008   Oege.de.Moor at comlab.ox.ac.uk
• [TYPES/announce] PEPM 2008: abstracts due Oct 12   Oege.de.Moor at comlab.ox.ac.uk
• [TYPES/announce] PEPM 2008: abstracts due Oct 12   Oege.de.Moor at comlab.ox.ac.uk
• [TYPES/announce] Ph.D. scholarships at the IT University of Copenhagen   Lars Birkedal
• [TYPES/announce] PhD on refactoring at Oxford   Oege.de.Moor at comlab.ox.ac.uk
• [TYPES/announce] PhD position at INRIA   Gilles.Barthe at sophia.inria.fr
• [TYPES/announce] PhD position at INRIA Lorraine,,Nancy, France   de Groote
• [TYPES/announce] PhD position at the Univ. of Colorado at Boulder   Jeremy Siek
• [TYPES/announce] PhD position at the University of Twente on Graph-Based Abstract Interpretation   Arend Rensink
• [TYPES/announce] PhD position at the University of Twente on Graph-Based Abstract Interpretation   Arend Rensink
• [TYPES/announce] PhD position at VU Amsterdam   Femke van Raamsdonk
• [TYPES/announce] PhD position available : Building reliable programs in computational geometry and certifying them with Coq   Nicolas Magaud
• [TYPES/announce] PhD Position in Computer Science at UVM   Christian Skalka
• [TYPES/announce] PhD positions at the IT University of Copenhagen   Carsten Schürmann
• [TYPES/announce] PhD Scholarship in Formal Semantics and Types for Mobile Adaptive Business Processes   hilde at itu.dk
• [TYPES/announce] PhD student on Real-life datatype-generic programming   Johan Jeuring
• [TYPES/announce] PhD Studentships: Logics, Types, & Rewriting for Software & Mathematics @ Heriot-Watt, Scotland, UK   Joe Wells
• [TYPES/announce] PLAN-X 2007: Last Call for Participation   Torsten Grust
• [TYPES/announce] PLAN-X 2008 first call for papers   Ioana Manolescu
• [TYPES/announce] PLAS 2007: 2nd call for papers (publication options changed)   Michael Hicks
• [TYPES/announce] PLID 2007 Special issue of MSCS   David Clark
• [TYPES/announce] POPL 08 Call for Papers   Sorin Lerner
• [TYPES/announce] POPL 2008 Call For Participation   Sorin Lerner
• [TYPES/announce] POPL Call for Workshops and co-located event Proposals   Sorin Lerner
• [TYPES/announce] Position announcement in Paris 7 University   Pierre-Louis Curien
• [TYPES/announce] Position available at University Paris 7   Giuseppe Castagna
• [TYPES/announce] Positions at Oxford: refactoring tools   Oege.de.Moor at comlab.ox.ac.uk
• [TYPES/announce] positions at the IT University of Copenhagen   Lars Birkedal
• [TYPES/announce] Post Doc Position in Paris   Lutz Strassburger
• [TYPES/announce] post-doc position   René David
• [TYPES/announce] Post-doc position in Glasgow   Simon Gay
• [TYPES/announce] post-doc position in Paris   Stephan Merz
• [TYPES/announce] Post-doctoral research associate in program verification   Matthew Parkinson
• [TYPES/announce] Post-Doctoral Research Fellow in IT Security at CS, Concordia University, Montreal, Canada   Pr. Dr. M. Debbabi
• [TYPES/announce] PostDoc and Ph.D. Student Positions in the Scala Group   martin odersky
• [TYPES/announce] Postdoc position at IoC, Tallinn   Tarmo Uustalu
• [TYPES/announce] Postdoc position at the Australian National University   Alwen Tiu
• [TYPES/announce] postdoc position available at ENS Lyon   Daniel.Hirschkoff at ens-lyon.fr
• [TYPES/announce] postdoc position available at ENS Lyon   Daniel.Hirschkoff at ens-lyon.fr
• [TYPES/announce] Postdoc/PhD position in Lisbon   Vasco T. Vasconcelos
• [TYPES/announce] Postdoc: Program Analysis with Separation Logic   Peter O'Hearn
• [TYPES/announce] Postdoctoral position at U. Ottawa   Phil Scott
• [TYPES/announce] Postdoctoral Position at UVM Computer Science   Christian Skalka
• [TYPES/announce] Postdoctoral Research Position at University of Vermont   Christian Skalka
• [TYPES/announce] postdoctoral researcher position in Innsbruck   Aart Middeldorp
• [TYPES/announce] Postodoc program in Paris (Foundation SMP)   Pierre-Louis Curien
• [TYPES/announce] Profesor position in math and computer science   René David
• [TYPES/announce] Program for LCC'07 (early registration deadline May 31)   James S. Royer
• [TYPES/announce] Programming Languages for Mechanized Mathematics Workshop   Jacques Carette
• [TYPES/announce] Public Release of Delphin: HOAS made simple!   Adam Poswolsky
• [TYPES/announce] RDP'07 call for participation   Antonio Bucciarelli
• [TYPES/announce] RDP'07 call for participation   Antonio Bucciarelli
• [TYPES/announce] RDP'07 Student Travel Grants   Antonio Bucciarelli
• [TYPES/announce] reminder: call for presentations at PLID 2007   David Clark
• [TYPES/announce] Reminder: CFP of SymCon'07   benhamou
• [TYPES/announce] Research Job: Compositional Analysis for Mobility & Concurrency @ Heriot-Watt U., Scotland, UK   Joe Wells
• [TYPES/announce] Research position in the area of types and verification at LMU Munich   Lennart Beringer
• [TYPES/announce] Reynolds Festschrift   Peter O'Hearn
• [TYPES/announce] Reynolds Festschrift   Peter O'Hearn
• [TYPES/announce] SAS 2007 Call for Posters *Deadline extension*   Terkel K. Tolstrup
• [TYPES/announce] SAS 2007: Call for Participation   Terkel K. Tolstrup
• [TYPES/announce] SAS 2007: Call for Posters   Terkel K. Tolstrup
• [TYPES/announce] SAS 2008 Preliminary Call for Papers   German Vidal
• [TYPES/announce] SAS 2008 Second Call for Papers   German Vidal
• [TYPES/announce] SecCo'07: call for papers   Daniele Gorla
• [TYPES/announce] SecCo'07: deadline extended!   Daniele Gorla
• [TYPES/announce] SecCo'07: final call for papers   Daniele Gorla
• [TYPES/announce] SecCo'07: preliminary call for papers   Daniele Gorla
• [TYPES/announce] Second Call for papers - Workshop on Termination (WST 2007) - Paris   A Serebrenik
• [TYPES/announce] slides on a mathematical theory of substitution   Marcelo Fiore
• [TYPES/announce] Small Workshop: DEPENDENTLY TYPED PROGRAMMING   Thorsten Altenkirch
• [TYPES/announce] SPACE 2008: Call for Papers   Radu Rugina
• [TYPES/announce] Special Issue of Formal Aspects of Computing: Formal Modeling and Verification of Critical Systems   Stephan Merz
• [TYPES/announce] SPIN 2008: First Call for Papers   Rupak Majumdar
• [TYPES/announce] Submissions welcome for CC 2008 (Compiler Construction)   Prof. Laurie HENDREN
• [TYPES/announce] summer school annoncement   Pierre-Louis Curien
• [TYPES/announce] Summer School LERNET 2008 - Call for Participation   Alberto Pardo - INCO
• [TYPES/announce] Summer School LERNET 2008 - Preliminary Announcement   Alberto Pardo - INCO
• [TYPES/announce] Summer School on Concurrency TiC'08   Jan Vitek
• [TYPES/announce] Summer School on Language-Based Techniques for Integrating with the External World   Dan Grossman
• [TYPES/announce] Summer School on Language-Based Techniques for Integrating with the External World   Dan Grossman
• [TYPES/announce] TAMC 2008 - extension of deadline for paper submission   S B Cooper
• [TYPES/announce] TAMC 2008 - Final call for papers   S B Cooper
• [TYPES/announce] TCS 2008: 1st Call for Papers   Luke Ong
• [TYPES/announce] TFP 2007 Submission Deadline is Tomorrow   Marco T Morazan
• [TYPES/announce] TFP 2007: Draft Proceedings Articles   Marco T Morazan
• [TYPES/announce] TFP 2007: Draft Proceedings Available On-line   Marco T Morazan
• [TYPES/announce] TFP 2007: Last Call for Participation   Marco T Morazan
• [TYPES/announce] TFP 2007: Registration and Program   Marco T Morazan
• [TYPES/announce] TGC'07 - Call for Participation   Gilles.Barthe at sophia.inria.fr
• [TYPES/announce] The 2007 ACM SIGPLAN Workshop on ML   Derek Dreyer
• [TYPES/announce] The AITO Dahl-Nygaard Prize Winners for 2007   Vasco Vasconcelos
• [TYPES/announce] The Bulletin of the EATCS goes Open Access   Vladimiro Sassone
• [TYPES/announce] The Royal Society Discussion Meeting "From computers to ubiquitous computing, by 2020"   Vladimiro Sassone
• [TYPES/announce] TOOLS Europe 2007: Paper deadline extension   Philippe.LAHIRE at unice.fr
• [TYPES/announce] TPR'07 Call for participation   Frederic Blanqui
• [TYPES/announce] TPR'07 first call for papers   Frederic Blanqui
• [TYPES/announce] TYPES 2007 Announce   Marino Miculan
• [TYPES/announce] TYPES 2007 remind   Marino Miculan
• [TYPES/announce] TYPES 2008 TORINO - CALL FOR TALKS AND REGISTRATION   Stefano Berardi
• [TYPES/announce] TYPES small workshop on Effects and Type Theory   Tarmo Uustalu
• [TYPES/announce] Types Summer School 07: Deadline for grants approaching   Claudio Sacerdoti Coen
• [TYPES/announce] USMC'07: Final call for talks and registration   Jon Cohen
• [TYPES/announce] WoLLIC 2008 - Call for Papers   ruy at cin.ufpe.br
• [TYPES/announce] WoLLIC'2007 - Call for Participation   ruy at cin.ufpe.br
• [TYPES/announce] WoLLIC'2007 - CfP   ruy at cin.ufpe.br
• [TYPES/announce] Workshop announcement (Domains VIII)   Thomas Streicher
• [TYPES/announce] Workshop Novosibirsk   Thomas Streicher
• [TYPES/announce] Workshop on ICC   Pierre Boudes
• [TYPES/announce] Workshop on Mechanising Metatheory (WMM07): submission deadline approaches   Michael Norrish
• [TYPES/announce] Workshop on Mechanizing Metatheory   Michael Norrish
• [TYPES/announce] Workshop on Principles of Provenance   James Cheney
• [TYPES/announce] WRLA'08 - Final CFP   Hills, Mark A
• [TYPES/announce] WRS 2008 - 1st Call for Papers   aart.middeldorp at uibk.ac.at

Last message date: Sat Dec 29 04:06:20 EDT 2007
Archived on: Mon Apr 14 16:08:10 EDT 2008

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