Mark Bishop on CITY ...
"During the last decade robots have begun to permeate everyday life (robotic lawn mowers; floor cleaners, autonomous cars etc); equally, closely related technologies are beginning to permeate the military– already US naval sh...
Read More...
ICO Alan Turing Lect...
 To celebrate the 100 year anniversary of the birth of the world renowned mathematician, code breaker, logician and computer scientist, the first ICO Alan Turing Lecture was held at the Museum of Science and Industry in Manchest...
Read More...
AISB Workshop: Senso...
Poster: http://aisb.org.uk/media/files/stw2012.pdf (media/files/stw2012.pdf) A day of discussion on the Sensorimotor account of Perception, Consciousness  and Robotics, its development and contemporary state. The first in a seri...
Read More...
Ms Pac-Man vs Ghosts...
This year's Ms Pac-man vs Ghosts Competition is now open for submissions. The competition allows you to develop AI controllers for the classical arcade game Ms Pac-Man. However, this year the competition takes a unique look at the...
Read More...
AISB YouTube Channel
The AISB has launched a YouTube channel:Â http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...
Read More...
New AISB Website
Happy New Year! Welcome to the new AISB website. Over the coming weeks and months we will be making additional changes to the website, introducing some new content and so on. Please check back regularly to see what's new! During...
Read More...
AISB Website Beta
The AISB's new website is now gone beta. Some of the new features member's can look forward to enjoying will be better integration with the AISB LinkedIn group, frequent news updates, a new member's section and up-to-date AI med...
Read More...
AISB 2011 Convention
The AISB'11 Convention (http://www.aisb.org.uk/convention/aisb11/) was held from 4-7 April at York, organised by Dimitar Kazakov and George Tsoulas.
Read More...
Lighthill Debates
The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video Â
Read More...
Alan Turing Year
2012 marks the centenary of Alan Turing's birth. Alan Turing Year (http://www.turingcentenary.eu/), seeks to bring together news of all the events and organisations which will be marking the occasion.
Read More...
Notice
AISB event Bulletin Item
CFP: Effective Methods in Algebraic Geometry MEGA 2007
MEGA 2007
Effective Methods in Algebraic Geometry
Strobl, Austria, June 24th-30th
http://www.ricam.oeaw.ac.at/mega2007
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
FINAL CALL FOR PAPERS
======================
Submissions should contain recent original research relevant to the
topics of the conference. There are two possible modes of submission:
* Full papers with complete proofs. In this case also an
abstract of two to four pages is requested.
* Extended abstracts of at least four pages containing full
results, an outline of the proofs and all of the main ideas.
If the result should be published, a full paper must be handed
in later.
MEGA is the acronym for Effective Methods in Algebraic Geometry (and its equivalent in Italian, French, Spanish, German, Russian etc.), a series of roughly biannual conferences on computational and application aspects of Algebraic Geometry and related topics, with very high standards. Previous meetings were held in 1990 (Castiglioncello, Italy), 1992 (Nice, France), 1994 (Santander, Spain), 1996 (Eindhoven, Nederlands), 1998 (Malo, France), 2000 (Bath, UK), 2003 (Kaiserslautern, Germany) and 2005 (Alghero, Italy).
Proceedings containing a selection of the papers and invited talks presented at previous conferences have been published by Birkhaeuser in the series Progress in Mathematics (volumes 94, 109, 143), by the Journal of Pure and Applied Algebra (volumes 117, 118, 139, 164), and by the Journal of Symbolic Computation (volume 39/3-4 and one double issue to appear). We plan to publish selected papers from the conference in a special issue of the Journal of Symbolic Computation.
MEGA 2007 will be held at the "bifeb" (a center for adult education) in "Strobl am Wolfgangsee", Austria, from June 24 to 30, 2007.
For submitting a paper, go to
http://www.ricam.oeaw.ac.at/mega2007/openconf/author/submit.php
and follow the instructions.
Important Dates
---------------
Deadline for Submissions ............................: January 15, 2007
Deadline for Submissions of Software Presentations ..: March 1, 2007
Notification of acceptance/rejection ................: March 15, 2007
Deadline for Early Registration .....................: April 1, 2007
Conference Topics
-----------------
Effective Methods and Theoretical and Practical Complexity Issues in: Commutative Algebra, Geometry, Real Geometry, Algebraic Number Theory, Algebraic Geometry, Arithmetic Geometry and related fields: Algebraic Analysis of Differential Equations, Differential Geometry, Associative Algebras, Group Theory, Algebraic Groups and Lie Algebras, Algebraic and Differential Topology, as well as applications in these fields.
Confirmed Invited Speakers
--------------------------
Thomas C. Hales
Ilia Itenberg
Michael Stoll
Executive Committee
-------------------
André Galligo (Nice), Patrizia Gianni (Pisa), Herwig Hauser (Innsbruck), Luís Miguel Pardo (Santander), Tomás Recio (Santander), Josef Schicho (Linz), Michael Singer (Raleigh), Carlo Traverso (Pisa), Franz Winkler (Linz)
|



