TACL Seminar

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

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 & language design, programming language semantics or 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

Retrieved from "http://wiki.cs.princeton.edu/index.php?title=TACL_Seminar&oldid=4191"