---

Add URL

My Sites

My Account

Contact Us

Search only in Conferences   Search the Web

 Home » Computer Science » Conferences

Web Pages    21 - 30   {35}

Go to Conferences Home

21 - SafeComp   The International Conference on Computer Safety, Reliability and Security. Past and future meetings, proceedings and related links. http://www.safecomp.org   [more pages from this URL]     22 - FSTTCS   Foundations of Software Technology and Theoretical Computer Science. Links to past and future meetings. http://www.fsttcs.org/   [more pages from this URL]     23 - IEEE Computer Society   Sponsors or cosponsors over 90 technical meetings each year. Proceedings, conference homepages, calendar, and calls for papers. http://www.computer.org/conferen/conf.htm   [more pages from this URL]     24 - CAV - The International Conference on Computer Aided Verification   A series of conferences on computer aided verification dedicated to the formal analysis of hardware and software. http://www.cav-conference.org   [more pages from this URL]     25 - Recent Object Oriented Trends   The ROOTS symposium is a forum for presentation, debate and study of the latest object oriented theories and practices. The target audience is European IT professionals and managers. http://roots.dnd.no/   [more pages from this URL]     26 - FOOL   Foundations of Object-Oriented Languages. Links to the annual workshops. http://www.cis.upenn.edu/~bcpierce/FOOL/   [more pages from this URL]     27 - LOPSTR   International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991. http://www.cs.man.ac.uk/~kung-kiu/lopstr/   [more pages from this URL]     28 - SAIG   Workshop on Semantics, Applications, and Implementation of Program Generation. Links to regular workshops and other events. http://cs-www.cs.yale.edu/homes/taha/saig/   [more pages from this URL]     29 - EUFIT   From 1994 - 1999 the ELITE Foundation (European Laboratory for Intelligent Techniques Engineering) annually organized EUFIT - The European Congress on Intelligent Techniques and Soft Computing. Tables of contents of proceedings and order forms. http://www.eufit.org/   [more pages from this URL]     30 - STACS Websites   Links to the series Symposium on Theoretical Aspects of Computer Science. http://stacs.uni-trier.de/   [more pages from this URL]

«« Previous  1  2  3  4  Next »»

E-Mail Add URL