Автор
О себе
- Компьютеры и интернет Помощь авторам рассылок Subscribe.Ru
- Культура, стиль жизни Off-line интервью Бориса Стругацкого Знаете слово?
- Дом и семья Раскраски
- Общество "Труды и дни" учителя русского языка и литературы Немецкие стихотворения с переводом Дар слова. Еженедельный лексикон Михаила Эпштейна. Система компьютерной алгебры GAP
Система компьютерной алгебры GAP: International Conference on Mathematics Mechanization
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
CALL FOR PARTICIPATION AND POSTERS ICMM 2009 International Conference on Mathematics Mechanization -In honor of Prof.Wen-Tsun Wu's ninetieth birthday Beijing, China. May 11-13, 2009 http://www.mmrc.iss.ac.cn/wu90 IMPORTANT DATES Email Registration: by April 25, 2009. Poster Submission: by April 25, 2009. Conference Dates: May 11-13, 2009. The conference is organized by Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, Chinese Academy of Sciences. ...
Система компьютерной алгебры GAP: High Performance Computing and Communications (HPCC-09)
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
The 11th IEEE International Conference on High Performance Computing and Communications (HPCC-09) http://www.sersc.org/HPCC2009 Korea University, Seoul, Korea, June 25-27, 2009 Sponsored by the IEEE Technical Committee on Scalable Computing * INTRODUCTION = HPCC-09 is the next event in a series of highly successful International Conferences on High Performance Computing and Communications (HPCC, previously held as HPCC-08 (Dalian, China, September 2008, HPCC-07 (Houston, USA, September 2007, HPCC-06 (Munic...
Система компьютерной алгебры GAP: Special-purpose Hardware for Attacking Cryptographic Systems
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
SHARCS'09 - Special-purpose Hardware for Attacking Cryptographic Systems September 9-10, 2009 Lausanne, Switzerland www.sharcs.org Note that the workshop takes place directly after CHES, also at EPFL. It will be possible to attend both workshops in succession. SHARCS'09 is the fourth workshop dedicated to the challenging subject of special-purpose cryptanalytical devices. This field is still a very young one (at least outside government agencies. In addition to key search machines a la Deep Crack and COPAC...
Off-line интервью Бориса Стругацкого от 11/04/2009
Текущие ответы Бориса Натановича Стругацкого в off-line интервью на сайте "Русская фантастика".
Off-line интервью Бориса СТРУГАЦКОГО Стругацкая Любовь Моисеевна - бабушка моей жены. Любовь Моисеевна прожила чудесную жизнь. Она родилась 18 марта, год 1912 (точно не помню. Была верна делу ВКПб (а не КПСС. Вспоминала о Натане. Мы так и не поняли тогда, кто ей Натан (брат двоюродный. А про свою жизнь она мало рассказывала. Есть у нее сын Валентин (мой тесть. Родственники Вы с бабушкой или нет - загадка. Может проясните? С уважением Сергей Коротаев (1959 г.р) Сергей ksv-59@yandex.ru > Асбест, Россия - 04/...
Система компьютерной алгебры GAP: Conferences on Intelligent Computer Mathematics
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
Conferences on Intelligent Computer Mathematics CICM 2009 Grand Bend, Ontario (CANADA, 6-12 July 2009 http://www.orcca.on.ca/conferences/cicm09/ Objectives As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction and mathematical publishing individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conferences on Intelligent Compute...
Система компьютерной алгебры GAP: International Workshop on Combinatorial Algorithms
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
IWOCA 2009 20th International Workshop on Combinatorial Algorithms Czech Republic June 29-July 2 2009 http://graphs.vsb.cz/iwoca2009/ http://www.iwoca.org/iwoca09 After 19 year history of AWOCA-IWOCA organized in Australia and Asia, year 2009 brings IWOCA to Europe. The topics include Algorithms and Data Structures, Applications (in Bioinformatics, Music Analysis, Networking, and others, Combinatorial Enumeration and Optimization, Complexity Theory, Computational Biology, Databases, Decompositions and Comb...
Система компьютерной алгебры GAP: a workshop on commutativity of diagrams
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
CAM-CAD Workshop on Computer Algebra Methods and Commutativity of Algebraic Diagrams IRIT, Toulouse (France) October 2009 FIRST CALL FOR PARTICIPATION AND PAPERS Categorical diagrams have multiple applications in mathematics (algebra, topology) and computer science (models and metamodels, rewriting systems, higher order languages. Diagrams (understood less strictly) can be found in physics, chemistry and other scientific domains. One meets many similar problems in computer-assisted treatment of diagrams in...
Система компьютерной алгебры GAP: 10th Libre Software Meeting
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
Call for presentation for the LSM 2009 topic "Libre resources and software for scientific research" The 10th Libre Software Meeting (a free software annual event held in France since 2000) will take place in Nantes from 7th to 11th July 2009. You will find at this location: http://2009.rmll.info/Call-for-Communication-paper.html the call for presentation of the topic "Libre resources and software for scientific research" that will highlight resources (data, thesaurus, etc) under free [1] licenses made and ...
Система компьютерной алгебры GAP: Second CfP: 8th Tbilisi Symposium on Language, Logic and
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
Call for Papers THE EIGHTH INTERNATIONAL TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND COMPUTATION 21 - 25 September 2009 Bakuriani, Georgia Submission deadline: 1 May 2009 Website: http://www.illc.uva.nl/Tbilisi2009/ The Eighth International Tbilisi Symposium on Language, Logic and Computation will be held on 21 - 25 September 2009 in Bakuriani, Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University and the Georgian Academy of Sciences, in conjunction with ...
Система компьютерной алгебры GAP: CALCULEMUS 2009
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
- CALCULEMUS 2009 - Final Call for Papers - 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning 6-7 July 2009, Joint with CICM'09, Ontario, Canada. http://www.calculemus.net/meetings/ontario09/ http://www.orcca.on.ca/conferences/cicm09/calculemus09/ 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 ...
- Компьютеры и интернет Помощь авторам рассылок Subscribe.Ru
- Культура, стиль жизни Off-line интервью Бориса Стругацкого Знаете слово?
- Дом и семья Раскраски
- Общество "Труды и дни" учителя русского языка и литературы Немецкие стихотворения с переводом Дар слова. Еженедельный лексикон Михаила Эпштейна. Система компьютерной алгебры GAP