Old Fellows Database

Add URL Add URL  Custom Programming  My Sites My Sites  Custom Programming  My Account My Account  Custom Programming  Contact Us Contact Us


Yurtseven.org       

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