Difference between revisions of "Template:Main/Events"
Jump to navigation
Jump to search
DonStewart (talk | contribs) |
m |
||
| Line 18: | Line 18: | ||
| Jan 20, 2009 |
| Jan 20, 2009 |
||
|- |
|- |
||
| − | | [http://cs.utdallas.edu/padl09 Practical Applications of Declarative Languages] |
+ | | [http://cs.utdallas.edu/padl09/ Practical Applications of Declarative Languages] |
| Savannah/USA |
| Savannah/USA |
||
| Jan 19-20, 2009 |
| Jan 19-20, 2009 |
||
Revision as of 16:24, 17 November 2008
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 |