Jacob Howe, Senior Lecturer at City University London, and sabbatical visitor, will be giving a seminar to the AI Research Group at 2pm on Thursday 15th December in JC 1.33a. The title and abstract are: Propagation and Reification: SAT and SMT in Prolog This talk will describe how a watched literal DPLL based Satisfiability (SAT) … Seminar: Jacob Howe on Propagation and Reification
Alice Toniolo, a new lecturer in Computer Science at St Andrews, will be giving a seminar to the Artificial Intelligence Research Group on Thursday 1st December 2016, 2pm, in JC 1.33a. All are welcome. Computational argumentation: an overview of current reasoning and dialogue models and their applications Abstract: Argumentation is the process of arriving at … Seminar: Alice Toniolo on Computational Argumentation
We are delighted to congratulate the student representatives for 2016/7, elected by their peers. Reps play a very important part in the life of the school by providing a healthy communication channel between staff and the students they represent, and also by chairing and running the Staff-Student Consultative Committee, amongst many other roles. The reps … Computer Science Student Reps 2016
The School is very happy to welcome its new group of PhD students who have started in 2016. Shown outside the Jack Cole Building on 13 October 2016 are: (Back row, left to right) Fahrurrozi Rahman; Xue Guo; Teng Yu; Yanbei Chen; Guilherme Soares Carneiro; Yasir Alguwaifli; and Xu Zhu. (Front row, left to right) … Welcome to new 2016 PhD Students
Two new internships for summer 2016 are available in the Artificial Intelligence Research Group. Internship 1: “What did I just do and how can I do it again?” Supervisors: Ian Gent & Chris Jefferson Internship 2: “Mixed Integer Programming Backend for Savile Row” Supervisors: Chris Jefferson & Peter Nightingale The deadline for applying is Wednesday … Two more Internship Opportunities
On Friday November 13 from 10.30 there will be a bake sale hosted by Sophie Gent in aid of BBC Children in Need in the Jack Cole Building coffee area. There will be a vegan and gluten free option, but if you need this please feel free to let us know in advance so we can … Children in Need Bake Sale 2015
What is Meyer’s E1 problem? John Slaney, Australian National University The E1 problem is a rather specialised question concerning propositional logic. It was posed by R. K. Meyer almost 50 years ago, and is still open. In this talk, I undertake to explain the problem, to review progress towards its solution and possibly even to … Seminar by John Slaney
There will be a short session for students (either 4th year or Masters) interested in applying for a PhD in the School of Computer Science. The deadline for the University’s funded 7th Century scholarships is March 31, so this is a good time to be thinking about it if you are interested and have not … PhD Admissions Session, Thursday 13 March 2pm
At the annual conference on Constraint Programming, CP 2013, Ian Gent and Ian Miguel were members of the winning team in the “First International Lightning Model and Solve” competition. Many thanks to the organisers of the event and especially to Allen van Gelder of UCSC for having the idea of entering a manual team and for inviting us … Constraint Modelling Winners
Many congratulations to Bilal Hussain, first year PhD student working with Dr Ian Miguel. Bilal has been awarded a Google Europe Scholarship for Students with Disabilities. We thank Google for their additional support for Bilal’s study and research. The main funding for Bilal’s PhD comes from the Engineering and Physical Sciences Research Council, and we … PhD student awarded Google Scholarship