Отправляет email-рассылки с помощью сервиса Sendsay

Система компьютерной алгебры GAP - Eurocrypt 2009

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...

2008-08-20 18:22:47 + Комментировать

Система компьютерной алгебры GAP - LaSh08 DEADLINE EXTENSION

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...

2008-08-20 18:19:55 + Комментировать

Система компьютерной алгебры GAP - UML&FM'2008

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...

2008-08-20 01:40:39 + Комментировать