Conferences

DSV-IS 2003 DSV-IS 2003- International forum for reporting research, development and industrial experience on aspects related to the design, specification and verification of interactive syst… NIME'03 NIME'03- 2nd international conference on new interfaces for musical expression. 22-24 May 2003. Montreal, Quebec, Canada. Nielsen Norman Group Nielsen Norman Group- Events organized by the Nielsen Norman Group. Topics include user experience design for websites, intranets, software, and products, usability lifecycle, int… UIST2004 UIST2004- Annual ACM Symposium on User Interface Software and Technology. ICMI 2003 ICMI 2003- 5th international conference on multimodal interfaces. Vancouver B.C.. 5-7 Nov 2003. Canada. CASA'2003 CASA'2003- 16th annual conference on computer animation and social agents. 7-9 May 2003. Rutgers University, New-Brunswick, New Jersey, USA. CHI 2004 CHI 2004- "Connect" - conference on human factors in computing systems. 24-29 Apr 2004. Vienna, Austria. EDCIS EDCIS- Engineering and deployment of cooperative information systems. 17-20 Sep 2002. Beijing, China. CSCW 2006 CSCW 2006- ACM 2006 Conference on Computer Supported Cooperative Work. Alberta, Canada. 4 - 8 November 2006. Conference on Computers, Freedom, and Privacy (CFP96) Conference on Computers, Freedom, and Privacy (CFP96)- Proceedings of the sixth conference hosted by the Massachusetts Institute of Technology (MIT) and the World Wide Web Consort… E-CAP 2004. Computing and Philosophy Conference European Region E-CAP 2004. Computing and Philosophy Conference European Region- Hosted by the Computational Philosophy Laboratory and the Department of Philosophy, University of Pavia, Italy, 3 … Digital Book World Conference Digital Book World Conference- Contains the sessions of the conference, schedule, speakers, the conference council and contact information. Recursively Enumerable Languages Recursively Enumerable Languages- This chapter shows that the family of regular languages is a proper subset of context free languages and the latter is a proper subset of recursi… Recursively Enumerable Languages Recursively Enumerable Languages- This site discusses denumerable sets and recursive and recursively enumerable languages Recursively Enumerable Language Recursively Enumerable Language- Wikipedia offers 3 equivalent definitions of recursively enumerable languages and states closure properties for certain operations. Phrase Structure Grammars and Context Sensitive Grammars Phrase Structure Grammars and Context Sensitive Grammars- A site which shows that the languages generated by phrase structure grammars are recursively enumerable languages. Simila… John Mitchell John Mitchell- Professor in Computer Science Department at Stanford University Simon Perdrix Simon Perdrix- Postdoc at the Laboratory for Foundation of Computer Science (LFCS). Research in models of quantum computation, high level methods for quantum computing and state t… Karl-Heinz Pennemann Karl-Heinz Pennemann- Researcher in theoretical computer science, specifically in the area verification of graph-based specifications. Website provides academic papers and persona… Adam D. Smith Adam D. Smith- Assistant Professor at PSU. Provides details of teaching and research. Saugata Basu Saugata Basu- Professor in Department of Mathematics at Purdue University. Murdoch James Gabbay Murdoch James Gabbay- Researcher in theoretical computer science. Home site with academic resources (academic papers and talks), opinions, and personal information. Bernard Jacquemin's NLP page Bernard Jacquemin's NLP page- Research interests in natural language processing, lexical semantics using both symbolic and statistical analysis methods for parsing and word sense … Tom Leighton Tom Leighton- Professor of Applied Mathematics at MIT and member of the Theory of Computation group at CSAIL. David R. Karger David R. Karger- Faculty at EECS Dept, MIT and member of CSAIL. Albert R. Meyer Albert R. Meyer- Hitachi America Professor of Engineering, EECS Dept, MIT and member of Theory of Computation Group at CSAIL. Madhu Sudan Madhu Sudan- Faculty at EECS Department, MIT and member of Theory of Computing group in CSAIL. Alex Lopez-Ortiz Alex Lopez-Ortiz- Professor, School of Computer Science, Faculty of Mathematics, University of Waterloo. Daniel A. Spielman Daniel A. Spielman- Professor of Applied Mathematics and Computer Science at Yale. Giorgi Japaridze Giorgi Japaridze- Associate Professor in Department of Computing Sciences, Villanova University, Pennsylvania.