The future of robotics raises important questions for humanity.  Will robots be able to act as agents in their own right and make moral and ethical decisions? Impressive advances in artificial intelligence mean robots may become capable of replacing human beings in every task imaginable. What are the ethical implications of such a development? How do we prepare for such a future?



Questions on the ethics and morality of robotics were debated by panelists specializing in ethics, law, computer science, data security and privacy, in the Oxford Union Debating Chamber.

During the past 50 years there has been extensive, continuous, and increasing interaction between logic and computer science.



In many respects, logic provides computer science with both a unifying foundational framework and a modelling tool. Indeed, logic has rightly been called 'the calculus of computer science," playing a crucial role in such diverse areas as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.



Since 1996, the Federated Logic Conference has brought together several international conferences related to mathematical logic and computer science, along with plenaries, invited talks, tutorial days and over 70 workshops.