University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
On Facebook

What's New


The Oxford University Department of Computer Science Student Conference 2011 takes place Friday, 18th November 2011 (6th week of Michaelmas term) in the Wolfson Building on Parks Road, in lecture theatre A.

Established in 2004, the conference was originally held biennially and has since become an annual event. This year also sees the conference return to department, with all talks being held in Lecture Theatre A. All staff and students are welcome to attend.

Current DPhil students are encouraged to submit abstracts for talks or posters. Any research topic covered by the Department of Computer Science is appropriate and it is perfectly acceptable to submit work that has been presented or submitted elsewhere. Presentations in previous years have covered new results, selected material from MSc, transfer, or confirmation theses, or research proposals of general interest. The conference may also serve as an excellent forum for students approaching Transfer of Status to present their work to a new audience ahead of their viva.

The Selection Committee will review all abstracts and will select fourteen talks from these for presentation, along with a similar number of posters; we expect to provide notification of acceptance by Friday, 4th November. Those invited to present talks will need to provide a camera-ready copy of their presentation by Friday, 11th November.

The best three talks will be awarded cash prizes, the winners to be announced at the wine reception at the end of the conference.

Important Dates

Conference Schedule

Friday, 18th November 2011 in Lecture Theatre A:
09:15–10:00Introduction and Keynote Speech by Professor Jim Davies.
10:00–11:15Session 1
 10:00–10:25Michael Morak Preprocessing for Non-Ground Answer Set Programs
 10:25–10:50Jamie Frost Where is it? Generating Locative Expressions by a continuous variant of the GRE algorithm.
 10:50–11:15Leopold Haller Abstract Satisfaction
11:15–11:30Coffee break
11:30–12:45Session 2
 11:30–11:55Sara Dutta Interpreting optical mapping recordings in the ischaemic heart
 11:55–12:20Mikael Wallman Inference of Electrophysiological Conduction Parameters Based on Endocardial Point Measurements
 12:20–12:45Valentina Carapella Impact of tissue microstructure on a model of cardiac electromechanics based on MRI data
13:40–14:55Session 3
 13:40–14:05Abhishek Thakur A framework for array analysis using separation logic
 14:05–14:30Andrew Paverd Analysis Framework For Enhanced Mobile Computing Using Cloud Resources
 14:30–14:55Jim Whitehead II A CSP Model of a Process-Oriented File System
14:55–15:10Coffee break
15:10–16:00Session 4
 15:10–15:35Katie Leonard Multiphase Modelling of Tissue Engineering
 15:35–16:00Eamonn Maguire Visualization of experimental designs and workflows in biological experiments
4pmDrinks reception and poster session in the Atrium; close of conference.
7.30pmA delicious three-course evening meal with wine will take place at Rewley House* at 7.30pm for an 8pm meal, at a cost of £20.00 for departmental MSc and DPhil students, and £35.00 for guests. Sign up is now closed—contact if you have any questions.
 *Attendees are requested to dress for dinner: lounge suits for men, cocktail wear or the equivalent for women.

Formatting Guidelines


Send us your posters now! The deadline to sign up for a poster presentation is 11.59 PM GMT, Friday, 11th November 2011. Click here to find the signup sheet for poster presentations.

The department will cover printing costs, on satin paper at A2 size (420 x 594 mm), on the condition that University and department logos are included in your design. Logo files in PDF and EPS are provided.

Submit your poster electronically before 23.59 GMT on Sunday, 13th November 2011 to have them printed for free by the Department.


Submissions should be extended abstracts 1–2 pages in length and in PDF format. An example of a properly formatted abstract is here (PDF file). Note the absence of page numbers; this makes assembling the conference proceedings easier.

If you use LaTeX, a classfile is provided here to format your submission automatically. To see how it works, simply put all the files ouclprgcs.cls, sampleBibliography.bib, sampleCameraReady.tex, sampleImage.pdf, and Makefile in one directory and type:

% make

to re-create the sample PDF file.

Submission Guidelines

All submissions should be uploaded to EasyChair. If you don't have an EasyChair account yet, set one up for free here!

Display Materials

The conference poster (PDF) can be found here.

Programme Committee

The following people put the conference together this year: Especial thanks go to Julie Sheppard for all her help!