Groups
Sign in
Groups
algolog
Conversations
About
Send feedback
Help
algolog
Contact owners and managers
1–30 of 89
Mark all as read
Report group
0 selected
Jørgen Villadsen
3/9/17
Visitor - Research Scientist Nicolas Peltier
Nicolas Peltier (Grenoble Informatics Laboratory) visits me 6-8/9 and we will have a Proof Assistants
unread,
Visitor - Research Scientist Nicolas Peltier
Nicolas Peltier (Grenoble Informatics Laboratory) visits me 6-8/9 and we will have a Proof Assistants
3/9/17
Jørgen Villadsen
2/2/17
Visitor - Associate Professor Virginia Dignum
Virginia Dignum (TU Delft) visits me 27/2-1/3 and we will have a mini-workshop Tuesday 28/2 10:00-12:
unread,
Visitor - Associate Professor Virginia Dignum
Virginia Dignum (TU Delft) visits me 27/2-1/3 and we will have a mini-workshop Tuesday 28/2 10:00-12:
2/2/17
Jørgen Villadsen
12/4/16
Several PhD Positions on Higher-Order Proof Automation at Inria Nancy, France
If you * want to pursue a PhD * have a strong interest in logic * want to understand how computers
unread,
Several PhD Positions on Higher-Order Proof Automation at Inria Nancy, France
If you * want to pursue a PhD * have a strong interest in logic * want to understand how computers
12/4/16
Jørgen Villadsen
11/28/16
Visit by Andrei Popescu
Andrei Popescu visits me this week and gives a talk on Wednesday as part of the Proof Assistants and
unread,
Visit by Andrei Popescu
Andrei Popescu visits me this week and gives a talk on Wednesday as part of the Proof Assistants and
11/28/16
Jørgen Villadsen
3/12/16
Visit by Tom Ridge
Tom Ridge from the Department of Computer Science, University of Leicester, UK, visits Anders
unread,
Visit by Tom Ridge
Tom Ridge from the Department of Computer Science, University of Leicester, UK, visits Anders
3/12/16
Jørgen Villadsen
9/6/15
Talk by Koen V. Hindriks, TU Delft, Wednesday 9 September 2015 9:30-10:30 at DTU Compute
Talk by Koen V. Hindriks, TU Delft, Wednesday 9 September 2015 9:30-10:30 at DTU Compute Title:
unread,
Talk by Koen V. Hindriks, TU Delft, Wednesday 9 September 2015 9:30-10:30 at DTU Compute
Talk by Koen V. Hindriks, TU Delft, Wednesday 9 September 2015 9:30-10:30 at DTU Compute Title:
9/6/15
Thomas Bolander
6/30/15
Algolog Master thesis defence Friday 3 July
Friday 3 July at 13.00, Søren Jacobsen and Jannick Johnsen will defend their master thesis with the
unread,
Algolog Master thesis defence Friday 3 July
Friday 3 July at 13.00, Søren Jacobsen and Jannick Johnsen will defend their master thesis with the
6/30/15
Thomas Bolander
8/11/14
3 master thesis defenses @ Algolog
Master thesis defenses in Algolog. All are welcome. Date: Thursday 14 August Place: build 101, room
unread,
3 master thesis defenses @ Algolog
Master thesis defenses in Algolog. All are welcome. Date: Thursday 14 August Place: build 101, room
8/11/14
Jørgen Villadsen
5/20/14
Reminder: Seminar by Virginia Dignum (TU Delft) 20/5 10-12 306/38
From: Jørgen Villadsen Sent: 14. maj 2014 12:56 To: alg...@googlegroups.com Subject: Seminar by
unread,
Reminder: Seminar by Virginia Dignum (TU Delft) 20/5 10-12 306/38
From: Jørgen Villadsen Sent: 14. maj 2014 12:56 To: alg...@googlegroups.com Subject: Seminar by
5/20/14
Jørgen Villadsen
5/14/14
Seminar by Virginia Dignum (TU Delft) 20/5 10-12
Our guest Virginia Dignum gives two talks on Tuesday 20 May 2014 in auditorium 306/38: 10:00-10:45:
unread,
Seminar by Virginia Dignum (TU Delft) 20/5 10-12
Our guest Virginia Dignum gives two talks on Tuesday 20 May 2014 in auditorium 306/38: 10:00-10:45:
5/14/14
Inge Li Gørtz
2/3/14
Talk by Professor Martin Farach-Colton, Tuesday Feb 11.
Talk by Martin Farach-Colton, Professor at Rutgers University and Tokutek Co-founder & Chief
unread,
Talk by Professor Martin Farach-Colton, Tuesday Feb 11.
Talk by Martin Farach-Colton, Professor at Rutgers University and Tokutek Co-founder & Chief
2/3/14
Inge Li Gørtz
2
11/26/13
Foredrag 28/11: "Issuu: Real world experiences of using computer science for a high traffic website²
Glemte link: https://sites.google.com/site/dsfdweb/arrangementer/
unread,
Foredrag 28/11: "Issuu: Real world experiences of using computer science for a high traffic website²
Glemte link: https://sites.google.com/site/dsfdweb/arrangementer/
11/26/13
Inge Li Gørtz
11/26/13
Algorithms talk by Aleksander Madry at DIKU
Aleksander Madry is giving a talk at DIKU on Dec 3 at 2pm about (Elecitrical) Flows and Graph
unread,
Algorithms talk by Aleksander Madry at DIKU
Aleksander Madry is giving a talk at DIKU on Dec 3 at 2pm about (Elecitrical) Flows and Graph
11/26/13
Inge Li Gørtz
8/29/13
Inaugural lecture by Rasmus Pagh at The IT University of Copenhagen
Rasmus Pagh is giving an inaugural lecture by Rasmus Pagh at The IT University of Copenhagen on
unread,
Inaugural lecture by Rasmus Pagh at The IT University of Copenhagen
Rasmus Pagh is giving an inaugural lecture by Rasmus Pagh at The IT University of Copenhagen on
8/29/13
Inge Li Gørtz
8/14/13
Robert Tarjan gives DIKU Talk on 23rd August at 14.00 p.m.
One of Computer Science's grand old men is in Denmark. Now, here's your chance to experience
unread,
Robert Tarjan gives DIKU Talk on 23rd August at 14.00 p.m.
One of Computer Science's grand old men is in Denmark. Now, here's your chance to experience
8/14/13
Philip Bille
8/10/13
Talk by Michael Mitzenmacher.
Michael Mitzenmacher will give a talk at DIKU on Friday, August 16th at 11.00 – 12.00. See the full
unread,
Talk by Michael Mitzenmacher.
Michael Mitzenmacher will give a talk at DIKU on Friday, August 16th at 11.00 – 12.00. See the full
8/10/13
Thomas Bolander
,
Valentin Goranko
3
4/25/13
Master thesis defense in Algolog on Epistemic Planning (another one)
Master thesis defense in AlgoLoG. All are welcome. ----------------- Day and time: Thursday, 25 April
unread,
Master thesis defense in Algolog on Epistemic Planning (another one)
Master thesis defense in AlgoLoG. All are welcome. ----------------- Day and time: Thursday, 25 April
4/25/13
Valentin Goranko
4/25/13
Reminder: Talk by Professor Peter Bro Miltersen, today, 14.00, 305/053
Dear everyone ----------------------- Speaker: Professor Peter Bro Miltersen, Aarhus University Title
unread,
Reminder: Talk by Professor Peter Bro Miltersen, today, 14.00, 305/053
Dear everyone ----------------------- Speaker: Professor Peter Bro Miltersen, Aarhus University Title
4/25/13
Jørgen Villadsen
4/1/13
MSc thesis defense: Johannes Svante Spurkeland
MSc thesis defense in AlgoLoG, Thursday 11 April 2013 15:30, building 322 room 033. Student: Johannes
unread,
MSc thesis defense: Johannes Svante Spurkeland
MSc thesis defense in AlgoLoG, Thursday 11 April 2013 15:30, building 322 room 033. Student: Johannes
4/1/13
Valentin Goranko
3/23/13
Vote today for Turing's Universal machine as the most important British innovation of the 20th Century
Dear AlgoLoG'ers See forwarded below. The least voting day is tomorrow. For your information,
unread,
Vote today for Turing's Universal machine as the most important British innovation of the 20th Century
Dear AlgoLoG'ers See forwarded below. The least voting day is tomorrow. For your information,
3/23/13
Thomas Bolander
3/22/13
Master thesis defense in Algolog on Epistemic Planning
Master thesis defense in Algolog. All are welcome. Time: Thursday, 4 April, 13.00. Place: build. 322,
unread,
Master thesis defense in Algolog on Epistemic Planning
Master thesis defense in Algolog. All are welcome. Time: Thursday, 4 April, 13.00. Place: build. 322,
3/22/13
Inge Li Gørtz
1/28/13
Fwd: [Theory-annc] TCS+ : an online seminar series
Berkeley are making their Theory seminar available to people all over the world. See below. -Inge ---
unread,
Fwd: [Theory-annc] TCS+ : an online seminar series
Berkeley are making their Theory seminar available to people all over the world. See below. -Inge ---
1/28/13
Philip Bille
1/17/13
Announcement
Algorithms project in collaboration with MaCom
As posted earlier there is an opportunity to work on several algorithmic challenges within the Lectio
unread,
Announcement
Algorithms project in collaboration with MaCom
As posted earlier there is an opportunity to work on several algorithmic challenges within the Lectio
1/17/13
Philip Bille
12/21/12
Open PhD Positions in Algorithms at Copenhagen University
Please see the full announcement here: http://www.diku.dk/english/about/vacancies/phd-algorithms-data
unread,
Open PhD Positions in Algorithms at Copenhagen University
Please see the full announcement here: http://www.diku.dk/english/about/vacancies/phd-algorithms-data
12/21/12
Philip Bille
, …
Philip Bille
3
12/14/12
Master Thesis Defense in Algorithms
The room has been changed to the larger 322/033. \Philip On Wednesday, December 5, 2012 2:45:28 PM
unread,
Master Thesis Defense in Algorithms
The room has been changed to the larger 322/033. \Philip On Wednesday, December 5, 2012 2:45:28 PM
12/14/12
Philip Bille
,
Thomas Bolander
2
11/28/12
Talk on software and innovation
Lyder spændende! Thomas On 27/11/2012, at 14.58, Philip Bille wrote: Maz Spork will give a talk on
unread,
Talk on software and innovation
Lyder spændende! Thomas On 27/11/2012, at 14.58, Philip Bille wrote: Maz Spork will give a talk on
11/28/12
Thomas Bolander
2
11/20/12
Master thesis defense in Algolog on Automated Planning
Sorry, I forgot time of day. It is at 13.00. Thomas On 20/11/2012, at 14.07, "Thomas Bolander
unread,
Master thesis defense in Algolog on Automated Planning
Sorry, I forgot time of day. It is at 13.00. Thomas On 20/11/2012, at 14.07, "Thomas Bolander
11/20/12
Jørgen Villadsen
11/9/12
Algolog Multi-Agent Programming Seminar 2012 (AMAPS2012)
Thursday 29 November 2012 13:00-16:00 DTU Building 305 Room 053 The focus of the seminar is on tools
unread,
Algolog Multi-Agent Programming Seminar 2012 (AMAPS2012)
Thursday 29 November 2012 13:00-16:00 DTU Building 305 Room 053 The focus of the seminar is on tools
11/9/12
Thomas Bolander
10/30/12
CHANGE OF LOCATION: Master thesis defense
Dear all, The location of Mikko's master thesis defense on Friday has changed to: room S10,
unread,
CHANGE OF LOCATION: Master thesis defense
Dear all, The location of Mikko's master thesis defense on Friday has changed to: room S10,
10/30/12
Philip Bille
,
Inge Li Gørtz
2
10/30/12
Master thesis project in string matching
We are searching for Msc. (or Bsc.) project students to work on plagiarism detection in a system used
unread,
Master thesis project in string matching
We are searching for Msc. (or Bsc.) project students to work on plagiarism detection in a system used
10/30/12