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.
| << December 2006 | ||||||
|---|---|---|---|---|---|---|
| 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
|
30
|
|
31
|
||||||
15-16 February 2007, Logic and Multi-Agent Systems (LAMAS), Otago, New Zealand
The workshop Logic and Multi-Agent Systems aims to provide a forum to foster lively and fruitful discussion on issues involved in logic and multiagent systems.
Particular topics of interest are:
1. Specification, verification, and synthesis of
multiagent systems
2. Description logics
3. Relation between temporal and dynamic logics
4. Automated reasoning and model checking
5. Security protocols
6. Models of peer-to-peer networking
7. Intelligent databases (with multiagent aspects)
8. Models of electronic institutions and contracts
For more information, see http://www.cs.otago.ac.nz/staffpriv/hans/lamas2.html
We solicit one page abstracts presenting advances in any area of relevance to the workshop themes. Submission deadline is 1 December 2006.
1-2 December 2006, Parikh Fest: "Logical methods in exact and social sciences", New York, USA
"Logical methods in exact and social sciences": a conference to commemorate the 70th birthday of Rohit Parikh, to be held at the CUNY Graduate Center 365 Fifth Avenue, New York. Sponsored by the MidAtlantic Mathematical Logic Seminar, New York Logic Colloquium, and CUNY Computer Science Colloquium.
For more information, see http://nylogic.org/Colloquium/ParikhFest
1-2 December 2006, Parikh Fest: "Logical methods in exact and social sciences", New York, USA
"Logical methods in exact and social sciences": a conference to commemorate the 70th birthday of Rohit Parikh, to be held at the CUNY Graduate Center 365 Fifth Avenue, New York. Sponsored by the MidAtlantic Mathematical Logic Seminar, New York Logic Colloquium, and CUNY Computer Science Colloquium.
For more information, see http://nylogic.org/Colloquium/ParikhFest
2-3 December 2006, CAMELEON meeting, Cambridge, UK
CAMELEON is a research group of logicians based in CAmbridgE LEeds Or Norwich. We are having a meeting in Cambridge on the weekend of 2-3 December 2006 with possibly some spillover events in the days leading up to it.
The details are very far from finalised: if you are able to come to Cambridge at that time - and would like to be kept au courant so that you can make up your mind whether or not to come, then contact Thomas Forster at tf at dpmms.cam.ac.uk. For more information, see also http://www.dpmms.cam.ac.uk/~tf/cameleon.html
2-3 December 2006, CAMELEON meeting, Cambridge, UK
CAMELEON is a research group of logicians based in CAmbridgE LEeds Or Norwich. We are having a meeting in Cambridge on the weekend of 2-3 December 2006 with possibly some spillover events in the days leading up to it.
The details are very far from finalised: if you are able to come to Cambridge at that time - and would like to be kept au courant so that you can make up your mind whether or not to come, then contact Thomas Forster at tf at dpmms.cam.ac.uk. For more information, see also http://www.dpmms.cam.ac.uk/~tf/cameleon.html
4-5 December 2006, 4th Paris-Amsterdam Logic Meeting of Young Researchers (PALMYR-4): Logics for Belief Dynamics, UvA, Amsterdam
Modern beliefs theories are able to shed light on dynamic processes involving beliefs, such as belief update, revision and fusion, because they use mathematical tools sophisticated enough to cope with such complex phenomena. The next PALMYR will be part of a conjoined effort between Amsterdam and Paris to bring young researchers to share their expertise and interest in mathematical approaches to belief dynamics.
Keynote speaker: Krister Segerberg (Uppsala) and Hans van Ditmarsch (Otago). Other speakers include Ivan José Varzinczak (IRIT), Brian Hill (Paris), Meghyn Bienvenu (IRIT), Paul Égré (CNRS), Tiago de Lima (IRIT), Cedric Paternotte (Paris), Guillaume Aucher (IRIT), Nicolas Troquard (IRIT), Mikaël Cozic (ENS Ulm)
For more information, see https://www.illc.uva.nl/PALMYR/PALMYR-4/ or contact: Olivier Roy (oroy at science.uva.nl)
4-8 December 2006, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Tasmania, Australia
AI 2006 is the 19th Australian Joint Conference on Artificial Intelligence. This conference series is Australia's premier venue for the dissemination of new research in both the theory and application of artificial intelligence. AI 2006 will be hosted by the University of Tasmania's School of Computing, and will be held in the beautiful city of Hobart, Tasmania from the 4th to the 8th of December.
For more information, see http://www.comp.utas.edu.au/ai06/
4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA
CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.
For more information, see http://www.cisse2006.org/ or mail to: info at cisse2006.org
4-15 December 2006, Logic Summer School, Canberra, Australia
The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaney at anu.edu.au
4-5 December 2006, 4th Paris-Amsterdam Logic Meeting of Young Researchers (PALMYR-4): Logics for Belief Dynamics, UvA, Amsterdam
Modern beliefs theories are able to shed light on dynamic processes involving beliefs, such as belief update, revision and fusion, because they use mathematical tools sophisticated enough to cope with such complex phenomena. The next PALMYR will be part of a conjoined effort between Amsterdam and Paris to bring young researchers to share their expertise and interest in mathematical approaches to belief dynamics.
Keynote speaker: Krister Segerberg (Uppsala) and Hans van Ditmarsch (Otago). Other speakers include Ivan José Varzinczak (IRIT), Brian Hill (Paris), Meghyn Bienvenu (IRIT), Paul Égré (CNRS), Tiago de Lima (IRIT), Cedric Paternotte (Paris), Guillaume Aucher (IRIT), Nicolas Troquard (IRIT), Mikaël Cozic (ENS Ulm)
For more information, see https://www.illc.uva.nl/PALMYR/PALMYR-4/ or contact: Olivier Roy (oroy at science.uva.nl)
4-8 December 2006, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Tasmania, Australia
AI 2006 is the 19th Australian Joint Conference on Artificial Intelligence. This conference series is Australia's premier venue for the dissemination of new research in both the theory and application of artificial intelligence. AI 2006 will be hosted by the University of Tasmania's School of Computing, and will be held in the beautiful city of Hobart, Tasmania from the 4th to the 8th of December.
For more information, see http://www.comp.utas.edu.au/ai06/
4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA
CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.
For more information, see http://www.cisse2006.org/ or mail to: info at cisse2006.org
4-15 December 2006, Logic Summer School, Canberra, Australia
The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaney at anu.edu.au
4-8 December 2006, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Tasmania, Australia
AI 2006 is the 19th Australian Joint Conference on Artificial Intelligence. This conference series is Australia's premier venue for the dissemination of new research in both the theory and application of artificial intelligence. AI 2006 will be hosted by the University of Tasmania's School of Computing, and will be held in the beautiful city of Hobart, Tasmania from the 4th to the 8th of December.
For more information, see http://www.comp.utas.edu.au/ai06/
4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA
CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.
For more information, see http://www.cisse2006.org/ or mail to: info at cisse2006.org
4-15 December 2006, Logic Summer School, Canberra, Australia
The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaney at anu.edu.au
6-8 December 2006, 1st International Workshop on Computational Social Choice (COMSOC-2006), ILLC, Amsterdam
Computational social choice is a new discipline emerging at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing (read more).
The 1st International Workshop on Computational Social Choice (COMSOC-2006) will take place on 6-8 December 2006 in Amsterdam. It will be hosted by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organise societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures (social software); and last but not least people coming from social choice theory itself.
COMSOC-2006 is generously funded by the NWO (Dutch Research Council), which will allow us to bring in several prominent scientists as invited speakers, whilst keeping registration fees very low.
The registration fee is €60 (€30 for (PhD) students). Please register by 16 November 2006. For more information, see https://www.illc.uva.nl/~ulle/COMSOC-2006/ or contact Ulle Endriss (ulle at illc.uva.nl).
4-8 December 2006, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Tasmania, Australia
AI 2006 is the 19th Australian Joint Conference on Artificial Intelligence. This conference series is Australia's premier venue for the dissemination of new research in both the theory and application of artificial intelligence. AI 2006 will be hosted by the University of Tasmania's School of Computing, and will be held in the beautiful city of Hobart, Tasmania from the 4th to the 8th of December.
For more information, see http://www.comp.utas.edu.au/ai06/
4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA
CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.
For more information, see http://www.cisse2006.org/ or mail to: info at cisse2006.org
4-15 December 2006, Logic Summer School, Canberra, Australia
The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaney at anu.edu.au
6-8 December 2006, 1st International Workshop on Computational Social Choice (COMSOC-2006), ILLC, Amsterdam
Computational social choice is a new discipline emerging at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing (read more).
The 1st International Workshop on Computational Social Choice (COMSOC-2006) will take place on 6-8 December 2006 in Amsterdam. It will be hosted by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organise societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures (social software); and last but not least people coming from social choice theory itself.
COMSOC-2006 is generously funded by the NWO (Dutch Research Council), which will allow us to bring in several prominent scientists as invited speakers, whilst keeping registration fees very low.
The registration fee is €60 (€30 for (PhD) students). Please register by 16 November 2006. For more information, see https://www.illc.uva.nl/~ulle/COMSOC-2006/ or contact Ulle Endriss (ulle at illc.uva.nl).
4-8 December 2006, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Tasmania, Australia
AI 2006 is the 19th Australian Joint Conference on Artificial Intelligence. This conference series is Australia's premier venue for the dissemination of new research in both the theory and application of artificial intelligence. AI 2006 will be hosted by the University of Tasmania's School of Computing, and will be held in the beautiful city of Hobart, Tasmania from the 4th to the 8th of December.
For more information, see http://www.comp.utas.edu.au/ai06/
4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA
CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.
For more information, see http://www.cisse2006.org/ or mail to: info at cisse2006.org
4-15 December 2006, Logic Summer School, Canberra, Australia
The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaney at anu.edu.au
6-8 December 2006, 1st International Workshop on Computational Social Choice (COMSOC-2006), ILLC, Amsterdam
Computational social choice is a new discipline emerging at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing (read more).
The 1st International Workshop on Computational Social Choice (COMSOC-2006) will take place on 6-8 December 2006 in Amsterdam. It will be hosted by the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. The aim of the workshop is to bring together different communities: computer scientists interested in computational issues in social choice; people working in artificial intelligence and multiagent systems who are using ideas from social choice to organise societies of artificial software agents; logicians interested in the logic-based specification and analysis of social procedures (social software); and last but not least people coming from social choice theory itself.
COMSOC-2006 is generously funded by the NWO (Dutch Research Council), which will allow us to bring in several prominent scientists as invited speakers, whilst keeping registration fees very low.
The registration fee is €60 (€30 for (PhD) students). Please register by 16 November 2006. For more information, see https://www.illc.uva.nl/~ulle/COMSOC-2006/ or contact Ulle Endriss (ulle at illc.uva.nl).
8-10 December 2006, Abstraction Workshop XI: "Status belli: Neo-Fregeans and Their Critics", St Andrews, Scotland
The eleventh and final Abstraction Workshop of Arché research project concerning The Logical and Metaphysical Foundations of Classical Mathematics is taking place in St Andrews, 8-10 December 2006, under the title "Status belli: Neo-Fregeans and Their Critics."
The workshop focuses on topics concerning the very heart of the Neo- Fregean programme. It revisits a variety of specific criticisms and trouble-spots, and evaluates what progress has been made on these issues, or might yet be made.
The programme of the workshop and more details can be found here: http://www.st-andrews.ac.uk/~arche/pages/workshops/abstractionwrks11.html. Please email us <arche at st-andrews.ac.uk> if you would like to register for the workshop.
8-10 December 2006, IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2006), Barcelona, Spain
The IADIS CELDA 2006 conference aims to address the main issues concerning with the evolving learning processes and supporting pedagogies and applications in digital age. There have been huge advancements in both cognitive psychology and computing that have affected the educational arena.
For more information, see http://www.iadis.org/celda2006/ E-mail: celda_sec at iadis.org
4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA
CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.
For more information, see http://www.cisse2006.org/ or mail to: info at cisse2006.org
4-15 December 2006, Logic Summer School, Canberra, Australia
The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaney at anu.edu.au
8-10 December 2006, Abstraction Workshop XI: "Status belli: Neo-Fregeans and Their Critics", St Andrews, Scotland
The eleventh and final Abstraction Workshop of Arché research project concerning The Logical and Metaphysical Foundations of Classical Mathematics is taking place in St Andrews, 8-10 December 2006, under the title "Status belli: Neo-Fregeans and Their Critics."
The workshop focuses on topics concerning the very heart of the Neo- Fregean programme. It revisits a variety of specific criticisms and trouble-spots, and evaluates what progress has been made on these issues, or might yet be made.
The programme of the workshop and more details can be found here: http://www.st-andrews.ac.uk/~arche/pages/workshops/abstractionwrks11.html. Please email us <arche at st-andrews.ac.uk> if you would like to register for the workshop.
8-10 December 2006, IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2006), Barcelona, Spain
The IADIS CELDA 2006 conference aims to address the main issues concerning with the evolving learning processes and supporting pedagogies and applications in digital age. There have been huge advancements in both cognitive psychology and computing that have affected the educational arena.
For more information, see http://www.iadis.org/celda2006/ E-mail: celda_sec at iadis.org
4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA
CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.
For more information, see http://www.cisse2006.org/ or mail to: info at cisse2006.org
4-15 December 2006, Logic Summer School, Canberra, Australia
The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaney at anu.edu.au
8-10 December 2006, Abstraction Workshop XI: "Status belli: Neo-Fregeans and Their Critics", St Andrews, Scotland
The eleventh and final Abstraction Workshop of Arché research project concerning The Logical and Metaphysical Foundations of Classical Mathematics is taking place in St Andrews, 8-10 December 2006, under the title "Status belli: Neo-Fregeans and Their Critics."
The workshop focuses on topics concerning the very heart of the Neo- Fregean programme. It revisits a variety of specific criticisms and trouble-spots, and evaluates what progress has been made on these issues, or might yet be made.
The programme of the workshop and more details can be found here: http://www.st-andrews.ac.uk/~arche/pages/workshops/abstractionwrks11.html. Please email us <arche at st-andrews.ac.uk> if you would like to register for the workshop.
8-10 December 2006, IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2006), Barcelona, Spain
The IADIS CELDA 2006 conference aims to address the main issues concerning with the evolving learning processes and supporting pedagogies and applications in digital age. There have been huge advancements in both cognitive psychology and computing that have affected the educational arena.
For more information, see http://www.iadis.org/celda2006/ E-mail: celda_sec at iadis.org
4-7 June 2007, Logical Foundations of Computer Science (LFCS'07), New York, USA
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science.
For more information, see http://www.cs.gc.cuny.edu/lfcs07
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (revised) is December 11, 2006.
4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA
CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.
For more information, see http://www.cisse2006.org/ or mail to: info at cisse2006.org
4-15 December 2006, Logic Summer School, Canberra, Australia
The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaney at anu.edu.au
11-13 December 2006, Nijmegen Lectures 2006, Paul Bloom
The Nijmegen Lectures 2006 committee is pleased to announce that the Nijmegen Lectures 2006 will take place on December 11th, 12th and 13th. In the Nijmegen Lectures series, a leading scientist in the fields of psychology or linguistics presents a three-day series of lectures and seminars. The purpose of the series is to allow broad and intensive coverage of research topics by providing extensive interaction among the invited speaker and the participants. This year's lectures will be given by Paul Bloom, Yale University.
Registration is mandatory both for mornings and afternoons, because seating is limited. We advise you to register as soon as possible (deadline November 30th).
For more information, including abtracts and a registration form, see http://www.mpi.nl/events/nijmegenlect/
4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA
CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.
For more information, see http://www.cisse2006.org/ or mail to: info at cisse2006.org
4-15 December 2006, Logic Summer School, Canberra, Australia
The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaney at anu.edu.au
11-13 December 2006, Nijmegen Lectures 2006, Paul Bloom
The Nijmegen Lectures 2006 committee is pleased to announce that the Nijmegen Lectures 2006 will take place on December 11th, 12th and 13th. In the Nijmegen Lectures series, a leading scientist in the fields of psychology or linguistics presents a three-day series of lectures and seminars. The purpose of the series is to allow broad and intensive coverage of research topics by providing extensive interaction among the invited speaker and the participants. This year's lectures will be given by Paul Bloom, Yale University.
Registration is mandatory both for mornings and afternoons, because seating is limited. We advise you to register as soon as possible (deadline November 30th).
For more information, including abtracts and a registration form, see http://www.mpi.nl/events/nijmegenlect/
4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA
CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.
For more information, see http://www.cisse2006.org/ or mail to: info at cisse2006.org
4-15 December 2006, Logic Summer School, Canberra, Australia
The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaney at anu.edu.au
11-13 December 2006, Nijmegen Lectures 2006, Paul Bloom
The Nijmegen Lectures 2006 committee is pleased to announce that the Nijmegen Lectures 2006 will take place on December 11th, 12th and 13th. In the Nijmegen Lectures series, a leading scientist in the fields of psychology or linguistics presents a three-day series of lectures and seminars. The purpose of the series is to allow broad and intensive coverage of research topics by providing extensive interaction among the invited speaker and the participants. This year's lectures will be given by Paul Bloom, Yale University.
Registration is mandatory both for mornings and afternoons, because seating is limited. We advise you to register as soon as possible (deadline November 30th).
For more information, including abtracts and a registration form, see http://www.mpi.nl/events/nijmegenlect/
13-15 December 2006, 26th Conference on Foundations of Software Technology and
Theoretical Computer Science (FSTTCS), Kolkata, India
IARCS, the Indian Association for Research in Computing Science announces the 26th Annual FSTTCS Conference in Kolkata (formerly Calcutta). The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.
For more information, see http://www.cse.iitd.ernet.in./~fsttcs26/
4-14 December 2006, The Second International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2006), University of Bridgeport, USA
CISSE 2006 provides a virtual forum for presentation and discussion of the state-of the-art research on computers, information and systems sciences and engineering. The CISSE 2006 virtual conference will be conducted through the Internet using web-conferencing tools, made available by the conference.
For more information, see http://www.cisse2006.org/ or mail to: info at cisse2006.org
4-15 December 2006, Logic Summer School, Canberra, Australia
The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaney at anu.edu.au
13-15 December 2006, 26th Conference on Foundations of Software Technology and
Theoretical Computer Science (FSTTCS), Kolkata, India
IARCS, the Indian Association for Research in Computing Science announces the 26th Annual FSTTCS Conference in Kolkata (formerly Calcutta). The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.
For more information, see http://www.cse.iitd.ernet.in./~fsttcs26/
14-15 December 2006, Formal Ontologies Meets Industry 2006 (FOMI 2006), University of Trento, Italy
FOMI aims to become an international forum where researchers in different disciplines and practitioners of various industry sectors meet to analyze and discuss issues related to methods, theories, research directions, tools and applications based on formal ontologies.
For more information, see http://www.loa-cnr.it/fomi
30 May - June 1, 2007, 8th Conference on Information Retrieval (RIAO 2007), Pittsburgh, USA
RIAO 2007 aims to present recent, substantial, original and unpublished research that has been validated to the level of the creation of a functioning prototype. We are interested in large-scale solutions to the problem of accessing the semantic content found in unstructured text, images, video and audio.
For more information, see http://www.riao.org/index_eng.php
We welcome submissions both from the research community and industry concerning the main conference theme of treating the semantic content of large quantities of text, images, videos, and sound. Papers must be submitted on the conference's web site: http://www.riao.org/cyberchair/cyberPapers/. Submission deadline is December 15th, 2006.
11-14 April 2007, Mathematical Foundations of Programming Semantics (MFPS XXIII), New Orleans, LA USA
The MFPS conferences are devoted to those areas of mathematics, logic, and computer science which are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest.
For more information, see http://www.math.tulane.edu/~mfps/mfps23.htm
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 15 December 2006.
4-15 December 2006, Logic Summer School, Canberra, Australia
The Computer Sciences Laboratory in the Research School of Information Sciences and Engineering at The Australian National University will host the Logic Summer School from the 4th to the 15th of December 2006, at the Physics G6 lecture theatre at the ANU.
The Logic Summer School comprises a blend of practical and theoretical short courses on aspects of pure and applied logic taught by international and national experts. Topics include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reasoning, Formal Methods, Knowledge representation and reasoning, non-classical logic, Computability and incompleteness.
Deadline for early registration: 27 November 2006. For more information, see http://lss.rsise.anu.edu.au/ or contact Professor John Slaney by email at: John.Slaney at anu.edu.au
13-15 December 2006, 26th Conference on Foundations of Software Technology and
Theoretical Computer Science (FSTTCS), Kolkata, India
IARCS, the Indian Association for Research in Computing Science announces the 26th Annual FSTTCS Conference in Kolkata (formerly Calcutta). The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.
For more information, see http://www.cse.iitd.ernet.in./~fsttcs26/
14-15 December 2006, Formal Ontologies Meets Industry 2006 (FOMI 2006), University of Trento, Italy
FOMI aims to become an international forum where researchers in different disciplines and practitioners of various industry sectors meet to analyze and discuss issues related to methods, theories, research directions, tools and applications based on formal ontologies.
For more information, see http://www.loa-cnr.it/fomi
22-25 May 2007, Theory and Applications of Models of Computation (TAMC07), Shanghai, China
The 4th Annual Conference on Theory and Applications of Models of Computation (TAMC07) will be held in Shanghai, China, May 22 to 25, 2007. Three previous annual meetings were held in 2004, 2005 and 2006, with enthusiastic participation from researchers all around the world. The three main themes of the conference TAMC07 will continue to be Computability, Complexity, and Algorithms. It aims to bring together researchers with an interest in theoretical computer science, algorithmic mathematics, and applications to the physical sciences.
For more information, see http://www.tamc2007.fudan.edu.cn/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: Dec. 18, 2006.
18-20 December 2006, 17th International Symposium on Algorithms and Computation (ISAAC 2006), Kolkata, India
The 17th International Symposium on Algorithms and Computation (ISAAC 2006) will take place at Taj Bengal Hotel, 5-star hotel in Kolkata, India, December 18-20, 2006. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation.
For more information, see http://www.iscal.ac.in/~ISAAC06/
18 December 2006, A Day of Books and People, VOC Building, Amsterdam
On Monday December 18th, 13 - 18 hours, ILLC and Elsevier are throwing a party to celebrate the appearance of a number of volumes in the the growing series "Handbook of the Philosophy of Science", edited by Dov Gabbay, Paul Thagard, & John Woods. More in particular, we will also launch the just-appeared "Handbook of Modal Logic", edited by Patrick Blackburn, Johan van Benthem & Frank Wolter. Many people at and around ILLC have contributed to this volume, but other 'prime movers' will be present as well, including the Series publishers that we have worked with for so long.
The event will include short presentations, displays, and some further social items. It is be held in the historical VOC Building in the centre of Amsterdam. See the webpage https://www.illc.uva.nl/lgc/HANDBOOK/ for details on the direction and the programme.
This is a chance to see authors and publishers who produce important defining documents in our world. All are welcome! If you have any questions or suggestions, please email Johan van Benthem.
18-20 December 2006, 17th International Symposium on Algorithms and Computation (ISAAC 2006), Kolkata, India
The 17th International Symposium on Algorithms and Computation (ISAAC 2006) will take place at Taj Bengal Hotel, 5-star hotel in Kolkata, India, December 18-20, 2006. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation.
For more information, see http://www.iscal.ac.in/~ISAAC06/
19 December 2006, Converging Paradigms? Comparing Temporal Frameworks for Logics of Knowledge, Belief, Action, and Choice, ILLC, Amsterdam
There will be a small workshop on December 19, 2006 in Room 3.27 (Euclides Building, Plantage Muidergracht 24). The main theme of the workshop is comparing and contrasting temporal frameworks for logics for knowledge, beliefs, actions and choices.
The invited speakers are Johan van Benthem, Jan van Eijk, Dov Gabbay, Valentin Goranko, Andreas Herzig and Wiebe van der Hoek.
See http://staff.science.uva.nl/~epacuit/socsit/ for more information. Space is limited, so please contact Eric Pacuit (epacuit at science.uva.nl) if you are planning on attending.
18-20 December 2006, 17th International Symposium on Algorithms and Computation (ISAAC 2006), Kolkata, India
The 17th International Symposium on Algorithms and Computation (ISAAC 2006) will take place at Taj Bengal Hotel, 5-star hotel in Kolkata, India, December 18-20, 2006. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation.
For more information, see http://www.iscal.ac.in/~ISAAC06/