Difference between revisions of "TACL Seminar"
From CSWiki
m (→Previous Schedules) |
m (→Previous Schedules) |
||
| Line 14: | Line 14: | ||
==Previous Schedules== | ==Previous Schedules== | ||
| + | * [[TACL Seminar Spring 06 | Spring '06]] | ||
* [[TACL Seminar Fall 05 | Fall '05]] | * [[TACL Seminar Fall 05 | Fall '05]] | ||
| + | * [[TACL Seminar Spring 05 | Spring '05]] | ||
Revision as of 14:30, 15 August 2006
Contents
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
