spid***@l*****.by
О себе
Система компьютерной алгебры GAP - 15th RCRA international workshop
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) http://www.dis.uniroma1.it/~rcra organises the 15th RCRA international workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion http://www.dis.uniroma1.it/~rcra08 rcra08@dis.uniroma1.it * _ * This workshop follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meeting, held since 1994. The success of the...
Система компьютерной алгебры GAP - Special Issue of Mathematics in Computer Science
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
Call for Papers for a Special Issue of Mathematics in Computer Science on Algorithms and Complexity at the Interface of Mathematics and Computer Science Guest Editors: Gert Vegter and Chee Yap Theoretical algorithms and their complexity are central in foundational research at the interface between mathematics and computer science. This will be the focus of this special issue of Mathematics in Computer Science (MCS. There are many current challenges at the interface of continuous and discrete computation. F...
Система компьютерной алгебры GAP - выход Minion 0.7.0
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
Добрый день! Вышла версия 0.7.0 системы ограничительного программирования (constraint programming) Minion . Minion разрабатывается специалистами университетов Сент-Эндрюса и Оксфорда, и свободно распространяется в соответствии с GNU General Public License (GPL. Сайт системы - http://minion.sourceforge.net/ С уважением, Коновалов А.Б. ...
Система компьютерной алгебры GAP - выход Sage 3.0.6
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
Добрый день! 30 июля 2008 г. вышла версия 3.0.6 системы компьютерной алгебры SAGE http://sagemath.org/download.html SAGE включает в себя интерфейсы к свободно распространяемым системам Axiom, GAP, GP/PARI, Macaulay2, Maxima, Octave и Singular, а также к коммерческим системам Magma, Maple, Mathematica, MATLAB и MuPAD. С уважением, Коновалов А.Б. ...
Система компьютерной алгебры GAP - FW: MSRI news
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
OUTLOOK @MSRI: JUNE 9, 2008 (MONDAY) Please let your colleagues know about these events and this newsletter, which appears every two months. [To subscribe or unsubscribe, see the information at the end] = CURRENT WORKSHOP = HOT TOPICS: Contact Structures, Dynamics and the Seiberg-Witten Equations in Dimension 3 June 9, 2008 to June 13, 2008 Organized By: Helmut Hofer, Michael Hutchings, Peter Kronheimer, Tom Mrowka and Cliff Taubes http://www.msri.org/calendar/workshops/WorkshopInfo/461/show_workshop = NEX...
Система компьютерной алгебры GAP - Geometric Constraints and Reasoning
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
SECOND CALL FOR PAPERS Geometric Constraints and Reasoning a technical track of The International ACM Symposium on Applied Computing SAC2009 March 8-12, 2009 Waikiki Beach, Honolulu, Hawaii, USA Geometric Constraints and Reasoning (GCR) is a technical track of the International Symposium on Applied Computing (see http://www.acm.org/conferences/sac/sac2009. For the past twenty years the ACM Symposium on Applied Computing (SAC) has been a primary forum for applied computer scientists, computer engineers and ...
Система компьютерной алгебры GAP - Eurocrypt 2009
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
Dear all, the printable CfP for Eurocrypt 2009 is now available at http://www1.hgi.rub.de/english/conferences/eurocrypt2009/cfp.html In the next 20h, it will also be available at the Eurocrypt web site http://www.iacr.org/conferences/eurocrypt2009/cfp.html In addition, you can order a A1/A2 poster [1] for Eurocrypt 2009 at https://registration.crypto.ruhr-uni-bochum.de/ec09-poster/ The poster should be available at the end of the year. Hope to see you in Cologne! Christopher [1] A1 portrait format: 594x841...
Система компьютерной алгебры GAP - LaSh08 DEADLINE EXTENSION
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
LaSh08 - WORKSHOP ON LOGIC AND SEARCH Computation of structures from declarative descriptions Leuven, Belgium, November 6-7, 2008 http://www.cs.kuleuven.be/~dtai/LaSh08 DEADLINE EXTENSION: August 25, 2008. . IMPORTANT DATES: Submission: August 25, 2008 Notification: September 15, 2008 Workshop: November 6-7, 2008 SCOPE: LaSh is the first workshop that aims to bring together researchers from the areas of Propositional Satisfiability (SAT, Constraint Programming (CP, and Answer Set Programming (ASP. While so...
Система компьютерной алгебры GAP - UML&FM'2008
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
CALL FOR PAPERS : UML&FM'2008 FIRST INTERNATIONAL WORKSHOP ON UML&FORMAL METHODS http://www.artist-embedded.org/artist/UML-FM-08.html Workshop held in conjunction with ICFEM 2008 The 10th International Conference on Formal Engineering Methods http://www.icfem2008.org/ October 27, 2008 Kitakyushu-City, Japan Submission deadline: July 08, 2008 Many interest groups from a research perspective are in favour of the creation of this workshop. For more than a decade now, the two communities of UML and for...
Система компьютерной алгебры GAP - MMICS 2008
Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.
CALL FOR PAPERS Mathematical Methods in Computer Science 2008 (MMICS 2008) December 17-19, 2008 Karlsruhe, Germany http://iks.ira.uka.de/mmics/ The "Mathematical Methods in Computer Science" conference will be held in memory of Thomas Beth. Its scope is defined by the research areas of Thomas Beth. Topics of interest include, but are not restricted to: - Coding Theory - Cryptography - Design Theory - Quantum Information - Signal Processing - Symbolic Computation. SUBMISSIONS = Authors are invited...