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

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

Notice

AISB event Bulletin Item

FIRST CALL for PARTICIPATION: European Joint Conference on Theory & Practice of Software, 26 Mar-3 Apr 2011, Germany

http://www.etaps.org/
Contact: etaps2011@cs.uni-saarland.de

Saarbruecken, Germany

-----------------------------------------------------------------------
-- REGISTRATION --
-----------------------------------------------------------------------

For online registration visit: http://www.etaps.org/registration

Early (and normal) registration fees are historically low.
Early registration is limited to the first 222 registrants.

-----------------------------------------------------------------------
-- 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 related to Software Science. It is a confederation of five conferences, and embedded in associated events, satellite workshops and other events.

-----------------------------------------------------------------------
-- ETAPS MAIN CONFERENCES --
-----------------------------------------------------------------------

CC 2011       International Conference on Compiler Construction

ESOP 2011     European Symposium on Programming

FASE 2011     Fundamental Approaches to Software Engineering

FOSSACS 2011  Foundations of Software Science and Computation

TACAS 2011    Tools and Algorithms for the Construction and Analysis
               of Systems

-----------------------------------------------------------------------
-- ETAPS 2011 INVITED SPEAKERS --
-----------------------------------------------------------------------

    Ross Anderson, Cambridge, UK
    Andrew Appel, Princeton, USA
    Gerard J. Holzmann, NASA, USA
    Marta Kwiatkowska, Oxford, UK
    Martin Odersky, EPFL, Switzerland
    Prakash Panangaden, McGill, Canada
    Andreas Podelski, Freiburg, Germany

-----------------------------------------------------------------------
-- Host City: Saarbruecken, Germany  --
-----------------------------------------------------------------------

Saarbrcken is the capital of the Saarland, the smallest German federal state. Saarbrcken has approximately 190,000 inhabitants and hence is of pleasant size. Picturesque attractions and places of historic interest are scattered around the city, and offer the perfect destination for a hike or a daytrip. The cultural palette attracts visitors from far and wide. Saarbrcken is located very close to the French border, and half way on the high-speed railway connecting Paris and Frankfurt. Both are in less than two hours distance. For travel and accomodation information, please consult the ETAPS 2011 website:

http://www.etaps.org/

ETAPS 2011 is organized by the Department of Computer Science, Saarland University and will take place in the Saarbruecken Informatics Campus, on the Saarland University premises.

-----------------------------------------------------------------------
-- Associated Event --
-----------------------------------------------------------------------

TOSCA      Theory of Security and Applications

-----------------------------------------------------------------------
-- Satellite Workshops --
-----------------------------------------------------------------------

ACCAT      Applied and Computational Category Theory

Bytecode   Bytecode Semantics, Verification, Analysis and Transformation

COCV       10th Workshop on Compiler Optimization Meets
            Compiler Verification

DICE       2nd International Workshop on Developments in Implicit
            Computational complExity

FESCA      Formal Foundations of Embedded Software and
            Component-Based Software Architectures

GaLoP VI   Games for Logic and Programming Languages

GT-VMT     International Workshop on Graph Transformation and Visual
            Modeling Techniques

HAS        Hybrid Autonomous Systems

iWIGP      International Workshop on Interactions, Games and
            Protocols

LDTA       11th Workshop on Language Descriptions, Tools and
            Applications

PLACES     Programming Language Approaches to Concurrency and
            Communication-cEntric Software

QAPL       9th Workshop on Quantitative Aspects of Programming
            Languages

ROCKS      Rigorous dependability analysis using model checking
            techniquesfor stochastic systems

SVARM      Workshop on Synthesis, Verification, and Analysis of
            Rich Models

TERMGRAPH  6th International Workshop on Computing with Terms and
            Graphs

WGT        3rd Workshop on Generative Technologies

-----------------------------------------------------------------------
-- Tool Demonstrations --
-----------------------------------------------------------------------

Demonstrations of tools presenting advances on the state of the art have been selected and are integrated in the programmes of the main conferences.

-----------------------------------------------------------------------
-- Registration (again) --
-----------------------------------------------------------------------

For online registration visit: http://www.etaps.org/registration

Early (and normal) registrations fees are historically low.
Early registration is limited to the first 222 registrants.

-----------------------------------------------------------------------
-- Contact --
-----------------------------------------------------------------------

See http://www.etaps.org/

Any question can be adressed to etaps2011@cs.uni-saarland.de