Fourth quarter 2014 Archives by thread

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

Starting: Wed Oct 1 15:21:05 EDT 2014
Ending: Wed Dec 24 08:34:14 EST 2014
Messages: 42

• [PRL] Join the IFL duck tour!   Asumu Takikawa
• [PRL] Visit   Matthias Felleisen
• [PRL] hosting talks   Matthias Felleisen
• [PRL] Microphone for proposals, defenses, etc.   Mitchell Wand
  • [PRL] Microphone for proposals, defenses, etc.   Jonathan Schuster
    • [PRL] Microphone for proposals, defenses, etc.   Mitchell Wand
• [PRL] Ranjit Jhala's Visit   Vincent St-Amour
  • [PRL] Ranjit Jhala's Visit   Vincent St-Amour
• [PRL] [1410.2813] Space-Efficient Manifest Contracts   Mitchell Wand
• [PRL] Torture chamber 10/15 at noon WVH 366 Abstracting Abstract Control at DLS 2014   J. Ian Johnson
  • [PRL] Torture chamber 10/15 at noon WVH 366 Abstracting Abstract Control at DLS 2014   J. Ian Johnson
• [PRL] practice talk: this Monday, October 20th at 2pm   Paul Stansifer
• [PRL] Need small bit of Coq help.   Mitchell Wand
• [PRL] Is POPL really one research community?   Mitchell Wand
• [PRL] HTDP @ Macquarie Uni.   Paul A. Steckler
• [PRL] Fwd: [TYPES/announce] Postdoctoral Research Associate Position in Analysis, Probabilistic Reasoning, and Synthesis at the University of Colorado Boulder   David Van Horn
• [PRL] Jan Hoffmann's Visit   Vincent St-Amour
  • [PRL] Jan Hoffmann's Visit   Max New
  • [PRL] Jan Hoffmann's Visit   Vincent St-Amour
• [PRL] knocked out   Matthias Felleisen
  • [PRL] knocked out   Paul A. Steckler
    • [PRL] knocked out   Mitchell Wand
      • [PRL] knocked out   Karl Lieberherr
  • [PRL] knocked out   Vitek, Jan
  • [PRL] knocked out   Matthias Felleisen
• [PRL] Fwd: [MIT-PL] Fwd: Fwd: Nov 24, 11:00 -12:30 - Guest Speaker: Anindya Banerjee, NSF   Phillip Mates
• [PRL] Poll: Daniel Jackson's Visit   Vincent St-Amour
• [PRL] Fwd: PARC 2015 Internships - Now Accepting Applications   Mitchell Wand
• [PRL] Meeting with Maxime Chevalier-Boisvert, 12/09   William J. Bowman
• [PRL] Meeting with Daniel Jackson, 12/16   William J. Bowman
  • [PRL] Meeting with Daniel Jackson, 12/16   William J. Bowman
• [PRL] Fwd: tenure-track position at Rochester   Matthias Felleisen
• [PRL] Maxime's meeting schedule   William J. Bowman
  • [PRL] Maxime's meeting schedule   Matthias Felleisen
    • [PRL] Maxime's meeting schedule   William J. Bowman
  • [PRL] Maxime's meeting schedule   William J. Bowman
    • [PRL] Maxime's meeting schedule   William J. Bowman
• [PRL] Several items from today's Faculty Meeting relevant to PhD students   Mitchell Wand
• [PRL] Fwd: Opportunities for CS graduates at GrammaTech   Matthias Felleisen
• [PRL] Meetings with Daniel Jackson, 12/16   William J. Bowman
• [PRL] conference acceptance   Matthias Felleisen
• [PRL] Formal Reasoning in PL and Crypto - The PL Enthusiast   Mitchell Wand

Last message date: Wed Dec 24 08:34:14 EST 2014
Archived on: Wed Dec 24 08:34:18 EST 2014

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