The Computing Science Colloquium
This colloquium is a series of talk organized by the Computing Science Master Programme. It is held weekly, usually on thursdays and friday. Talks are given by staff members, as well as students, or by guests, covering subjects relevant to the programme. Talks can vary from official lectures, practice talks for conferences, a literature study, or just trying out a half baked idea.
Time and Venue
Usually on Thursdays and/or Friday, at 11:00 - 13:00. We may start later, or end earlier if we just have one talk in a day. The location is usually in the BBL
building. Each talk will be announced through the colloquium mailing list
, and through the schedule at the right tab of this page. Each announcement should contain the talk's abstract and exact time and location.
ID and URL of the agenda:
List of past talks is available here: Schedule
Reserving a spot
To reserve a spot, send an email to a coordinator. You can see who are in charge here
Every talk will be announced through the colloquium mailing list. Either you have been automatically registered to this mailing list, or you need to do it yourself. Registration can be done here
The rooms we use should have a built-in beamer and a PC.
The CS Colloquium as a Master Course
Attending and giving a talk in this colloquium is mandatory for the students of the Computing Science Master Programme. See here for the exact requirement
. Please note that you need to reserve a spot for giving your talk. Do this well in advance if you want to make sure you will get your spot.
Here is a simple walk through of what you need to do towards
writing your paper and
giving your talk.
- Choose a general topic that is interesting for you.
- Find a lecturer that is can supervise you on this topic.
- Decide with your supervisor which (other people's) paper(s) that you can use as the base. This is usually a recent paper from a representative journal or conference.
Write your own paper about the topic. (this requirement is dropped)
- Give a talk in the Colloquium about the topic.
List of Conferences and Journals
Here are a number of conferences and journals where you can look for your topic. Just google them.
In the area of Programming/Software Technology:
- Symposium on Principles of Programming Languages (POPL)
- Practical Aspects of Declarative Languages (PADL)
- Partial Evaluation and Program Manipulation (PEPM)
- International Conference on Functional Programming (ICFP)
- Implementation of Functional Languages (IFL)
- Programming Language Design and Implementation (PLDI)
- European Symposium on Programming (ESOP)
- Object-Oriented Programming, Systems, Languages & Applications (OOPSLA)
- European Conference on Object-Oriented Programming (ECOOP)
- Foundations of Object-Oriented Languages (FOOL)
- International Conference on Software Testing, Verification and Validation (ICST)
- International Symposium on Software Testing and Analysis (ISSTA)
- Software Engineering and Formal Methods (SEFM)
- Foundations of Software Engineering (FSE)
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
- International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
In the area of Data Mining:
- ECML-PKDD (European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Data Bases)
- KDD (ACM SIGKDD Conference on Knowledge Discovery and Data Mining)
- SDM (SIAM International Conference on Data Mining)
- ICDM (IEEE International Conference on Data Mining)
- ICML (International Conference on Machine Learning)
- (Journal) Data Mining and Knowledge Discovery (Springer)
- (Journal) Machine Learning (Springer)
- Journal of Machine Learning Research (Online: http://jmlr.csail.mit.edu/)
- (Journal) ACM Transactions on Knowledge Discovery from Data (TKDD)
- (Journal) SIGKDD Explorations (Online: http://www.sigkdd.org/)