The Updated Scholar

On Google Scholar Updates, theoretical computer science, and logic.

Sunday, 10 March 2013

Hiatus

This blog will be on hiatus for a month or so while I travel to Italy for the ETAPS conferences.
Posted by Ranald Clouston
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest

No comments:

Post a Comment

Newer Post Older Post Home
Subscribe to: Post Comments (Atom)

About Me

My photo
Ranald Clouston
Click here to see an explanation of what I'm doing with blog
View my complete profile

Blog Archive

  • ►  2024 (2)
    • ►  January (2)
  • ►  2023 (10)
    • ►  April (1)
    • ►  March (2)
    • ►  February (4)
    • ►  January (3)
  • ►  2022 (18)
    • ►  December (2)
    • ►  November (5)
    • ►  October (4)
    • ►  September (4)
    • ►  August (3)
  • ►  2014 (8)
    • ►  December (3)
    • ►  November (4)
    • ►  October (1)
  • ▼  2013 (26)
    • ►  October (1)
    • ►  August (1)
    • ►  July (4)
    • ►  June (3)
    • ►  May (4)
    • ►  April (2)
    • ▼  March (2)
      • Hiatus
      • Full Abstraction for Nominal Scott Domains
    • ►  February (4)
    • ►  January (5)

Labels

  • 2013 (18)
  • LNCS (9)
  • University of Cambridge (9)
  • 2012 (5)
  • Andrew M. Pitts (5)
  • 2002 (4)
  • LIPIcs (4)
  • Abstract syntax (3)
  • Mikołaj Bojańczyk (3)
  • Nominal sets (3)
  • University of Warsaw (3)
  • arXiv (3)
  • Alexander Kurz (2)
  • Alpha-conversion (2)
  • Murdoch J. Gabbay (2)
  • Sam Staton (2)
  • The experiment (2)
  • Theoretical Computer Science (2)
  • University of Leicester (2)
  • unification (2)
Simple theme. Powered by Blogger.