TACL Seminar

From CSWiki
Revision as of 14:43, 15 August 2006 by Ddantas (talk | contribs) (Previous Schedules)

Jump to: navigation, search

Potential Topics

  • Compilers
  • Program optimization
  • Program analysis
  • Compiler-hardware interfaces
  • Run-time systems
  • Virtual machines
  • Type systems
  • Domain-specific programming languages
  • Program logics, or logics in general,
  • Software engineering and language design,
  • Programming language semantics
  • Language-based security.

Time/Location

TBA

Mailing List

Seminars are also announced on the TACL mailing list. If you are giving a talk, send your abstract to the list a day or so in advance.

Schedule for Fall '06

TBA


Previous Schedules