← Май 2010 → | ||||||
1
|
2
|
|||||
---|---|---|---|---|---|---|
3
|
4
|
5
|
6
|
7
|
8
|
|
11
|
12
|
13
|
14
|
15
|
16
|
|
18
|
19
|
20
|
||||
24
|
25
|
26
|
27
|
28
|
29
|
30
|
За последние 60 дней ни разу не выходила
Сайт рассылки:
http://www.gap-system.org/ukrgap/
Открыта:
05-02-2002
Статистика
0 за неделю
Система компьютерной алгебры GAP: 3rd Workshop on Compact Computer Algebra
Third Workshop on Compact Computer Algebra @ CICM 2010 July 6, 2010. Paris, France Even though compact design is no longer a vital necessity for main-stream computer algebra systems, it is a central question in emerging settings. Compact systems are important for hand-held devices, embedded computer algebra modules (e.g. for smart document processors) and web-based computing to name a few areas. Additionally, compact data representations can be essential when dealing with very large problems. The aim of th...
Система компьютерной алгебры GAP: 13th Mons Days of Theoretical Computer Science
Third Call for Papers JM 2010 13th Mons Days of Theoretical Computer Science http://mis.u-picardie.fr/JM2010 Amiens, France September 6-10, 2010 Deadline for submissions: May 30, 2010 Dear Colleague, Let us inform you that the 13th "Journees Montoises d'Informatique Theorique" (Mons Theoretical Computer Science Days) will be held at Amiens (France) from September 6th to September 10th 2010. http://mis.u-picardie.fr/JM2010/index-en.html The main topics of this conference on discrete mathematics and theoreti...
Система компьютерной алгебры GAP: CALCULEMUS 2010 - Deadline Extension for Emerging Trends
CALCULEMUS 2010 - Deadline Extension for Emerging Trends 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning CNAM, Paris, France, July 6-7, 2010 http://cicm2010.cnam.fr/calculemus/ * > DEADLINE EXTENSION Submission deadline: May 19, 2010 * Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning, the interactive theorem provers or proof assistants (PA) and the automated theorem provers (ATP. Curr...
Система компьютерной алгебры GAP: 37th International Colloquium on Automata, Languages and Programming
_ CALL FOR PARTICIPATION _ ICALP 2010 37th International Colloquium on Automata, Languages and Programming July 5-10, 2010 Bordeaux, France http://icalp10.inria.fr/ Deadline for early registration: June 4th, 2010 Registration url: http://icalp2010.dakini.fr Supported by the European Association for Theoretical Computer Science (EATCS) and organized by the INRIA research center in Bordeaux (url) with the participation of LaBRI (url. _ The 37th International Colloquium on Automata, Languages and Programming,...