These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << February 2009 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
2
|
3
|
4
|
5
|
6
|
7
|
|
8
|
9
|
10
|
11
|
12
|
13
|
14
|
|
15
|
16
|
17
|
18
|
19
|
20
|
21
|
|
22
|
23
|
24
|
25
|
26
|
27
|
28
|
29 July - 1 August 2009, Thirty-first annual meeting of the Cognitive Science Society in Amsterdam (CogSci 2009), Amsterdam
CogSci 2009 is the annual meeting of the Cognitive Science Society for basic and applied cognitive science research. Scientists from across the world submit their best work and attend CogSci to hear the latest theories and data from the world's best cognitive science researchers. This year the conference will be in the Netherlands for the first time, in Amsterdam. Invited speakers this year are Nikola Clayton, Randall O'Reilly, Joshua Tenenbaum, and the winners of the Rumelhart prize for Cognitive Science, Susan Carey, and Heineken prize for Cognitive Science, Stanislas Dehaene.
More information about the conference can be found through the Cognitive Science Society website: http://cognitivesciencesociety.org/conference2009/.
Researchers in Cognitive Science are invited to submit their best work to the conference by 1 February 2009 in the form of a six-page paper, a poster abstract (for members), or proposals for symposia, workshop or tutorials.
26 January - 6 February 2009, Summer Schools in Logic and Learning 2009, The Australian National University, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge.
Join us for a new summer school experience where you have a unique two week opportunity to combine the solid foundations of logic and machine learning, with an introductory track in artificial intelligence. Courses are taught by some of the world's leading computer scientists and blend practical and theoretical short courses with lectures and demonstrations in state-of-the-art computer facilities at ANU.
Details (including Fees and Registration, and Accommodation) are available from the website at http://ssll.cecs.anu.edu.au/.
26 January - 6 February 2009, Summer Schools in Logic and Learning, Canberra, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge. The Summer Schools in Logic and Learning bring together two annual summer schools in the area of logic and machine learning: the Logic Summer School and the Machine Learning Summer School.
The Logic courses will consist of short courses on aspects of pure and applied logic. The Machine Learning courses will consist of short courses on the theory and practice of machine learning, which combine deep theory from areas as diverse as Statistics, Mathematics, Engineering, and Information Technology with many practical and relevant real life applications. The courses will be taught by experts from Australia and overseas. The summer schools this year will also include a special track on Artificial Intelligence (AI), which will feature courses on aspects of both logic and machine learning. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
Deadline for early registration: 19 December 2008. For more information, an online registration form and a preliminary program, see http://ssll.cecs.anu.edu.au/
6-10 September 2009, 3rd Conference on Algebra and Coalgebra in Computer Science (CALCO 2009), Udine, Italy
CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). The conference brings together researchers and practitioners to exchange new results about both traditional and emerging uses of algebras and coalgebras in computer science.
CALCO 2009 will be preceded by two events on September 6, 2009:
* CALCO-jnr - a CALCO Young Researchers Workshop dedicated to
presentations by PhD students and by those who completed
their doctoral studies within the past few years.
* CALCO Tools Day - providing the opportunity to give system demonstrations of tools based on algebraic and coalgebraic principles. These include systems/prototypes/tools developed specifically for design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains but making core or interesting use of (co)algebraic techniques.
For more information, see http://www.dimi.uniud.it/calco09/
The Programme Committee invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of resulting technologies into industrial practice. Deadline for submissions is February 2nd, 2009 (February 24th for submissions to CALCO Tools day).
26 January - 6 February 2009, Summer Schools in Logic and Learning 2009, The Australian National University, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge.
Join us for a new summer school experience where you have a unique two week opportunity to combine the solid foundations of logic and machine learning, with an introductory track in artificial intelligence. Courses are taught by some of the world's leading computer scientists and blend practical and theoretical short courses with lectures and demonstrations in state-of-the-art computer facilities at ANU.
Details (including Fees and Registration, and Accommodation) are available from the website at http://ssll.cecs.anu.edu.au/.
26 January - 6 February 2009, Summer Schools in Logic and Learning, Canberra, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge. The Summer Schools in Logic and Learning bring together two annual summer schools in the area of logic and machine learning: the Logic Summer School and the Machine Learning Summer School.
The Logic courses will consist of short courses on aspects of pure and applied logic. The Machine Learning courses will consist of short courses on the theory and practice of machine learning, which combine deep theory from areas as diverse as Statistics, Mathematics, Engineering, and Information Technology with many practical and relevant real life applications. The courses will be taught by experts from Australia and overseas. The summer schools this year will also include a special track on Artificial Intelligence (AI), which will feature courses on aspects of both logic and machine learning. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
Deadline for early registration: 19 December 2008. For more information, an online registration form and a preliminary program, see http://ssll.cecs.anu.edu.au/
26 January - 6 February 2009, Summer Schools in Logic and Learning 2009, The Australian National University, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge.
Join us for a new summer school experience where you have a unique two week opportunity to combine the solid foundations of logic and machine learning, with an introductory track in artificial intelligence. Courses are taught by some of the world's leading computer scientists and blend practical and theoretical short courses with lectures and demonstrations in state-of-the-art computer facilities at ANU.
Details (including Fees and Registration, and Accommodation) are available from the website at http://ssll.cecs.anu.edu.au/.
26 January - 6 February 2009, Summer Schools in Logic and Learning, Canberra, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge. The Summer Schools in Logic and Learning bring together two annual summer schools in the area of logic and machine learning: the Logic Summer School and the Machine Learning Summer School.
The Logic courses will consist of short courses on aspects of pure and applied logic. The Machine Learning courses will consist of short courses on the theory and practice of machine learning, which combine deep theory from areas as diverse as Statistics, Mathematics, Engineering, and Information Technology with many practical and relevant real life applications. The courses will be taught by experts from Australia and overseas. The summer schools this year will also include a special track on Artificial Intelligence (AI), which will feature courses on aspects of both logic and machine learning. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
Deadline for early registration: 19 December 2008. For more information, an online registration form and a preliminary program, see http://ssll.cecs.anu.edu.au/
26 January - 6 February 2009, Summer Schools in Logic and Learning 2009, The Australian National University, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge.
Join us for a new summer school experience where you have a unique two week opportunity to combine the solid foundations of logic and machine learning, with an introductory track in artificial intelligence. Courses are taught by some of the world's leading computer scientists and blend practical and theoretical short courses with lectures and demonstrations in state-of-the-art computer facilities at ANU.
Details (including Fees and Registration, and Accommodation) are available from the website at http://ssll.cecs.anu.edu.au/.
26 January - 6 February 2009, Summer Schools in Logic and Learning, Canberra, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge. The Summer Schools in Logic and Learning bring together two annual summer schools in the area of logic and machine learning: the Logic Summer School and the Machine Learning Summer School.
The Logic courses will consist of short courses on aspects of pure and applied logic. The Machine Learning courses will consist of short courses on the theory and practice of machine learning, which combine deep theory from areas as diverse as Statistics, Mathematics, Engineering, and Information Technology with many practical and relevant real life applications. The courses will be taught by experts from Australia and overseas. The summer schools this year will also include a special track on Artificial Intelligence (AI), which will feature courses on aspects of both logic and machine learning. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
Deadline for early registration: 19 December 2008. For more information, an online registration form and a preliminary program, see http://ssll.cecs.anu.edu.au/
26 January - 6 February 2009, Summer Schools in Logic and Learning 2009, The Australian National University, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge.
Join us for a new summer school experience where you have a unique two week opportunity to combine the solid foundations of logic and machine learning, with an introductory track in artificial intelligence. Courses are taught by some of the world's leading computer scientists and blend practical and theoretical short courses with lectures and demonstrations in state-of-the-art computer facilities at ANU.
Details (including Fees and Registration, and Accommodation) are available from the website at http://ssll.cecs.anu.edu.au/.
26 January - 6 February 2009, Summer Schools in Logic and Learning, Canberra, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge. The Summer Schools in Logic and Learning bring together two annual summer schools in the area of logic and machine learning: the Logic Summer School and the Machine Learning Summer School.
The Logic courses will consist of short courses on aspects of pure and applied logic. The Machine Learning courses will consist of short courses on the theory and practice of machine learning, which combine deep theory from areas as diverse as Statistics, Mathematics, Engineering, and Information Technology with many practical and relevant real life applications. The courses will be taught by experts from Australia and overseas. The summer schools this year will also include a special track on Artificial Intelligence (AI), which will feature courses on aspects of both logic and machine learning. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
Deadline for early registration: 19 December 2008. For more information, an online registration form and a preliminary program, see http://ssll.cecs.anu.edu.au/
26 January - 6 February 2009, Summer Schools in Logic and Learning 2009, The Australian National University, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge.
Join us for a new summer school experience where you have a unique two week opportunity to combine the solid foundations of logic and machine learning, with an introductory track in artificial intelligence. Courses are taught by some of the world's leading computer scientists and blend practical and theoretical short courses with lectures and demonstrations in state-of-the-art computer facilities at ANU.
Details (including Fees and Registration, and Accommodation) are available from the website at http://ssll.cecs.anu.edu.au/.
26 January - 6 February 2009, Summer Schools in Logic and Learning, Canberra, Australia
One of the grand challenges in science and engineering is to build computer systems that are trustworthy and intelligent. While achieving this goal could be many decades away, computer systems are clearly getting smarter and more reliable year by year and human society is becoming more reliant on exploiting their increasing intelligence. Logic and machine learning are two indispensable parts of the efforts to meet this challenge. The Summer Schools in Logic and Learning bring together two annual summer schools in the area of logic and machine learning: the Logic Summer School and the Machine Learning Summer School.
The Logic courses will consist of short courses on aspects of pure and applied logic. The Machine Learning courses will consist of short courses on the theory and practice of machine learning, which combine deep theory from areas as diverse as Statistics, Mathematics, Engineering, and Information Technology with many practical and relevant real life applications. The courses will be taught by experts from Australia and overseas. The summer schools this year will also include a special track on Artificial Intelligence (AI), which will feature courses on aspects of both logic and machine learning. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
Deadline for early registration: 19 December 2008. For more information, an online registration form and a preliminary program, see http://ssll.cecs.anu.edu.au/
8 February 2009, Common Sense and Intelligent User Interfaces 2009: Story Understanding and Generation for Context-Aware Interface Design, Sanibel Island, Florida
Capturing common sense knowledge often involves uncovering the implicit, unstated assumptions behind communication, often best expressed through stories. Work in story representations dates back to Schank-style scripts and other efforts in the 80s, but recent developments have unleashed new potential in this area. The maturity of common sense knowledge bases such as Cyc, Open Mind and ThoughtTreasure; statistical and corpora-based natural language understanding techniques; the explosion of participatory knowledge collection over the Web; progress in cognitive science; the popularity of Web-based storytelling media such as blogs; and new common sense reasoning techniques are all enablers of the new generation of work on common sense stories.
We are accepting both papers and demos to our workshop. Submission deadline is November 20th. For more information, see http://csc.media.mit.edu/iuiStories/.
16-18 April 2009, Semantics and Philosophy in Europe (SPE), London, UK
The purpose of the colloquium is to enhance the dialogue between linguists and philosophers and to provide a new forum for presenting research in the interface between linguistic semantics and the various related areas of philosophy (philosophy of language, epistemology, metaphysics, philosophy of mathematics, and philosophy of mind). The colloquium is to take place every year, alternating between Paris, London, St Andrews, Barcelona and Oslo: this is the second colloquium.
For more information, see http://www.philosophy.sas.ac.uk/spe_cfp.php
We invite submissions to any of the interface areas of linguistics, semantics and philosophy for 40 minute talks. Two-page abstract of 1000 words maximum should be sent by email to philosophy at sas.ac.uk by February 12th 2009 (please put "SPE CFP" in subject header).
20-31 July 2009, 2009 ESSLLI Student Session, Bordeaux, France
The 2009 ESSLLI Student Session will take place from July 20 to July 31 in Bordeaux, France, as part of the annual European Summer School in Logic, Language, and Information. We hereby invite paper submissions from students in the areas of logic and computation, logic and language, and language and computation for presentation in the oral session or in the poster session. All submissions will be reviewed by three experts in the field, and those selected for presentation will be published in the proceedings. The Student Session is an excellent venue to present work in progress, and also to gain experience presenting one's research to a wide audience. As in previous years, Springer is offering 500 Euro in textbooks for the best paper award, and 250 Euro in textbooks to each of two runners-up. The extended deadline for submission is February 14, 2009.
For more details, please see the full call for papers: http://www.stanford.edu/~icard/esslli/call
20-24 July 2009, ViC 2009: Vagueness in Communication, Bordeaux, France
Although vagueness has long since been an important topic in philosophy, logic and linguistics, some recent advances have made the functions of vagueness in natural language communication an exciting and timely research area. This renewed interest has a distinct cross-disciplinary character and has spawned many new research questions. While the classical instruments of dealing with vagueness have not been significantly extended, new approaches investigate questions like context-sensitivity of vagueness, the sharpening of vague predicates in context, and the modeling of precision levels with expressions like 'roughly' or 'like'. On a more fundamental level, the question why there is vagueness to begin with, what role vagueness serves in human communication, has been addressed. Game-theoretic methods have been employed that show that being vague or imprecise can be beneficial for communication even if the speaker could truthfully use more precise terms (de Jaegher 2003). Furthermore, the important role of vagueness became evident in a number of empirical domains beyond obvious examples such as the language of diplomacy.
The ViC-2009 workshop is part of the European Summer School on Logic, Language and Information (ESSLLI 2009), and is organised as an event of the VAAG project of the ESF Eurocore LogicCC. It aims to provide a forum for researchers (including advanced PhD students) to present and discuss their work with colleagues and researchers who work in the broad subject of the disciplines relevant for particles and modal adverbs, as represented in ESSLLI.
For more information, see http://www.fit.fraunhofer.de/~hcschmitz/esslli2009/ or contact Rick Nouwen at rnouwen at gmail.com.
Authors are invited to submit an anonymous, extended abstract. Deadline for submissions is Febuary 15, 2009.
1-3 June 2009, 9th International Symposium on Logical Formalizations of Commonsense Reasoning, Toronto, Canada
One of the major long-term goals of AI is to endow computers with common sense. Although we know how to build programs that excel at certain bounded or mechanical tasks which humans find difficult, such as playing chess, we have very little idea how to program computers to do well at commonsense tasks which are easy for humans. One approach to this problem is to formalize commonsense reasoning using mathematical logic.
The symposium aims to bring together researchers who have studied the formalization of commonsense reasoning. The focus of the symposium is on representation rather than on algorithms, and on formal rather than informal methods.
For more information, see http://www.commonsensereasoning.org/
We aim for rigorous and concrete paper submissions. While mathematical logic is expected to be the primary lingua franca of the symposium, we also welcome papers using a rigorous but not logic-based representation of commonsense domains. Technical papers offering new results in the area are especially welcome; object-level theories as opposed to meta-level results are preferred. Papers should be submitted by February 16, 2009.
16-20 February 2009, Mini-course Highlights of Lambda Calculus and Term Rewriting Systems
This five day master class in lambda calculus and term rewriting is centered around some twenty of the main theorems, both classical and recent. Each theorem is treated in a syllabus chapter of 10 pages, concluded with a section of exercises and notes for follow-up subjects and further reading.
Deadline for registration is January 30th, 2009. For more information, see http://www.win.tue.nl/math/eidma/courses/minicourses/barendregtenklop/ or here. The complete programme may be found at http://www.cs.ru.nl/~henk/LC-TRS.pdf.
16-20 February 2009, Mini-course Highlights of Lambda Calculus and Term Rewriting Systems
This five day master class in lambda calculus and term rewriting is centered around some twenty of the main theorems, both classical and recent. Each theorem is treated in a syllabus chapter of 10 pages, concluded with a section of exercises and notes for follow-up subjects and further reading.
Deadline for registration is January 30th, 2009. For more information, see http://www.win.tue.nl/math/eidma/courses/minicourses/barendregtenklop/ or here. The complete programme may be found at http://www.cs.ru.nl/~henk/LC-TRS.pdf.
14-16 May 2009, Nordic Conference of Computational Linguistics (NODALIDA 2009), Odense, Denmark
The 17th Nordic Conference on Computational Linguistics will be held at the University of Southern Denmark in Odense, Denmark, on May 14-16, 2009, with two days for the main conference, and a separate day for workshops.
More information about the conference and local information about Odense will be available at the conference website at: http://beta.visl.sdu.dk/nodalida2009/, or by contacting nodalida2009 at visl.sdu.dk.
The Program Committee invites proposals for workshops on all aspects of language technology, as well as papers on substantial, original, and unpublished research. Deadlines for submissions are December 5th, 2008 (Workshop proposals), January 12, 2009 (regular and student papers), and February 18, 2009 (short papers).
16-20 February 2009, Mini-course Highlights of Lambda Calculus and Term Rewriting Systems
This five day master class in lambda calculus and term rewriting is centered around some twenty of the main theorems, both classical and recent. Each theorem is treated in a syllabus chapter of 10 pages, concluded with a section of exercises and notes for follow-up subjects and further reading.
Deadline for registration is January 30th, 2009. For more information, see http://www.win.tue.nl/math/eidma/courses/minicourses/barendregtenklop/ or here. The complete programme may be found at http://www.cs.ru.nl/~henk/LC-TRS.pdf.
18-20 February 2009, WALCOM 2009: Workshop on Algorithms and Computation, Kolkata (India)
The third International Workshop on Algorithms and Computation (WALCOM 2009) will take place in Kolkata, India, during February 18-20, 2009. The workshop is intended to provide a forum for researchers working in algorithms and theory of computation.
WALCOM 2009 will be preceded by the Second National Workshop on Nano-Science and Bio-chips (February 16-17, 2009), whose theme is "Combinatorial and Algorithmic aspects of Bio-chips"
Conference web site: http://www.isical.ac.in/~walcom.
16-20 February 2009, Mini-course Highlights of Lambda Calculus and Term Rewriting Systems
This five day master class in lambda calculus and term rewriting is centered around some twenty of the main theorems, both classical and recent. Each theorem is treated in a syllabus chapter of 10 pages, concluded with a section of exercises and notes for follow-up subjects and further reading.
Deadline for registration is January 30th, 2009. For more information, see http://www.win.tue.nl/math/eidma/courses/minicourses/barendregtenklop/ or here. The complete programme may be found at http://www.cs.ru.nl/~henk/LC-TRS.pdf.
18-20 February 2009, WALCOM 2009: Workshop on Algorithms and Computation, Kolkata (India)
The third International Workshop on Algorithms and Computation (WALCOM 2009) will take place in Kolkata, India, during February 18-20, 2009. The workshop is intended to provide a forum for researchers working in algorithms and theory of computation.
WALCOM 2009 will be preceded by the Second National Workshop on Nano-Science and Bio-chips (February 16-17, 2009), whose theme is "Combinatorial and Algorithmic aspects of Bio-chips"
Conference web site: http://www.isical.ac.in/~walcom.
19-20 February 2009, PhD's in Logic, Ghent
The aim of the colloquium is to bring together young researchers in the field of logic. During these two days there will be 6 tutorials in total, 3 about mathematical and 3 about philosophical logic. In addition, PhD students and postdocs in mathematical or philosophical logic are invited to give a presentation. Of course, everyone is kindly invited to attend the tutorials and contributed talks!
For more information, see http://www.phdsinlogic.ugent.be/.
19-20 February 2009, Colloquium "PhDs in Logic", Ghent, Belgium
The aim of the colloquium is to bring together young researchers in the field of logic. During these two days there will be 6 tutorials in total, 3 about mathematical and 3 about philosophical logic. In addition, PhD students and postdocs in mathematical or philosophical logic are invited to give a presentation. In combination with the planned social activity this will hopefully lead to a better overview of the current research in logic and even joint work.
For more information, see http://www.phdsinlogic.ugent.be/ or contact phdsinlogic at ugent.be.
16-20 February 2009, Mini-course Highlights of Lambda Calculus and Term Rewriting Systems
This five day master class in lambda calculus and term rewriting is centered around some twenty of the main theorems, both classical and recent. Each theorem is treated in a syllabus chapter of 10 pages, concluded with a section of exercises and notes for follow-up subjects and further reading.
Deadline for registration is January 30th, 2009. For more information, see http://www.win.tue.nl/math/eidma/courses/minicourses/barendregtenklop/ or here. The complete programme may be found at http://www.cs.ru.nl/~henk/LC-TRS.pdf.
18-20 February 2009, WALCOM 2009: Workshop on Algorithms and Computation, Kolkata (India)
The third International Workshop on Algorithms and Computation (WALCOM 2009) will take place in Kolkata, India, during February 18-20, 2009. The workshop is intended to provide a forum for researchers working in algorithms and theory of computation.
WALCOM 2009 will be preceded by the Second National Workshop on Nano-Science and Bio-chips (February 16-17, 2009), whose theme is "Combinatorial and Algorithmic aspects of Bio-chips"
Conference web site: http://www.isical.ac.in/~walcom.
19-20 February 2009, PhD's in Logic, Ghent
The aim of the colloquium is to bring together young researchers in the field of logic. During these two days there will be 6 tutorials in total, 3 about mathematical and 3 about philosophical logic. In addition, PhD students and postdocs in mathematical or philosophical logic are invited to give a presentation. Of course, everyone is kindly invited to attend the tutorials and contributed talks!
For more information, see http://www.phdsinlogic.ugent.be/.
19-20 February 2009, Colloquium "PhDs in Logic", Ghent, Belgium
The aim of the colloquium is to bring together young researchers in the field of logic. During these two days there will be 6 tutorials in total, 3 about mathematical and 3 about philosophical logic. In addition, PhD students and postdocs in mathematical or philosophical logic are invited to give a presentation. In combination with the planned social activity this will hopefully lead to a better overview of the current research in logic and even joint work.
For more information, see http://www.phdsinlogic.ugent.be/ or contact phdsinlogic at ugent.be.
26-28 February 2009, STACS 2009: Symposium on Theoretical Aspects of Computer Science, Freiburg, Germany
The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France. STACS 2009 will be held in the city of Freiburg (located in the Southern Black Forest) on February 26-28, 2009.
For more information, see http://stacs2009.informatik.uni-freiburg.de/
26-28 February 2009, STACS 2009: Symposium on Theoretical Aspects of Computer Science, Freiburg, Germany
The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France. STACS 2009 will be held in the city of Freiburg (located in the Southern Black Forest) on February 26-28, 2009.
For more information, see http://stacs2009.informatik.uni-freiburg.de/
21-24 June 2009, 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), Tokyo, Japan
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Sixteenth WoLLIC will be held at the National Institute of Informatics in Tokyo, Japan, from June 21 to 24, 2009.
As 2009 will mark the 60-th anniversary of the publication of Paul Erdos' elementary proof of the Prime Number Theorem, WoLLIC will celebrate this by screening the documentary about Paul Erdos which was directed by George Csicsery "N is a number - A Portrait of Paul Erdos".
For more information, see http://wollic.org/wollic2009/.
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. A title and single-paragraph abstract should be submitted by February 28.
26-28 February 2009, STACS 2009: Symposium on Theoretical Aspects of Computer Science, Freiburg, Germany
The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France. STACS 2009 will be held in the city of Freiburg (located in the Southern Black Forest) on February 26-28, 2009.
For more information, see http://stacs2009.informatik.uni-freiburg.de/