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

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

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

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

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

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

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.

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video

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.

Honouring Turing at ...

The AISB's own Convention in 2012 (convention/aisb12) will honour Turing For 2012, AISB and IACAP (The International Association for Computing and Philosophy) have merged their annual symposia/conferences to form the AISB/IA...

0123456789

Notice

AISB event Bulletin Item

Final Reminder: Conference on Algebra and Coalgebra in Computer Science CALCO'07

http://www.ii.uib.no/calco07/

A reminder that 
               THIS WEEKEND 
is the deadline for submitting abstracts for
                                                                  
                           CALCO 2007                             
                                                                 
   2nd Conference on Algebra and Coalgebra in Computer Science   
                         CALCO Tools Day                          
                                                                  
             August 20-24, 2007, Bergen, Norway                   
                                                                 
January 28      Abstract submission due
February 7      Technical paper submission due
  February 17     Submissions to CALCO Tools Day, see below
March 28        Author notification
May 16          Camera ready due

------------------------------------------------------------------
                 http://www.ii.uib.no/calco07/                    
------------------------------------------------------------------

August 20       CALCO-jnr and CALCO Tools Day
August 21-24    CALCO technical programme
August 24       Post-conference meetings



SUBMISSIONS
===========

Main Conference
---------------
The proceedings will be published in the Springer Lecture Notes
in Computer Science (LNCS http://www.springer.com/lncs) series.
Final papers will be no more than 15 pages long in the format specified
by Springer.  Submissions should adhere to that format and length (see
http://www.springer.de/comp/lncs/authors.html).  Paper submissions should
be made electronically at
   http://sttt.cs.uni-dortmund.de/calco07/servlet/Conference


CALCO Tools Day
---------------
Submissions for the CALCO Tools Day should be no longer than 5 pages in
the LNCS format (http://www.springer.de/comp/lncs/authors.html).  Accepted
Tools Day presentations will appear in the conference proceedings.
At least one of the authors of each tool paper must attend the conference
to demo the tool. Submissions by e-mail to 
   grosu@cs.uiuc.edu.


CALCO-jnr (CALCO Young Researchers Workshop)
---------------------------------------------
CALCO-jnr submission deadline is April 10.  There will be a separate
announcement of CALCO-jnr and its submission procedures.  
--
http://www.ii.uib.no/calco07/

Next >

Main Menu

Notice

AISB event Bulletin Item

Final Reminder: Conference on Algebra and Coalgebra in Computer Science CALCO'07