2006 Archives by subject

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

Starting: Wed Jan 4 15:40:40 EDT 2006
Ending: Sun Dec 31 12:46:27 EDT 2006
Messages: 359

• [TYPES/announce] 1st cfp: STS'06: Software Transformation Systems Workshop at GPCE06/OOPSLA06 (Portland, Oregon, October 2006)   Software Transformation Systems Workshop 2006
• [TYPES/announce] 2 PhD/Research assistant positions at LMU Munich   Lennart Beringer
• [TYPES/announce] 2006 ICFP Programming Contest registration opens   Tom Murphy
• [TYPES/announce] 2006 Workshop on Mechanizing Metatheory   Stephanie Weirich
• [TYPES/announce] 2nd Call for Participation: DisCoTec 06, Bologna, Italy (Programme online/early registration deadline approaching)   Martin Steffen
• [TYPES/announce] 2nd Call: ToCL special issue on Implicit Computational Complexity   Patrick Baillot
• [TYPES/announce] 2nd CfP GT-VC 2006 (Graph Transformation for Verification and Concurrency); deadline 22 May 2006   Arend Rensink
• [TYPES/announce] 2nd CFP: APLAS 2006 (Fourth Asian Symposium on Programming Languages and Systems)   koba at kb.ecei.tohoku.ac.jp
• [TYPES/announce] 2nd CFP: ISR 2006, July 3-7, Nancy, France   Laurent Vigneron
• [TYPES/announce] 2nd CFP: Programming Languages and Analysis for Security (PLAS) 2006   Steve Zdancewic
• [TYPES/announce] 2nd CFP: Workshop on Generic Programming 2006   Ralf Hinze
• [TYPES/announce] 2nd TAROT Summer School on testing of software and communicating systems   Gregorio Díaz Descalzo
• [TYPES/announce] 3 PhD positions in Formal Methods at University of Oslo   Einar Broch Johnsen
• [TYPES/announce] 3rd Int Workshop on the Rewriting Calculus --- London, 23-24 October   Maribel Fernandez
• [TYPES/announce] 4 Ph.D. scholarships available at DIKU   Fritz Henglein
• [TYPES/announce] 4th workshop on Quantum Programming Languages   Peter Selinger
• [TYPES/announce] 6th International PhD School in Formal Languages andApplications   carlos.martin at urv.cat
• [TYPES/announce] 9 research assistant positions available   Till Mossakowski
• [TYPES/announce] [ANN] Call for participation: TLDI'07   Francois Pottier
• [TYPES/announce] [CFP] 2006 ACM SIGPLAN Workshop on ML   Francois Pottier
• [TYPES/announce] [CFP] 2006 ACM SIGPLAN Workshop on ML   Francois Pottier
• [TYPES/announce] [CFP] SSS 2006 Deadline is only 10 days away!!!   Maria Gradinariu
• [TYPES/announce] [CFP] Symposium on Stabilization, Safety, and Security of, Distributed Systems (SSS 2006)   Maria Gradinariu
• [TYPES/announce] [ICLP'06] - Last Call for Papers - Deadline for Abstracts: February 14   A Serebrenik
• [TYPES/announce] [ICLP'06] Deadlines EXTENDED   A Serebrenik
• [TYPES/announce] [isabelle] Junior researcher position at TU Berlin   Florian Kammueller
• [TYPES/announce] [types06] TYPES 2006 workshop   Thorsten Altenkirch
• [TYPES/announce] [types06] TYPES 2006 workshop (CORRECTED)   Thorsten Altenkirch
• [TYPES/announce] A Funded Ph.D Position in Durham   Shengchao Qin
• [TYPES/announce] A new year, a new mailing list for announcements   Stephanie Weirich
• [TYPES/announce] A postdoc and a PhD position at INRIA   Dale Miller
• [TYPES/announce] Ackermann Award - Call for nominations   Simone Martini
• [TYPES/announce] Ackermann Award: Logic in Computer Science   Simone Martini
• [TYPES/announce] ACM PPDP'06 Call for Papers   Agostino Cortesi
• [TYPES/announce] ACM SAC track on Software Verification, Seoul, Korea   Lunjin Lu
• [TYPES/announce] ACM SAC track on Software Verification -- deadline extension   Lunjin Lu
• [TYPES/announce] Algebraic Theory of Automata and Logic Workshop CALL FOR PAPERS   Computer Science Logic '06 Conference
• [TYPES/announce] ANN: PiDuce Language   Luca Padovani
• [TYPES/announce] Announcement and CFP : Workshop Proofs & Numbers, June in Orsay, France   Stephanie Weirich
• [TYPES/announce] AOSD 2007   Stephanie Weirich
• [TYPES/announce] aosd 2007   Oege.de.Moor at comlab.ox.ac.uk
• [TYPES/announce] aosd 2007   Oege.de.Moor at comlab.ox.ac.uk
• [TYPES/announce] AOSD 2007: final call   Oege.de.Moor at comlab.ox.ac.uk
• [TYPES/announce] APAL SPECIAL ISSUE: "CLASSICAL LOGIC AND COMPUTATION"   Steffen van Bakel
• [TYPES/announce] APLAS 2006 2nd Call for Particiaption   koba at kb.ecei.tohoku.ac.jp
• [TYPES/announce] APLAS 2006 Call for Particiaption   koba at kb.ecei.tohoku.ac.jp
• [TYPES/announce] ARES 2007 - Call for papers and workshops papers - Submission Deadline approaches in 2 weeks: 19-11-2006   Nguyen Manh Tho
• [TYPES/announce] ARES 2007 - Submission Deadline Extension: 30-11-2006 (firm deadline)   Nguyen Manh Tho
• [TYPES/announce] ARES 2007 Last Call for papers - Submission due is today - (30-11-2006)   Nguyen Manh Tho
• [TYPES/announce] ARES 2007: Call for papers and workshops's papers - Deadline 19-11-2006   Nguyen Manh Tho
• [TYPES/announce] ARES 2007: Paper Submission System is ready - Submission Deadline 19-11-2006   Nguyen Manh Tho
• [TYPES/announce] ASIAN06 on Secure Software : New Submission Deadlines (Annual ASIAN Tokyo Meeting, Dec 6-8, 2006)   Mitsu OKADA
• [TYPES/announce] Assistant Professor in Computer Mathematics in Nijmegen NL   Freek Wiedijk
• [TYPES/announce] AVOCS 2006: call for participation and short papers   Stephan Merz
• [TYPES/announce] Bedwyr 1.0   David Baelde
• [TYPES/announce] CADE 2007 call for papers   Amy Felty
• [TYPES/announce] CADE-21 (2007) in Bremen: Call for Workshops   Christoph Benzmueller
• [TYPES/announce] CALL FOR PAPERS - ATVA 2006 (Deadline Extended)   Susanne Graf
• [TYPES/announce] Call for papers - CISIS 2007: First International Conference on Complex, Intelligent and Software Intensive Systems   Nguyen Manh Tho
• [TYPES/announce] Call for Papers - GPCE'06   Emir Pasalic
• [TYPES/announce] CALL FOR PAPERS - Workshop "Security and Privacy in Future Business Services" at ETRICS'06   types-list at m-strasser.de
• [TYPES/announce] Call for papers CL&C   Steffen van Bakel
• [TYPES/announce] Call for papers, SAVCBS'06   Gary T. Leavens
• [TYPES/announce] Call for papers: 4th ACM Workshop on Formal Methods in Security Engineering (FMSE'06)   Andy Gordon (MSR)
• [TYPES/announce] Call For Papers: DCM 2006 at ICALP   Ian Mackie
• [TYPES/announce] Call for papers: FM-Ed'06 - Formal Methods in the Teaching Lab   J.N. Oliveira
• [TYPES/announce] Call For Papers: FoSSaCS 2007   Kumar Neeraj Verma
• [TYPES/announce] Call for Papers: MARTES'06 - Modeling and Analysis of Real-Time and Embedded Systems   Susanne Graf
• [TYPES/announce] Call for papers: OOPS at SAC 2007   Davide Ancona
• [TYPES/announce] Call for papers: OOPS at SAC 2007 (changed submission instructions)   Davide Ancona
• [TYPES/announce] Call for papers: PEPM 2007   Stephanie Weirich
• [TYPES/announce] Call For Papers: TACAS 2007   Grumberg + Huth
• [TYPES/announce] CALL FOR PAPERS: TOCL - ICC (Implicit Computational Complexity)   Jean-Yves Marion
• [TYPES/announce] Call for papers: Transact'06   Suresh Jagannathan
• [TYPES/announce] Call for papers: TYPES 06   Thorsten Altenkirch
• [TYPES/announce] Call for Papers: WESE 2006 - Embedded Systems Education   Susanne Graf
• [TYPES/announce] Call for Participation   Alexander Kurz
• [TYPES/announce] Call For Participation - ETRICS 2006   types-list at m-strasser.de
• [TYPES/announce] Call for Participation --- ICLP'06   A Serebrenik
• [TYPES/announce] Call for Participation --- ICLP'06   A Serebrenik
• [TYPES/announce] Call for Participation: PLAS 2006   Steve Zdancewic
• [TYPES/announce] Call for Participation: 4th ACM Workshop on Formal Methods in Security Engineering (FMSE'06)   David Sands
• [TYPES/announce] Call for Participation: ATVA 2006 - Beijing - Octobre 2006   Susanne Graf
• [TYPES/announce] Call for Participation: DisCoTec 06 (Coordination06 + DAIS'06 + FMOODS'06)   Martin Steffen
• [TYPES/announce] Call for Participation: SAS 2006   Kwangkeun Yi
• [TYPES/announce] Call for Participation: Scheme & Functional Programming Workshop 2006   Robby Findler
• [TYPES/announce] Call for Participation: TGC 2006 - 2nd symposium on Trustworthy Global Computing   Roberto Bruni
• [TYPES/announce] Call for Posters - ICLP 2006 - Deadline: March, 14   A Serebrenik
• [TYPES/announce] Call for Posters, APLAS 2006 (in Sydney, in November)   Eijiro Sumii
• [TYPES/announce] Call for Posters, APLAS 2006 (in Sydney, in November)   Eijiro Sumii
• [TYPES/announce] Cats, Kets and Cloisters, Oxford University, July 17-23 (2006)   Bob Coecke
• [TYPES/announce] Cats, Kets and Cloisters: Program and Registration.   Bob Coecke
• [TYPES/announce] CERTSOFT'06: CFP   Jeffery Zucker
• [TYPES/announce] CERTSOFT'06: Revised CFP   Jeffery Zucker
• [TYPES/announce] CFP MSCS special issue Isomorphisms of Types and Invertibility of Lambda-Terms   Ralph Matthes
• [TYPES/announce] CfP OpenCert 2007 (ETAPS Workshop)   Bernhard K. Aichernig
• [TYPES/announce] CFP SecReT 2006 at ICALP (Venice, 15 July)   Maribel Fernandez
• [TYPES/announce] CFP Workshop on Combining Theory and Systems Building in Pervasive Computing   Thomas Hildebrandt
• [TYPES/announce] CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)   Santiago Escobar
• [TYPES/announce] CFP: 3rd International Verification Workshop, VERIFY'06   Heiko Mantel
• [TYPES/announce] CfP: 6th Workshop on Domain-Specific Modeling at OOPSLA   Juha-Pekka Tolvanen
• [TYPES/announce] CFP: APLAS 2006 (Fourth Asian Symposium on Programming Languages and Systems)   koba at kb.ecei.tohoku.ac.jp
• [TYPES/announce] CFP: AVoCS 2006   Stephan Merz
• [TYPES/announce] CFP: Computing: the Australasian Theory Symposium   Barry Jay
• [TYPES/announce] CFP: DAIS 2007   Ricky Robinson
• [TYPES/announce] CFP: Foundations of Aspect-Oriented Languages FOAL 2007   Gary T. Leavens
• [TYPES/announce] CFP: Internatinational Workshop on Software Verification and Validation   Zijiang (James) Yang
• [TYPES/announce] CFP: International Conference on Tests And Proofs (TAP)   Benjamin Pierce
• [TYPES/announce] CFP: International Workshop on Software Verification and Validation   James Yang
• [TYPES/announce] CFP: Mathematically Structured Functional Programming   Conor McBride
• [TYPES/announce] CFP: MVLP06, Intl. Workshop on Multi-Valued Logic Programming and Applications   Ajay Mallya
• [TYPES/announce] CFP: Programming Languages and Analysis for Security (PLAS 2006)   Steve Zdancewic
• [TYPES/announce] CfP: Special issue I&C on SOS   Rob van Glabbeek
• [TYPES/announce] CFP: SVV2006   Zijiang (James) Yang
• [TYPES/announce] CFP: TCS special issue on Quantitative Aspects of Programming Languages and Systems   Herbert Wiklicky
• [TYPES/announce] CFP: TERMGRAPH 2007   Ian Mackie
• [TYPES/announce] CFP: Workshop on Generic Programming 2006   Ralf Hinze
• [TYPES/announce] CfP:4th International Workshop on Formal Aspects in Security & Trust (FAST2006)   Fabio Martinelli
• [TYPES/announce] CFP:Fourth Workshop on Learning with Logics and Logics for Learning   akama at math.tohoku.ac.jp
• [TYPES/announce] CGO-5: Call for Papers   David Walker
• [TYPES/announce] CiE 2007 - First Call for Papers   S B Cooper
• [TYPES/announce] CiE 2007 - Preliminary Announcement   S B Cooper
• [TYPES/announce] CiE 2007 - Second Call for Papers   S B Cooper
• [TYPES/announce] CiE'07 - Final Call for Papers   S B Cooper
• [TYPES/announce] CLA'05 call for paper   René David
• [TYPES/announce] Classical Logic and Computation: second call for papers   Steffen van Bakel
• [TYPES/announce] CMCS 06 Final CFP: deadline 8 January   ajp at inf.ed.ac.uk
• [TYPES/announce] CMCS 06 Short Contributions final CFP   ajp at inf.ed.ac.uk
• [TYPES/announce] Computability in Europe 2006 - Call for Participation   Ulrich Berger
• [TYPES/announce] Computer Security Foundations Workshop (CSFW'07) call for papers   Andrei Sabelfeld
• [TYPES/announce] CONCUR 2007 Call for Workshop Proposals   Antonio Ravara
• [TYPES/announce] Concurrency Summer School (Registration Deadline Extended)   Dan Grossman
• [TYPES/announce] Coordination'07 - Call for Papers   Herbert Wiklicky
• [TYPES/announce] CPSec 2006 CFP extended deadline   Fred Spiessens
• [TYPES/announce] CSL'06 FINAL CALL FOR PAPERS   Computer Science Logic '06 Conference
• [TYPES/announce] DAIS 2006 - CALL FOR PARTICIPATION   DAIS'06
• [TYPES/announce] DAIS'06 - EXTENDED DEADLINE   DAIS'06
• [TYPES/announce] DAMP 2007: Call for Papers   Neal Glew
• [TYPES/announce] Datatype-generic programming 2006, registration now open   Fermin Reig
• [TYPES/announce] Deadline Extension CL&C'06   Steffen van Bakel
• [TYPES/announce] Deadline Extension: Mathematically Structured Functional Programming   Conor McBride
• [TYPES/announce] Doctoral and Post-Doctoral Positions at Purdue   Suresh Jagannathan
• [TYPES/announce] ECOOP 2006 Reminder: Early registration until may 23th.   Olivier Roux
• [TYPES/announce] ECOOP 2006: Preliminary Program   Olivier Roux
• [TYPES/announce] ECOOP 2007 - CFC - 1 month   Erik Ernst
• [TYPES/announce] ECOOP 2007 - CFC, with last CFP - ONE WEEK   Erik Ernst
• [TYPES/announce] ECOOP 2007 - CFP - 2 months   Erik Ernst
• [TYPES/announce] ESORICS 2006 Call For Papers   Andrei Sabelfeld
• [TYPES/announce] ESSLLI 2007 Student Session call for papers   Dmitry Sustretov
• [TYPES/announce] EWSA 2006: Call for papers   Susanne Graf
• [TYPES/announce] Express '06: first call for papers   Iain Phillips
• [TYPES/announce] Express'06 - Call for Participation   Iain Phillips
• [TYPES/announce] extended deadline: CFP for ToCL special issue on ICC   Patrick Baillot
• [TYPES/announce] EXTENDED DEADLINE: ESSLLI STUDENT SESSION   Janneke Huitink
• [TYPES/announce] Extended Deadline: FTfJP '06 - Formal Techniques for Java-like Programs   Davide Ancona
• [TYPES/announce] FAST2006: Deadline extended - 4th International Workshop on Formal Aspects in Security & Trust   Fabio Martinelli
• [TYPES/announce] Final Call for Papers of LCC'06   Jim Royer
• [TYPES/announce] Final Call for papers: TYPES 06   Thorsten Altenkirch
• [TYPES/announce] Final Call for Talks: TYPES 2006 workshop   Thorsten Altenkirch
• [TYPES/announce] Final CfP: ESSLLI 2006 STUDENT SESSION   J. Huitink
• [TYPES/announce] final CFP: MARTES with MODELS 2006 - Modeling and Analysis of Real-Time and Embedded Systems   Susanne Graf
• [TYPES/announce] Final CFP: Programming Languages and Analysis for Security (PLAS) 2006   Steve Zdancewic
• [TYPES/announce] FLoC 06 -- Call For Participation   Kreutzer + Schweikardt
• [TYPES/announce] FLoC'06 -- Call for Participation   Kreutzer + Schweikardt
• [TYPES/announce] FM'06: 2nd CFP   Jeffery Zucker
• [TYPES/announce] FMCO 2006: call for tutorial papers   Susanne Graf
• [TYPES/announce] FMOODS 06: 1st Call for Papers   Martin Steffen
• [TYPES/announce] FMOODS 06: deadline extended: 22. Jan.!   Martin Steffen
• [TYPES/announce] FMOODS 07: Second Call for Papers   Martin Steffen
• [TYPES/announce] FOCLASA 2006 CFP   Mirko Viroli
• [TYPES/announce] FOOL/WOOD '07 Call for papers   John Reppy
• [TYPES/announce] FORMAL METHODS 2006: Call for Participation   Jeffery Zucker
• [TYPES/announce] FORMAL METHODS 2006: Early Reg. Deadline   Jeffery Zucker
• [TYPES/announce] FSTTCS 26: Call for papers   S. Arun-Kumar
• [TYPES/announce] FTfJP '06 Call for Contributions   Davide Ancona
• [TYPES/announce] Full Professor FormalMethods and Tools Twente   Hartel, P.H. (Pieter)
• [TYPES/announce] Fun in the Afternoon: Thurs 16th Nov in Oxford   Jeremy.Gibbons at comlab.ox.ac.uk
• [TYPES/announce] Fundamenta Informaticae: special issue on the Logic for Pragmatics   Tristan Crolard
• [TYPES/announce] Fundamenta Informaticae: special issue on the Logic for Pragmatics (DEADLINE EXTENDED)   Tristan Crolard
• [TYPES/announce] FéRIA-IRIT PhD position on certified real-time code generator   Marc Pantel
• [TYPES/announce] GLOBAN 2006 Summer School   terkel at imm.dtu.dk
• [TYPES/announce] GLOBAN 2006 Summer School **Updated information**   Terkel K. Tolstrup
• [TYPES/announce] GPCE 2006 Deadline Extension   Emir Pasalic
• [TYPES/announce] GPCE'06 Call for Tutorials/Workshops   Emir Pasalic
• [TYPES/announce] GPCE'06 Tutorials: Call for Participation   Emir Pasalic
• [TYPES/announce] GT-VC 2006 @ CONCUR: Deadline extension, 2 June   Arend Rensink
• [TYPES/announce] GTTSE 2007 --- First call for participation (02-07 July 2007)   Joost Visser
• [TYPES/announce] Haskell Workshop 2006 Call for papers   Andres Loeh
• [TYPES/announce] Haskell Workshop 2006 Call for participation   Andres Loeh
• [TYPES/announce] Haskell Workshop 2006 Second call for papers   Andres Loeh
• [TYPES/announce] homotopy lambda calculus   Vladimir Voevodsky
• [TYPES/announce] HOR 2006: call for abstracts   Femke van Raamsdonk
• [TYPES/announce] HOR 2006: Call for abstracts   Stephanie Weirich
• [TYPES/announce] HOR 2006: call for participation   Femke van Raamsdonk
• [TYPES/announce] HOR 2006: extended deadline   Femke van Raamsdonk
• [TYPES/announce] HOR 2006: last call for abstracts   Femke van Raamsdonk
• [TYPES/announce] HOSC paper on call-by-push-value   Paul B Levy
• [TYPES/announce] ICALP / PPDP / LOPSTR 2006 - 2nd call for participation   ICALP 2006
• [TYPES/announce] ICALP 2006 - call for participation   ICALP 2006
• [TYPES/announce] ICALP 2006 -- Call For Papers   Michele Bugliesi
• [TYPES/announce] ICFP 2006 --- Call for Participation   John Reppy
• [TYPES/announce] ICFP 2006 Call for papers   John Reppy
• [TYPES/announce] IEEE Computer Security Foundations 2007 - call for papers   Andrei Sabelfeld
• [TYPES/announce] IFIP WG 2.2 Anniversary Meeting - Call for Participation   Marino Miculan
• [TYPES/announce] IFIP WG2.2 anniversary meeting: Last Call for Participation   Marino Miculan
• [TYPES/announce] INRIA postdoc position   Frederic Blanqui
• [TYPES/announce] INRIA postdoc position: certification of termination proofs   Frederic Blanqui
• [TYPES/announce] Int. Conference on Emerging Trends in Information and Communication Security 2006 - Submission deadline: January 22, 2006   types-list at m-strasser.de
• [TYPES/announce] Integrated Formal Methods 2007: First call for technical papers   Jeremy Gibbons
• [TYPES/announce] Internation PhD Summer School announcement   Simona Ronchi Della Rocca
• [TYPES/announce] International PhD School on Verification of Protocols for Security and Mobility   Jens Chr. Godskesen
• [TYPES/announce] jumbo lambda-calculus   Paul B Levy
• [TYPES/announce] Last Call for Contributions: Nordic Workshop on Programming Theory 2006 (Reykjavik, Iceland, 18-20 October, 2006)   Luca Aceto
• [TYPES/announce] Last call for papers: Rule-based programming 2006   Ralf Lammel
• [TYPES/announce] Last CFP (4 days left): 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)   Santiago Escobar
• [TYPES/announce] Last CFP: International School on Rewriting   Laurent Vigneron
• [TYPES/announce] LAST CFP: LFMTP 2006 (a.k.a. LFM + MERLIN)   Alberto Momigliano
• [TYPES/announce] LATA 2007: 2nd call for papers   carlos.martin at urv.cat
• [TYPES/announce] LATA 2007: paper submission deadline extended   carlos.martin at urv.cat
• [TYPES/announce] LCC'06 submissions deadline extended to June 15   James S. Royer
• [TYPES/announce] Library-Centric Software Design 2006, Call for Papers   Jeremy Graham Siek
• [TYPES/announce] Logic Colloquium 2006: Call for contributed talks / Call for participation   Freek Wiedijk
• [TYPES/announce] Logic Colloquium 2006: Call for Participation, Early Registration until June 15   Herman Geuvers
• [TYPES/announce] Logical Reasoning for Higher-Order Functions with Local State   Nobuko Yoshida
• [TYPES/announce] LSFA'06 - 2nd Call for papers   Christiano Braga
• [TYPES/announce] LSFA'06 - Brazilian Workshop on Logical and Semantic Frameworks, with Applications   Christiano Braga
• [TYPES/announce] LSFA'06 deadline extension   Christiano Braga
• [TYPES/announce] LSFA'06 Final Call for Papers   Christiano Braga
• [TYPES/announce] MAP summer school. Call for participation.   Peter Schuster
• [TYPES/announce] MARTES with MODELS 2006 - Modeling and Analysis of Real-Time and Embedded Systems   Susanne Graf
• [TYPES/announce] MFCS 2006 accepted papers   Pawel Urzyczyn
• [TYPES/announce] MFCS 2006 Call fpr Prticipation   Pawel Urzyczyn
• [TYPES/announce] MFPS 23 Preliminary Announcement   Michael Mislove
• [TYPES/announce] MFPS XXIII --- Call for Papers   Marcelo Fiore
• [TYPES/announce] MGS 2006   Alexander Kurz
• [TYPES/announce] MGS 2006   Alexander Kurz
• [TYPES/announce] MLKit 4.3.0 Release   Martin Elsman
• [TYPES/announce] MPC 2006 2nd Call for Papers   Tarmo Uustalu
• [TYPES/announce] MPC/AMAST 2006 2nd Call for Participation   Tarmo Uustalu
• [TYPES/announce] MPC/AMAST 2006 Call for Participation   Tarmo Uustalu
• [TYPES/announce] NEW BOOK: An Introduction to XML and Web Technologies   Anders Møller
• [TYPES/announce] New book: Lectures on the Curry-Howard Isomorphism   Pawel Urzyczyn
• [TYPES/announce] new journal on digital typography   apostolo at obelix.ee.duth.gr
• [TYPES/announce] New PhD Studentships: Logics, Types, & Rewriting for Software & Mathematics @ Heriot-Watt, Scotland, UK   Fairouz Kamareddine
• [TYPES/announce] Nordic Workshop on Programming Theory 2006---preliminary announcement and call for contributions   Luca Aceto
• [TYPES/announce] October 9-13, 2006, PhD School on Verification of Protocols for Security and Mobility   Jens Chr. Godskesen
• [TYPES/announce] OOPSLA 2006 Call for Contributions   William Cook
• [TYPES/announce] OOPSLA 2006 Call for Participation (Portland, Oct 22-26)   William Cook
• [TYPES/announce] Open position for a postdoctoral researcher at the TU Munich   Christian Urban
• [TYPES/announce] Paper announcement   Haruo HOSOYA
• [TYPES/announce] Paper Announcement: Adventures in Time and Space   James S. Royer
• [TYPES/announce] Paper on Higher-Order Subtyping   Andreas Abel
• [TYPES/announce] Paper on Higher-Order Subtyping   Martin Berger
• [TYPES/announce] Paper on Structured Global Programming   Marco Carbone
• [TYPES/announce] Paper on Typed Parametric Polymorphism for Aspects   James Riely
• [TYPES/announce] Paper: Nominal logic programming   James Cheney
• [TYPES/announce] Paper: Revealing the X/O impedance mismatch   Ralf Lammel
• [TYPES/announce] Parallel and Distributed Methods in Verification (PDMC06 1st cfp)   Jaco van de Pol
• [TYPES/announce] PCC 2005 Submission Deadline Extended to June 9   Amy Felty
• [TYPES/announce] PCC 2006 Call for Participation   Amy Felty
• [TYPES/announce] PCC 2006 Call for Posters   Amy Felty
• [TYPES/announce] PDMC'06 cfp. Early registration: July 18   Jaco van de Pol
• [TYPES/announce] Ph.D. scholarships at ITU of Copenhagen, Denmark   Carsten Schuermann
• [TYPES/announce] ph.d. studentship   Sergei SOLOVIEV
• [TYPES/announce] PhD / Research Assistant Positions at TUD/Darmstadt   Klaus Ostermann
• [TYPES/announce] PhD assistantships available at UVM   Christian Skalka
• [TYPES/announce] PhD grant at INRIA Sophia Antipolis   Gerard Boudol
• [TYPES/announce] PhD position at INRIA Sophia Antipolis: Specification and Verification of multi-threaded applications   Marieke Huisman
• [TYPES/announce] PhD Position in Computer Science at UVM   Christian Skalka
• [TYPES/announce] PhD position in Formal Methods at the University of Oslo   Gerardo Schneider
• [TYPES/announce] PhD positions at Chalmers, application deadline March 31   David Sands
• [TYPES/announce] PhD positions at CISS, Aalborg, Denmark   Kim G. Larsen
• [TYPES/announce] PhD Positions at Torino University   Mariangiola Dezani
• [TYPES/announce] PhD studentship   Zhaohui Luo
• [TYPES/announce] PhD Studentship available   Alexander Kurz
• [TYPES/announce] PhD studentships in Venice   Agostino Cortesi
• [TYPES/announce] PhD Studentships: Logics, Types, & Rewriting for Software & Mathematics @ Heriot-Watt, Scotland, UK   Joe Wells
• [TYPES/announce] PLAN-X 2007: Call for Papers and Demos   Torsten Grust
• [TYPES/announce] PLAN-X 2007: Call for Papers and Demos (Deadline Extended)   Torsten Grust
• [TYPES/announce] PLAN-X 2007: Call for Participation   Torsten Grust
• [TYPES/announce] PLAN-X 2007: Call for Participation [and Program Updates]   Torsten Grust
• [TYPES/announce] PLAN-X 2007: Second Call for Papers and Demos -- Submission is Open   Torsten Grust
• [TYPES/announce] PLAS 2007: call for papers   Michael Hicks
• [TYPES/announce] POPL 07 Call for Papers   Sorin Lerner
• [TYPES/announce] POPL 2007 Call for Participation   Sorin Lerner
• [TYPES/announce] Posdoctoral Research Position at University of Vermont   Christian Skalka
• [TYPES/announce] Position at the University of Duisburg-Essen (Germany)   Barbara Koenig
• [TYPES/announce] Position In Bell Labs Security Technology Reearch Department   Alan Jeffrey
• [TYPES/announce] Position in Logic in Utrecht   Vincent van Oostrom
• [TYPES/announce] Position in Marseille   Laurent Regnier
• [TYPES/announce] Position preannouncement at ENS Lyon   Daniel.Hirschkoff at ens-lyon.fr
• [TYPES/announce] Position preannouncement in Paris 7 (in ** mathematics **)   Curien Pierre-Louis
• [TYPES/announce] Position preannouncement in Paris 7 (REMINDER, qualification deadline 16/10/06)   Pierre-Louis Curien
• [TYPES/announce] Post Doc position Radboud University Nijmegen   Herman Geuvers
• [TYPES/announce] post-doc position   René David
• [TYPES/announce] post-doctoral position in formal security at INRIA   Gilles Barthe
• [TYPES/announce] Post-doctoral position on verification for domain-specific languages   Stephan Merz
• [TYPES/announce] Postdoc position at INRIA Rhône-Alpes   Alan Schmitt
• [TYPES/announce] postdoc position at Middlesex, UK   Richard Bornat
• [TYPES/announce] Postdoc position at univ. Paris-Nord   Patrick Baillot
• [TYPES/announce] Postdoc Position in Declarative Executable Modeling   Pierre Kelsen
• [TYPES/announce] postdoctoral positions 2006-4   carlos.martin at urv.cat
• [TYPES/announce] Postdoctoral Research Position at University of Vermont   Christian Skalka
• [TYPES/announce] PPDP 2006 - call for participation   Agostino Cortesi
• [TYPES/announce] PPDP'06 -- Call for Papers   Michael Maher
• [TYPES/announce] Preliminary Program FMCO 2006: call for participation   Susanne Graf
• [TYPES/announce] Preliminary program for LCC'06   James S. Royer
• [TYPES/announce] Programming Languages meets Program Verification: CFP   Aaron Stump
• [TYPES/announce] QPL 2006 Call for Participation, Student Support   Peter Selinger
• [TYPES/announce] Reminder: 4 Ph.D. scholarships available at DIKU   Fritz Henglein
• [TYPES/announce] Reminder: ICFP'06 registration deadline   John Reppy
• [TYPES/announce] Research fellowship -- job announcement   Vladimiro Sassone
• [TYPES/announce] research position at Imperial, process models for systems biology   Philippa Gardner
• [TYPES/announce] research position at Imperial, Smallfoot checker   Cristiano Calcagno
• [TYPES/announce] research position at Imperial; types for program verification   Sophia Drossopoulou
• [TYPES/announce] RULE 2006 at FLoC --- paper deadline 14 May   Ralf Lammel
• [TYPES/announce] SAS 2006 Call for Participation   Kwangkeun Yi
• [TYPES/announce] SAS 2007 Preliminary Call for Papers   terkel at imm.dtu.dk
• [TYPES/announce] SAS'06 2nd Call For Papers   Kwangkeun Yi
• [TYPES/announce] Scheme Workshop 2006   Robby Findler
• [TYPES/announce] Second Call for Papers: TFP 2007, New York, USA   Marco T Morazan
• [TYPES/announce] Second CFP TABLEAUX 2007   benhamou
• [TYPES/announce] Second CFP: DAIS 2007   Ricky Robinson
• [TYPES/announce] Software Engineer position at Verimag   Susanne Graf
• [TYPES/announce] SOS 2006 - Final Call for Papers   Rob van Glabbeek
• [TYPES/announce] SOS 2006 - Programme and Call for Participation   Rob van Glabbeek
• [TYPES/announce] Spring School in Theoretical Computer Science   Stephanie Weirich
• [TYPES/announce] Spring School on "Datatype-generic programming", Call for Participation   Fermin Reig
• [TYPES/announce] SSS 2006 ---- Deadline extended to July 12   Maria Gradinariu
• [TYPES/announce] Strategies 2006 -- 2nd Call for Papers   Cesar A. Munoz
• [TYPES/announce] Summer School on Emerging Trends in Concurrency, Bertinoro, Italy   Jan Vitek
• [TYPES/announce] Summer School on Language-Based Techniques for Concurrent and Distributed Computing   Jeff Foster
• [TYPES/announce] Symposium for Gordon Plotkin: Call for Participation   Alex Simpson
• [TYPES/announce] TACAS 2007: Call for papers (submission deadline: October 13)   Susanne Graf
• [TYPES/announce] The 11th Annual Asian (on Secure Software), Final Call for Papers   Mitsu OKADA
• [TYPES/announce] The 2006 ACM SIGPLAN Workshop on ML: Call for Participation   Francois Pottier
• [TYPES/announce] The AVISPA Tool - v1.1   Laurent.Vigneron at loria.fr
• [TYPES/announce] Third CFP: Trends in Functional Programming (TFP 2006)   Morten Rhiger
• [TYPES/announce] Three Research Positions - Foundations of Distributed Computation   Peter Sewell
• [TYPES/announce] Three-years Ph.D. Research Fellowship position available - SAP Labs France   COMPAGNA, Luca
• [TYPES/announce] TLCA'07 - Preliminary Call for Papers   Hasegawa Masahito
• [TYPES/announce] TLCA'07 - Second Call for Papers   Hasegawa Masahito
• [TYPES/announce] TLDI'07: Last Call for Participation   Francois Pottier
• [TYPES/announce] Trends in Functional Programming 2007 -- First Call for Papers   Patricia Johann
• [TYPES/announce] Two PhD Research Assistantships Available   Anindya Banerjee
• [TYPES/announce] Two post-doc/PhD positions in Lisbon   Vasco T. Vasconcelos
• [TYPES/announce] Type-safe marshalling for OCaml   Peter Sewell
• [TYPES/announce] Types in Language Design and Implementation 2007 - Call for Papers   George Necula
• [TYPES/announce] UITP'06: Second Call for Papers   Christoph Benzmueller
• [TYPES/announce] University of Oxford: Lectureships in Software Engineering   Jeremy.Gibbons at comlab.ox.ac.uk
• [TYPES/announce] USMC'07 - Call for talks and participation   Jon Cohen
• [TYPES/announce] UTP'07 at IFM: Unifying Theories of Programming   Jeremy.Gibbons at comlab.ox.ac.uk
• [TYPES/announce] visiting research positions 2006-1   D.FILROM - CARLOS MARTIN VIDE
• [TYPES/announce] WoLLIC'2007 - 2nd CFP   ruy at cin.ufpe.br
• [TYPES/announce] WoLLIC'2007 - Call for Papers   Ruy de Queiroz
• [TYPES/announce] Workshop on Formal Methods and Security   Gustavo Betarte - INCO
• [TYPES/announce] Workshop on Mechanizing Metatheory   Stephanie Weirich
• [TYPES/announce] Workshop on Mechanizing Metatheory Program   Stephanie Weirich
• [TYPES/announce] WRLA 2006: accepted papers and call for system/tool demos   WRLA Acct (Denker)

Last message date: Sun Dec 31 12:46:27 EDT 2006
Archived on: Mon Apr 14 16:08:07 EDT 2008

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