| | - FSTTCS 2009 Foundations of Software
IARCS, the Indian Association for Research in Computing Science, announces the 29th Foundations of Software Technology and Theoretical Computer Science conference in IIT Kanpur, India. The FSTTCS conference is a forum for presenting original results ... http://www.fsttcs.org/
|
| |
- Oopsla Annual ACM Sigplan
OOPSLA, the original conference devoted to objectoriented programming, has grown in scope to encompass programming, practices and paradigms addressing current software challenges, such as programmer productivity, security & reliability, ultralarge sc ... http://www.oopsla.org/
|
| |
|
- Conferences and CfP
Conferences and call for papers in knowledge management, informatics, information systems, Information Retrieval, and other related topics ... http://www.viktoria.se/~dixi/conf.htm
| | |
| |
- Fool Foundations
The FOOL workshops were initiated in 1993 with the assistance of grants from the NSF and ESPRIT to bring together researchers from around the world to discuss the theoretical foundations of objectoriented languages. Attendance at the first two worksh ... http://www.cis.upenn.edu/~bcpierce/FOOL/
|
| |
- CP International Conference
Conference on Principles and Practice of Constraint Programming. Links to the individual sites of the annual meetings. ... http://www.cs.ualberta.ca/~ai/cp/
| | - Recent Object Oriented
Perhaps inspired by the Bonobo teasers, this year’s conference continued the tradition of diverse themes and mindexpanding conversations. Alistair Cockburn put the event on the right track with his inspiring keynote on the roots of software developme ... http://roots.dnd.no/
|
| |
- CAV The International Conference
The CAV conference is dedicated to the theory and practice of computer aided formal analysis methods for hardware and software systems. It has traditionally drawn contributions from researchers as well as practitioners in both academia and industry. ... http://www.cav-conference.org/
| | - Annual ACM Symposium
The Annual ACM Symposium on Theory of Computing STOC, sponsored by SIGACT the ACM Special Interest Group on Algorithms and Computation Theory, is traditionally held annually in AprilMay. Papers presenting original research on theoretical aspects of c ... http://sigact.acm.org/stoc/
|
| |
- UbiComp
Ubicomp is the premier outlet for novel research contributions that advance the state of the art in the design, development, deployment, evaluation and understanding of ubiquitous computing systems. Ubicomp is an interdisciplinary field of research a ... http://ubicomp.org/
| | - LICS IEEE Symposium
Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. Links to past and future meetings, mailing list, newsletters. ... http://www2.informatik.hu-berlin.de/lics/
|
| |