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

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

Подписаться Бесплатная «Серебряная» новостная рассылка . Временно не выходит ,возобновит выход - нет информации Подписчиков 783 RSS
←   Март 2007   →
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31


За последние 60 дней ни разу не выходила


Сайт рассылки: http://www.gap-system.org/ukrgap/
Открыта: 05-02-2002

Автор
Александр Борисович Коновалов

Статистика

783 подписчиков
0 за неделю
←   Все выпуски   →

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


Объявления о конференциях

Dear Academic Community,

In March 2007  Yuri Matiyasevich  will be 60.  In addition to his
outstanding  scientific  achievements,  Yuri Matiyasevich was the
editor  of  several  issues  of  the  journal  "Zapiski Nauchnykh
Seminarov POMI" ("Notes of Mathematical Seminars of St.Petersburg
Department of V.A.Steklov Institute of Mathematics").  He remains
an active author of our journal until now.

We decided  to devote  the next  issue  of  the journal  to  Yuri
Matiyasevich.  Please  find  the  call  for papers below. We will
be grateful if you  distribute  this  call for papers  among your
colleagues.

The deadline is set to May 10, 2007.
******   If you are unable to meet the deadline
******    but  strongly   wish   to  contribute,
please  communicate  a more  appropriate date and an abstract to
any of the editors at the addresses listed below. We have a tight
schedule for the publication process (see below).

Faithfully yours,
    Anatol Slissenko and Maxim Vsemirnov

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


                        CALL FOR PAPERS

                  Notes of Mathematical Seminars
 of St.Petersburg Department of V.A.Steklov Institute of Mathematics

http://www.pdmi.ras.ru/znsl/index.html

        Subseries:  Studies in Constructive Mathematics and Mathematical Logic.
                            Issue XI

TOPICS.
 Papers (either describing an original research or surveying a topic)
 are  solicited  in  all  areas  related  to  the interests  of  Yuri
 Matiyasevich.  They  include (but not limited to) all aspects of the
 mathematical logic, Diophantine equations and discrete mathematics.

LANGUAGES.
 Submissions can be made either in English or in Russian.

TRANSLATION AND PUBLICATION.
 The issue containing  the original papers will appear in the printed
 form as well as on the Web. English translations (or original papers,
 for papers submitted  in English)  will later appear  in  Journal of
 Mathematical Sciences published by Springer.

SUBMISSION and other contacts.
 Please send your Postscript or PDF file to either of the editors:
     Anatol Slissenko
     Maxim Vsemirnov

IMPORTANT DATES.
 Submission:                          by May  10, 2007.
 First referee reports:               July-August 2007.
 Revised (final) version if needed:   August-September 2007.
 Final decision:                      October 2007.
 Publication:                         November 2007.

FIRST ANNOUNCEMENT
Summer School - "Algebra and Combinatorics"

Dear researchers,

The research group CELC is organizing a summer school on Algebra and Combinatorics from 25 to 29 June 2007.

The "Summer School on Algebra and Combinatorics" will consist of courses of five one-hour lectures, supplemented by seminars and/or posters and informal talks.

The school is mostly addressed to graduate students or researchers interested in algebraic aspects of combinatorics.

For more details, please visit the web page:

http://alg-comb.cii.fc.ul.pt

Please, feel free to forward this announcement to anybody that could be interested.

Best regards,
the organizers: C. André, A. Correia, M. M. Torres
          SARA '07: The Seventh International Symposium on
            Abstraction, Reformulation and Approximation

                 Whistler, Canada, July 18-21, 2007
  (organised in cooperation with AAAI and co-located with AAAI'07)

           http://www.cs.st-and.ac.uk/~ianm/SARA2007.html

It has been recognised since the inception of Artificial Intelligence
that abstractions, problem reformulations and approximations (AR&A)
are central to human common-sense reasoning and problem solving and to
the ability of systems to reason effectively in complex domains. AR&A
techniques have been used in a variety of problem-solving settings,
including (but not limited to):

   * Automatic programming.
   * Automated reasoning.
   * Cognitive modelling.
   * Constraint programming.
   * Design.
   * Diagnosis.
   * Machine learning.
   * Model-based reasoning.
   * Planning.
   * Scheduling.
   * Search.
   * Theorem proving.
   * Tutoring.

The primary use of AR&A techniques in such settings has been to
overcome computational intractability by decreasing the combinatorial
costs associated with searching large spaces. In addition, AR&A
techniques are also useful for knowledge acquisition and explanation
generation in complex domains.

The aim of the symposium is to provide a forum for intensive
interaction among researchers in all areas of Artificial Intelligence
and Computer Science with an interest in the different aspects of AR&A
techniques. The diverse backgrounds of participants of previous
symposia has led to a rich and lively exchange of ideas, allowed the
comparison of goals, techniques and paradigms, and helped identify
important research issues and engineering hurdles. We expect that the
upcoming symposium will include an equally diverse group of
participants.

Invited Speakers
================

Vadim Bulitko         University of Alberta, Canada.
Alan Frisch           University of York, UK.
John Hooker           Carnegie Mellon University, USA.

Important Dates
===============

Submission:          March 26th
Notification:        April 23rd
Final Versions:      May 13th

Please see the website for details and submission procedures.

Organisation
============

Conference Chairs:    Ian Miguel, University of St Andrews, UK.
                      Wheeler Ruml, Palo Alto Research Center, USA.
Publicity Chair:      Karen Petrie, University of Oxford, UK.
Sponsorship Chair:    Peter Nightingale, University of St Andrews, UK.

Programme Committee:

J. Christopher Beck     University of Toronto, Canada.
Berthe Choueiry         University of Nebraska-Lincoln, USA.
Johann de Kleer         Palo Alto Research Center, USA.
Marie Desjardins        University of Maryland, Baltimore County, USA.
Stefan Edelkamp         Universitat Dortmund, Germany.
Boi Faltings            Ecole Polytechnique Federale de Lausanne,
                          Switzerland.
Ariel Felner            Ben-Gurion University, Israel.
Alan Frisch             University of York, UK.
Hector Geffner          Universitat Pompeu Fabra, Spain.
Mike Genesereth         Stanford University, USA.
Fausto Giunchiglia      University of Trento, Italy.
Brahim Hnich            Izmir University, Turkey.
Daniel Kayser           Universite Paris-Nord, France.
Sven Koenig             University of Southern California, USA.
Derek Long              University of Strathclyde, UK.
Michael Lowry           NASA, USA.
Peter Revesz            University of Nebraska-Lincoln, USA.
Marie-Christine Rousset University of Grenoble, France.
Lorenza Saitta          Universita del Piemonte Orientale, Italy.
Bart Selman             Cornell University, USA.
Barbara Smith           Cork Constraint Computation Centre, Ireland.
Miroslav Velev          Carnegie Mellon University, USA.
Toby Walsh              University of New South Wales, Australia.
Weixiong Zhang          Washington University, USA.
Rong Zhou               Palo Alto Research Center, USA.
Robert Zimmer           Goldsmiths College, University of London, UK.
Jean-Daniel Zucker      Universite Paris 6, France.

С уважением,

ведущий рассылки Коновалов А.Б.
В избранное