UoR constraint solver wins competition at XCSP3 2023

In the XCSP3 2023 competition for constraint solvers, Dr. Martin Lester’s solver Exchequer won 1st place in the Mini CSP track and 2nd place in the Mini COP track:https://www.xcsp.org/competitions/Constraint solvers take descriptions of problems in a standardised format as input and use general-purpose techniques to find solutions. They can be applied to a wide range of real-world problems in operations research, as well as combinatorial problems in mathematics and puzzle games.Exchequer works by translating the constraint problem into a C program and using a program model checker to turn that into a Boolean Satisfiability (SAT) instance, which it solves using a SAT solver. You can find Exchequer and some information about how it works here:https://gitlab.act.reading.ac.uk/ta918887/exchequerThe Mini tracks of the XCSP3 competition are mainly for less established solvers that demonstrate a new or experimental technique. Exchequer entered the XCSP3 competition for the first time in 2022, when it won 1st place in the Mini CSP track. This year was the first time it entered the Mini COP track.Dr. Lester has a short paper about the underlying techniques used in the solver at the ModRef 2022 workshop:https://modref.github.io/ModRef2022.htmlhttps://scholar.google.com/citations?view_op=view_citation&citation_for_view=Prq6EukAAAAJ:qjMakFHDy7sC

 

Many Congratulations to Dr. Martin Lester!!

Welcome to the 2023-2024 Academic Year

Welcome Week is taking place 18th – 22nd September

Welcome to all Undergraduate (UG) and Postgraduate (PGT) students to the Department of Computer Science.

These are the activiries scheduled during Welcome Week

Welcome Week 2023
Date CS programmes Event Time Venue
Tuesday
19 Sept 2023
PGT PGT SDAT Talk 09:00 – 09:50 Madejski Theatre
UG  UG SDAT Talk 10:00 – 10.50 Madejski Theatre
UG and PGT Academic Tutor Meetings 12:00 – 15:00 Polly Vacher Rooms
  University Module Fair
University Life Fair
   
         
Wednesday
20 Sept 2023
UG Programme Welcome – UG 09:30 – 10:20
10:20 – 10:50
Madejski Theatre
UG Joint Programme Welcome – Joint programme students only 11:00 – 11.50 JJ-Thomson Slingo
         
Thursday
21 Sept 2023
PGT Programme Welcome – PGT 10:00 – 11:00 Chemistry LTG
UG and PGT SMPCS Marketplace 11:45 – 12:45 Chancellors G07
UG and PGT Teambuilding/Networking (surname A-E) + Joint Students Maths with Computer Science 13:00 – 14:30

PV G56

PV G45
         
Friday
22 Sept 2023
UG and PGT Teambuilding/Networking (surname F-M) 10:00 – 11:30

PV G56

PV G45
UG and PGT Teambuilding/Networking (surname N-Z) 13:00 – 14:30

PV G56

PV G45

Bletchley Park Day Trip

We are arranging a day trip to Bletchley Park (https://www.bletchleypark.org.uk) during on Friday 8th Nov 2019 (week 6). Bletchley Park is also call Station X, fame as the central site for British (and subsequently, Alliedcodebreakers during World War II, and where  Alan Turing worked as a codebreaker during that time period. The department will pay for the travel and tickets (It will cost you more than £30 if you go there yourself from Reading).

If you are interested please bring a deposit of £10 (to be returned to you on the day of the trip) to room 151 in the Polly Vacher building ASAPThere will be a limited number of seats on the coach and these will be allocated on a first come first served basis.

Data Science Club 2019-2020

Data Science Club meeting
(Spring term 2019/20)

1. The first Data Science Club meeting (Spring term 2019/20)

Welcome to join the Data Science Club of this term.

We will meet this Friday (31 Jan): 1:30-2:30pm, G39 Polly Vacher BuildingIn this Friday’s meeting, we will have:

 1) Video lecture: Introduction to reinforcement learning

 https://www.youtube.com/watch?v=4SLGEq_HZxk

2) Tutorial code: python for reinforcement learning

https://www.learndatasci.com/tutorials/reinforcement-q-learning-scratch-python-openai-gym/

3) Competition registration: SemEval 2020 (NLP and image related) If you are interested, please fill in this formhttps://forms.gle/qKKAvNoriq1yy3cf9 by next Monday.

We are calling for forming teams to patriciate SemEval 2020 competition. http://alt.qcri.org/semeval2020/ . You will need to apply data engineering, data mining, machine learning, AI related techniques to analyse data and build models. You will have a chance to work on a team with undergraduates, master students, phd students, and staff members. You will have a chance to build systems and have publications. (It’s a world-known competition. That’s very good for your CV and career). I will provide supervision and suggestions (As the team leader, my team ranked the 3rd out of 34 teams all around the world on sentiment analysis task 2016).

The timeline is as below:

Competition and Beyond:

19 February 2020: Evaluation start*
11 March 2020: Evaluation end*
18 March 2020: Results posted
17 April 2020: System description paper submissions due
24 April 2020: Task description paper submissions due
10 Jun 2020: Author notifications
1 Jul 2020: Camera ready submissions due
13-14 September 2020:  SemEval 2020

 Please check the home page of SemEval 2020 http://alt.qcri.org/semeval2020/index.php?id=tasks  to see more detailed information about the tasks.

Note that like for all clubs of the department, there is no obligation whatsoever, there is *no formal* membership. You can simply attend the meetings, if you find time!

This club is co-organized by phd student Thanet Markchom thanet.mar@gmail.com

If you have questions or suggestions, please contact me or Thanet.

Data Science Club meeting
(Autumn term 2019/20)

1. The third data science club meeting

will be at 12:30-1:30 Friday (15 Nov), G45.
We will talk about neural networks. Here is the referred material. 
 

2. The second data science club meeting

will be from 12:30- 1:30  Friday (25 Oct), G39 Polly Vacher. We will talk about linear model-part 2: classification.  

Please bring your laptop, install python and sklearn.

  • 1) Video: Please watch these two videos at home:

https://www.youtube.com/watch?v=0kns1gXLYg4

https://www.youtube.com/watch?v=F6GSRDoB-Cg

You are required to do: 
(1) data cleaning: remove Twitter Handles (@user)
(2) tf-idf weighting
(3) logistic regression prediction model
(4) evaluate the accuracy of prediction
 
Please do some work at home. We will only have time to go through the video and tutorial very quickly in the class.

3. The first data science club meeting

was at  12:30- 1:30 Friday(7 Oct). We will talk about linear model.

Please bring your laptop, install python and sklearn.

1) Video lecture: Linear Regression With One Variable (8 minutes): https://www.youtube.com/watch?v=kHwlB_j7Hkc

2) The first machine learning example coding tutorial ( linear regression) https://www.kdnuggets.com/2019/03/beginners-guide-linear-regression-python-scikit-learn.html

For the tutorial: please think about what is the:

–          Input, data type, pre-processing, output?

–          classification model? Math formula, loss function?

–          training, validation, test?

–          Evaluation metrics?

–          Which code lines are related to these?

 3. About Data Science Club

In this club, we define Data Science = creative ideas + data + programming (Machine Learning/Artificial Intelligence/Data Mining/Data Visualization). This club is to help students learn and practice data science skills in a more relaxed, flipped, social, and fun way.

We will organize short video lectureshands-on tutorials, and practice workshops. This club will also support students to form teams to participate data science hackathon or competition events. What you will learn will be useful for any free-form hackathon events, finding a Data Scientist job, or creating your own start-ups.

Example events: Kaggle competitions (https://www.kaggle.com/competitions), Australian government open data hackathon ( https://www.govhack.org/ ).

Everyone is welcome. You don’t need any background knowledge to listen to the video lectures. You might need to have programming background (e.g., python, java) to conduct the tutorial session.

The plan is to have meeting once every 2 weeks. The content covers:

1) Theory: linear model, neural networks, reinforcement learning, generative models, …

2) Application: Chat bots, poem writing program, computer music composer, game play agent, …

Note that like for all clubs of the department, there is no obligation whatsoever, there is *no formal* membership. You can simply attend the meetings, if you find time!

2019 Computer Science Hackathon and Showcase event 

The Department of Computer Science and R. U. Hacking society of University of Reading is proudly bring you a hackathon and showcase event! Welcoming students from all over Thames Valley! Whether you’re completely new to programming or are a seasoned hackathon veteran, you are welcome to join us in this fun and collaborative invention marathon! On Day 1 and 2, you will have a 24 hours student Hackathon event. On Day 3, there will be a team event to analyze a data set, an extreme programming competition, workshop sessions for beginners, and a poster and demo session in the afternoon. Bring your laptops and bright ideas, and we’ll cover food, power and Wi-Fi – beginners welcome!

Day 1, 2: (16, 17 Feb), 24 hours student Hackathon event. Venue: Henley Business School Building. Organised by R. U. Hacking. More details please visit: https://www.ruhacking.me/?no-cache=1

Day 3: (18 Feb) Data Science Hackathon, Competition, and Showcase Event. Venue: Department of Computer Science, Polly Vacher building. Organised by the staff members of the department. We define Data Science Hackathon = creative ideas + data + programming (Machine Learning/Artificial Intelligence/Data Mining/Data Visualization).  Registration: https://goo.gl/forms/7OqIifNCGvcFa3ij2 . More details please visit: https://blogs.reading.ac.uk/computer-science/2019/01/25/data-science-hackathon-and-competition-day/

Prize of Day 3

Track 1

The first prizes: Chiara Zucco  Runner-up: Umarani Ganeshbabu, Bhuvana Dhruva, Ekene Ozioko

Track 3

Best presentation: Andrejus    Runner-up: Ben Magee

Best Video: Group 11 Tarab Shakeb, Sacha Walton     Runner-up: Zixu Guo

Best Poster: James Bradley    Runner-up: Eleni Charalambous