Difference between revisions of "TACL Seminar"

From CSWiki
Jump to: navigation, search
m
m
Line 1: Line 1:
 
==Potential Topics==
 
==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 [https://lists.cs.princeton.edu/mailman/listinfo/tacl-seminar TACL mailing list]. If you are giving a talk, send your abstract to the list a day or so in advance.

Revision as of 14:27, 15 August 2006

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.