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

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

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.