Difference between revisions of "Template:Main/Events"
Jump to navigation
Jump to search
TomLokhorst (talk | contribs) |
(Add TSAC Event) |
||
| Line 33: | Line 33: | ||
| Savannah/USA |
| Savannah/USA |
||
| Jan 24, 2009 |
| Jan 24, 2009 |
||
| + | |- |
||
| + | |- |
||
| + | | [http://www.starling-software.com/en/tsac.html Tokyo Society for the Application of Currying] |
||
| + | | Tokyo/Japan |
||
| + | | Jan 29, 2009 |
||
|- |
|- |
||
|}</center> |
|}</center> |
||
Revision as of 16:02, 12 January 2009
Events
| Verification, Model Checking and Abstract Interpretation | Savannah/USA | Jan 18-20, 2009 |
| Twelf Tutorial | Savannah/USA | Jan 19, 2009 |
| Declarative Aspects of Multicore Programming | Savannah/USA | Jan 20, 2009 |
| Practical Applications of Declarative Languages | Savannah/USA | Jan 19-20, 2009 |
| Programming Languages meets Program Verification | Savannah/USA | Jan 20, 2009 |
| POPL | Savannah/USA | Jan 21-23, 2009 |
| Types in Language Design and Implementation | Savannah/USA | Jan 24, 2009 |
| Tokyo Society for the Application of Currying | Tokyo/Japan | Jan 29, 2009 |