[TYPES/announce] Special Session on Type Theory in Computer Science

2008-12-29 Thread John Edward
Conference on Theory and Applications of Computational Science (TACS-09)   The website http://www.PromoteResearch.org contains more details.   Sincerely John Edward Publicity committee    

[TYPES/announce] Extended draft paper submission: TMFCS-09 call for papers

2009-04-20 Thread John Edward
Theory and Practice (SETP-09) · International Conference on Theory and Applications of Computational Science (TACS-09)   The website http://www.PromoteResearch.org contains more details.   Sincerely John Edward Publicity committee