Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


Read More...

Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


Read More...

AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


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

Notice

AISB event Bulletin Item

CALL FOR PARTICIPATION: European Joint Conferences on Theory And Practice of Software, 16 - 24 March 24, 2013, Rome, ITALY

http://www.etaps.org/2013

Early registration deadline: January 30, 2013

******************************************************************

-- ABOUT ETAPS --

The European Joint Conferences on Theory And Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual conferences,
accompanied by satellite workshops and invited tutorials (new in 2013).
ETAPS 2013 is already the sixteenth event in the series.

-- MAIN CONFERENCES --

    * CC: Compiler Construction
    * ESOP: European Symposium on Programming
    * FASE: Fundamental Approaches to Software Engineering
    * FOSSACS: Foundations of Software Science and Computation Structures
    * POST: Principles of Security and Trust
    * TACAS: Tools and Algorithms for the Construction and Analysis of Systems

-- INVITED SPEAKERS --

    * Gilles Barthe (Fundacin IMDEA Software, Madrid, Spain)
    * Emily Berger (Univ. of Mussachusetts, Amherst, USA)
    * Krzysztof Czarnecki (Univ. of Waterloo, Canada)
    * Cedric Fournet (Microsoft Research, Cambridge, UK)
    * Orna Grumberg (Technion, Haifa, Israel)
    * Martin Hofmann (Univ. of Munich, Germany)
    * Jean-Pierre Hubaux (EPFL, Losanna, Switzerland)
    * Mark S. Miller (Google Research, USA)

-- INVITED TUTORIAL SPEAKERS --

    * John C. Mitchell (Stanford Univ., USA)
    * Martin Frnzle (Univ. of Oldenburg, Germany)
    * Ralf Ksters (Univ. of Trier, Germany)

The tutorials take place on Sunday March 17 before ETAPS 2013.

-- SATELLITE EVENTS --

22 satellite workshops will take place before or after ETAPS 2013.

ACCAT, AiSoS, BX, DICE, Found. Syst. Spec., HAS, HotSpot, MBT, MEALS, SR, OCCP, 
and VSSE will take place in the weekend on 16-17 March 2013.

Bytecode, CerCo, FESCA, GT-VMT, GRAPHITE, IC1201, MLQA, PLACSE, QAPL,
and TERMGRAPH are scheduled for 31 March-1 April 2012.

-- REGISTRATION

Early registration is until Sunday, January 30 2013.

-- ACCOMMODATION

Roma has a huge hotel capacity. You can either arrange your accommodation on 
your own or find some reserved hotels on the registration page. Such 
reservations expire on February 15, but new ones will appear after this 
deadline during the entire registration period.

-- HOST CITY --

Rome is the capital of Italy and the country's largest and most populated 
municipality. The city is located in the central- western portion of the 
Italian Peninsula, on the Tiber river. Rome's history spans over two and a half 
thousand years. It was the capital city of the Roman Kingdom, of the Roman 
Republic and of the Roman Empire, which was a major political and cultural 
influence in the lands bordering the Mediterranean Sea. Since the 2nd century 
AD, Rome has been the seat of the Papacy and, after the end of the Byzantine 
domination, in the eighth century it became the capital of the Papal States. In 
1871, Rome became the capital of the Kingdom of Italy, and in 1946 that of the 
Italian Republic. Rome's influence on western Civilisation can hardly be 
overstated, and the city is still recognised as a centre of the arts and 
education. Due to this centrality on many levels, and much of the city's past 
power and influence, Rome has been nicknamed "Caput Mundi" (Latin for "Capital 
of the World") and "The Eternal City".

-- ORGANIZERS --

The event is organized in Sapienza Universit di Roma. Sapienza has a very long 
and prestigious history, it is the largest university in Europe and the 
second-largest in the world, with more than 150,000 students.

    * General chair: Daniele Gorla
    * Conferences Chair: Francesco Parisi Presicce
    * Workshops Chairs: Paolo Bottoni  and  Pietro Cenciarelli
    * Publicity Chair: Ivano Salvo
    * Finance Chairs: Enrico Tronci  and  Federico Mari
    * Web Site Chair: Igor Melatti

-- FURTHER INFORMATION --

Please do not hesitate to contact the organizers at etaps13@di.uniroma1.it.