THEORY

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
~~NOTOC~~
[[http://www.msu.ru|{{calg:msu-logo.gif}}]]

======Main======
  * [[main|News]]
  * [[http://www.ccas.ru/sabramov/seminar/doku.php|Abramov's CA seminar]]
  * [[overview|Overview]]
  * [[organizers|Organizers]]
  * [[http://compalg.jinr.ru/Dubna2010/index.html|Dubna 2010]]
  * [[http://compalg.jinr.ru/Dubna2008/index.html|Dubna 2008]]
  * [[http://compalg.jinr.ru/Dubna2007/index.html|Dubna 2007]]
  * [[http://compalg.jinr.ru/confs/Dubna2006/index.htm|Dubna 2006]]
  * [[dubna05|Dubna-2005]]

  * [[contacts|Contacts]]
  * [[aindex|Author index]]
  * [[mlist|Mailing list]]

----

  * [[calg:archive|Archive (from 2004)]]
  * [[http://theory.sinp.msu.ru/~kryukov/old_site/c_alg|Old site]](unsuppoted)

======CA Links======
  * [[world_links|in the World]]
  * [[russian_links|in Russia]]
  * [[soft_links|Software]]
  * [[http://www.dcs.qmul.ac.uk/research/logic/theory/projects/netca/|NETCA]]

======Journals======
  * [[http://www.elsevier.com/wps/find/journaldescription.cws_home/622902/description?navopenmenu=-2|JSL]]
  * [[http://www.maik.ru/cgi-bin/list.pl?page=prog|Programming and Computer SW]]
  * [[http://www.informatik.uni-trier.de/~ley/db/index.html|Computer Science Bibliography]]


======Conferences======
  * [[http://www.issac-conference.org/2010/|ISSAC 2010]]
  * [[http://conference.sci.pfu.edu.ru/conf/2008|XLIV конференция РУДН (2008)]]
  * [[http://www.risc.uni-linz.ac.at/about/conferences/aca2008/|ACA 2008]]
  * [[http://personales.unican.es/iglesias/CASA2006/home.htm|CACA 2006]]
  * [[http://www.ricam.oeaw.ac.at/srs/groeb/index.htm|Grobner bases and related methods, 2006]]
  * [[http://www.cc4cm.org/sce2006/|Symbolic Computation in Education, 2006]]
  * [[http://www.math.bas.bg/artint/mspirid/ACA2006/|ACA2006]]
  * [[http://www.cc4cm.org/aisc2006/|AISC2006]]

See also [[http://www.computer.org/portal/pages/ieeecs/conferences/calendar.html|->]]