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

Система компьютерной алгебры GAP: Workshop on Programming Languages for Mechanized

The ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems PLMMS 2009 Munich, Germany; August 21, 2009 http://plmms09.cse.tamu.edu/ CALL FOR PAPERS The ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems will be co-located with TPHOLs 2009. General Information The scope of this workshop is at the intersection of programming languages (PL) and mechanized mathematics systems (MMS. The latter category subsumes present-d...

2009-04-05 18:46:55 + Комментировать

Система компьютерной алгебры GAP: 7th International Algebraic Conference in Ukraine

7th INTERNATIONAL ALGEBRAIC CONFERENCE IN UKRAINE Second Announcement 1. General Information The 7th International Algebraic Conference in Ukraine dedicated to the 120th anniversary of Professor Anton Kazimirovich Sushkevich will take place on August 13-17, 2009 in Kharkov. The Conference is organized jointly by Institute of Mathematics of National Academy of Sciences of Ukraine, Kyiv Taras Shevchenko National University and Kharkov V. N. Karazin National University. 2. Organizers Organizing committee Coch...

2009-04-05 16:59:57 + Комментировать

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

% % % % SCSS 2009 % % TUNISIA - JAPAN WORKSHOP % % ON SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE % % % % September 22-24, 2009 % % Gammarth, Tunisia % % % % http://www2.score.cs.tsukuba.ac.jp/scssWorkshop/index.html % % % % IMPORTANT DATES = Abstract submission: May 29, 2009 Acceptance notification: June 22, 2009 Final versions of full papers: August 30, 2009 Workshop: September 22-24, 2009 SCOPE = Symbolic computation is the science of computing with symbolic objects (terms, formulae, programs, algebraic ob...

2009-04-05 16:35:09 + Комментировать

Система компьютерной алгебры GAP: 8th Tbilisi Symposium on Language, Logic and Computation

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

2009-04-05 15:23:49 + Комментировать

Система компьютерной алгебры GAP: LMS Regional Meeting and Workshop on Limit Groups and their

LMS Regional Meeting and Workshop on Limit Groups and their generalisations University of Southampton 15-17th July 2009 - LMS Regional Meeting 15th July Speakers: Zlil Sela (Jerusalem) James Howie (Edinburgh) Cornelia Drutu (Oxford) Worskshop 16-17th July Speakers: Martin Bridson (Oxford) Francois Dahmani (Toulouse) Vincent Guiradel (Toulouse) Dessislava Kochloukova (Campinas) Gilbert Levitt (Caen) Ashot Minasyan (Southampton) Tim Riley (Bristol) For further information, see the website: http://www.maths.s...

2009-04-05 14:35:08 + Комментировать