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

Notice

AISB event Bulletin Item

RDP'09: 2nd Call for Workshop Proposals


Contact: rdp09workshop-proposal@sympa.pps.jussieu.fr

Federated Conference on Rewriting, Deduction, and Programming
                                 RDP'09
                 28/6/2009 - 3/7/2009, Brasilia, Brazil
                   Second Call For Workshop Proposals		 


RDP'09 is a federated event comprising two major conferences: 
- The 20th International Conference on Rewriting Techniques and
  Applications (RTA'09) 
- The 9th International Conference on Typed Lambda Calculi and
  Applications (TLCA'09) 
In addition, the 4th International School on Rewriting (ISR'09) will
take place the week before RDP.

Previous RDPs were held in 2003 in Valencia (Spain), 2004 in Aachen
(Germany), 2005 in Nara (Japan), and 2007 in Paris (France). RDP has a
tradition of federating every two years RTA and TLCA, and of hosting
related workshops.

We solicit proposals for satellite workshops of RDP'09 that are
related in topics to one or both of the RDP conferences. 

Workshops should have a length of 1 or 2 days (possibilities for
longer workshops should be discussed with the organizers). It is
tradition at RDP that attendance to workshops is open to participants of
parallel events, similar to the way FLoC workshops are run. There will
be one day (Sunday, June 28) reserved for workshops, however, it will
also be possible to run workshops on the other days in parallel to one
of the main conferences.

RDP will provide the possibility to print workshop proceedings,
details of the procedure will be posted later by the local organizing
committee. RDP will not be able to reimburse invited workshop speakers
for travel or living expenses, though it may be possible to waive part
of the registration fees for invited speakers. The priority of RDP will
be to keep registration fees for the conferences and workshops low.

Please submit your workshop proposal by email to

     rdp09workshop-proposal@sympa.pps.jussieu.fr

Proposals should be written in plain text. The proposal should cover the
following topics: 

1. Name of workshop 
2. A statement of the topics and goals of the workshop 
3. Names and addresses of the organizers 
4. Pointers to descriptions of previous editions of the workshop, if any 
5. A description of the submission selection process  
6. Plans for the publication of proceedings (informal proceedings
   distributed to participants, electronic journal,  proceedings with
   separate selection process, ...) 
7. Plans for invited speakers or special sessions (round-table
   discussion, tutorials, ...) 
8. Expected length of the workshop 
9. Expected number of attendees 
10. Any special needs (for system demonstrations ...) 

The Workshop Selection Committee consists of  Mauricio Ayala
Rincon (RDP'09 general chair), Pierre-Louis Curien (TLCA'09
program chair), and Ralf Treinen (RTA'09 program chair).

       -----------------------------------------
       |Nov 17, 2008|deadline for proposals    |
       -----------------------------------------
       |Nov 28, 2008|notification of acceptance|
       -----------------------------------------

Prospective workshop organizers are welcome to contact the workshop
selection committee in advance before sending in a formal submission and
to discuss any questions. 

RDP'07 http://www.lsv.ens-cachan.fr/rdp07/index.html 
RDP'05 http://www.kurims.kyoto-u.ac.jp/rdp05/        
RDP'03 http://www.dsic.upv.es/~rdp03/                
RTA    http://rewriting.loria.fr/rta/                
TLCA   http://www.mimuw.edu.pl/tlca/