Constraint Programming research group at the CP2024 conference

The 30th International Conference on Principles and Practice of Constraint Programming (CP2024) was held in Girona, Catalonia during the first week of September. The CP conference series are the main event for researchers in constraint programming to get together, share latest developments and for networking. 

Our School contributed to the conference in large numbers this year. 

  • Ian Gent was the invited speaker on the conference’s first day, with his talk entitled “Solving Patience and Solitaire Games with Good Old Fashioned AI” (abstract) (video recording).  
  • Christopher Stone was invited to the discussion panel ‘Have Chatbots Reached the Holy Grail?’ at the same workshop and presented the paper: Ian Miguel, András Z. Salamon, Christopher Stone, Automating Reformulation of Essence Specifications via Graph Rewriting (paper) 
  • Özgür Akgün was the Diversity, Equity and Inclusion chair of the conference and presented the DEI initiatives to all the attendees (video recording).
  • We presented several papers at ModRef 2024, the 23rd workshop on Constraint Modelling and Reformulation: 
  • Csobán Balogh, Ruth Hoffmann and Joan Espasa, Towards Understanding Differences Between Modelling Pipelines: a Modelers Perspective (paper) (slides) 
  • Joan Espasa Arxer, Ian Gent, Ian Miguel, Peter Nightingale, András Z. Salamon and Mateu Villaret, Cross-Paradigm Modelling: A Case Study of Puzznic (paper) 
  • Carla Davesa Sureda, Joan Espasa Arxer, Ian Miguel and Mateu Villaret Auselle, Towards High-Level Modelling in Automated Planning (paper)
  • Nguyen Dang, Ian Gent, Peter Nightingale, Felix Ulrich-Oltean and Jack Waller, Constraint Models for Relaxed Klondike Variants (paper) (slides)
    • Jack Waller (who is an undergraduate student at St Andrews!) presented this work.
  • Alessio Pellegrino, Özgür Akgün, Nguyen Dang, Zeynep Kiziltan and Ian Miguel, Automatic Feature Learning for Essence: a Case Study on Car Sequencing (paper) (slides) 
    • Alessio Pellegrino (who is a visiting student from University of Bologna) presented this work.
  • Orhan Yigit Yazicilar, Özgür Akgün and Ian Miguel, Automated Nogood-Filtered Fine-Grained Streamlining: A Case Study on Covering Arrays (paper) 
  • Our PhD students Orhan Yigit Yazicilar, Erdem Kus, Carla Devesa Sureda, and Joseph Loughney attended the doctoral program. As part of the doctoral program they presented their work by giving a talk and presenting a poster. In addition, they were assigned a mentor during the conference. 
  • Visiting research student (from University of Bologna) Alessio Pellegrino gave his first talk at the ModRef 2024 workshop. 
  • PhD student Erdem Kus presented the following paper in the technical track of the main conference: 
  • Erdem Kuş, Özgür Akgün, Nguyen Dang, and Ian Miguel, Frugal Algorithm Selection (slides) (video recording)

Finally, here is a group photo of the St Andrews group, standing at the front steps of the beautiful conference venue in Girona. 

Only One day to go until SISCO!

SISCO Conference, 5 & 6 February

Ian Gent, Chris Jefferson and Simon Dobson are all presenting at the SISCO conference this weekend. There will be social and networking events which include free food in the medicine cafeteria. We think that these will be nice opportunities for all students, speakers and staff to get to know one other.

You are all invited to these events, both on Saturday and Sunday.

You can get your free tickets to attend and further information on their Facebook page

St Andrews Research Open-day in Computer Science

Register for St Andrews ROCS HERE for free.

St Andrews ROCS is an event for those of you who engage (or are planning to engage) with research in the School of Computer Science at the University of St Andrews.

The main audiences are prospective postgraduate students, prospective or current industrial collaborators, and colleagues from other disciplines or Schools in Scotland and beyond.

The event will take place Friday October 26th 2018, between 10:00 AM and 4 PM.

There will be talks from all research groups, posters, demonstrations, guided tours, and much more.

You can learn about how to become a St Andrews PhD student or an active industrial collaborator.

The event will take place in the JACK COLE BUILDING, NORTH HAUGH, UNIVERSITY OF ST ANDREWS, ST ANDREWS, KY16 9SX, SCOTLAND.

You can download the programme of activities.

If you have any questions, e-mail dopgr-cs@st-andrews.ac.uk.

Register for St Andrews ROCS HERE for free.

Event details

  • When: 26th October 2018 10:00 - 16:00
  • Where: School of Computer Science
  • Format: Conference, Symposium, Visiting Day

Dr Roy Dyckhoff, Hon. Senior Lecturer: ‘Coherentisation of first-order logic’

The School of Computer Science is delighted to announce that honorable lecturer Dr Roy Dyckhoff is an invited speaker at the conference on Automated Reasoning with Analytic Tableaux and Related Methods, in Wrocław (Poland) from 20–24 September.

roy

Abstract: This talk explores the relationship between coherent (aka “geometric”) logic and first-order logic (FOL), with special reference to the coherence/geometricity required of accessibility conditions in Negri’s work on modal logic (and our joint work with her on intermediate logic). It has been known to some since the 1970s that every first-order theory has a coherent conservative extension, and weaker versions of this result have been used in association with the automation of coherent logic; but, it is hard to find the result in the literature. We discuss various proofs of the result, and present a coherentisation algorithm with the desirable property of being idempotent.

Please see: http://tableaux2015.ii.uni.wroc.pl/index.html for further details

Event details

  • When: 20th September 2015 10:00 - 24th September 2015 17:00
  • Format: Conference, Talk

SACHI Conference: Changing Perspectives at CHI 2013

CHI is the premier international conference on human computer interaction, and this year’s event is looking to be the most exciting yet for the St Andrews Computer Human Interaction (SACHI) research group in the School of Computer Science.

Seven members of SACHI will attend CHI in Paris this April to present three full papers, one note, one work in progress paper and five workshop papers. In addition members of SACHI are involved in organising two workshops and one special interest group meeting. Two academics in SACHI are Associate Chairs for respective sub-committees and two PhD students will be serving as student volunteers at the 2013 conference. A very busy time for all!

For more complete details on these papers, notes etc. please see http://sachi.cs.st-andrews.ac.uk/2013/02/sachi-changing-perspectives-at-chi-2013/

Please note that the school of Computer Sciience is going to be introducing a new Masters in HCI from September this year.

Event details

  • When: 27th April 2013 - 2nd May 2013
  • Format: Conference