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.
| << October 2007 | ||||||
|---|---|---|---|---|---|---|
| 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
|
|||
Special issue on "Truth" in the Studia
Philosophica Estonica
Truth is one of the central subjects in philosophy. It is also one of the largest and perhaps oldest. Moreover, a huge variety of issues in philosophy relate to truth, either by relying on theses about truth, or implying theses about truth. Studia Philosophica Estonica welcomes all submission on the topic "truth", systematic discussions of conceptions of truth as well as historic discussions of theories of truth in the philosophical tradition. Studia Philosophica Estonica invites submissions for its next special issue on "Truth", due for publication in December 2007. Papers should be received through our online submission system no later than October 1st, 2007.
Submissions must be in English and conform to the submission standards of the journal and the methodological standards of analytic philosophy. All submissions must be prepared for blind review. For more information on online submissions, please see our submission guidelines (http://www.spe.ut.ee/ojs/index.php/spe/about/submissions#authorGuidelines).
2-4 January 2008, 10th International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida
The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the tenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions (including sessions on "Logic in AI" and "Computation and Social Choice").
For more information, see http://isaim2008.unl.edu/.
3-7 June 2008, 17th European Symposium for Medieval Logic and Semantics (XVII ESMLS): "Rise and Development of Supposition Theory", Leiden, The Netherlands
After L.M. de Rijk's monumental Logica Modernorum of 1962 and 1967, many important texts and interpretations have been brought forward. It is time to look with fresh eyes at the rise and development of supposition theory, especially its early phase.
For more information, see here or contact: e.p.bos at let.leidenuniv.nl.
Call for Papers: You are kindly invited to consider your participation to the symposium, be it as speaker or non-speaker. I kindly invite all participants to send me no later than October 1st 2007 the title of their paper.
1-5 October 2007, Seventh International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia
The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.
The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.
The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.
For more information, see https://www.illc.uva.nl/Tbilisi2007/.
1-5 October 2007, Seventh International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia
The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.
The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.
The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.
For more information, see https://www.illc.uva.nl/Tbilisi2007/.
1-5 October 2007, Seventh International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia
The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.
The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.
The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.
For more information, see https://www.illc.uva.nl/Tbilisi2007/.
3-5 October 2007, Synthese Annual Conference, "Between Logic and Intuition: David Lewis and the Future of Formal Methods in Philosophy", Copenhagen, Denmark
Synthese hosts its first annual conference at the Carlsberg Academy in Copenhagen, October 3- 5 , 2007. The conference is sponsored by PHIS - The Danish Research School in Philosophy, History of Ideas and History of Science and Springer. This conference serves as a tribute to Lewis and as a venue for adressing questions concerning the relationship between logic and philosophical intuition and the future of formal methods in philosophy. Invited speakers are John Collins, Alan Hajék, Hannes Leitgeb, Rohit Parikh and L.A. Paul.
Deadline for registration: October 1, 2007. To register, please write conference manager Peter Guldborg Hansen at pgh at ruc.dk and include "SAC 2007" in the subject entry. A conference fee of 150 Danish Kroner/day (450 Danish Kroner total) is to be paid cash upon final registration (Wednesday, October 3, 2007). For more information, see http://www.springer.com/west/home/philosophy?SGWID=4-40385-70-35761018-0
1-5 October 2007, Seventh International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia
The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.
The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.
The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.
For more information, see https://www.illc.uva.nl/Tbilisi2007/.
3-5 October 2007, Synthese Annual Conference, "Between Logic and Intuition: David Lewis and the Future of Formal Methods in Philosophy", Copenhagen, Denmark
Synthese hosts its first annual conference at the Carlsberg Academy in Copenhagen, October 3- 5 , 2007. The conference is sponsored by PHIS - The Danish Research School in Philosophy, History of Ideas and History of Science and Springer. This conference serves as a tribute to Lewis and as a venue for adressing questions concerning the relationship between logic and philosophical intuition and the future of formal methods in philosophy. Invited speakers are John Collins, Alan Hajék, Hannes Leitgeb, Rohit Parikh and L.A. Paul.
Deadline for registration: October 1, 2007. To register, please write conference manager Peter Guldborg Hansen at pgh at ruc.dk and include "SAC 2007" in the subject entry. A conference fee of 150 Danish Kroner/day (450 Danish Kroner total) is to be paid cash upon final registration (Wednesday, October 3, 2007). For more information, see http://www.springer.com/west/home/philosophy?SGWID=4-40385-70-35761018-0
1-5 October 2007, Seventh International Tbilisi Symposium on Language, Logic and Computation, Tbilisi, Georgia
The Seventh International Tbilisi Symposium on Language, Logic and Computation will be held on 1-5 October 2007 in the vicinity of Tbilisi, the capital of Georgia. The symposium is organised by the Centre for Language, Logic and Speech at Tbilisi State University, in conjunction with the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam.
The symposium will feature three invited tutorials as well as several invited talks. Furthermore, up to 30 contributed papers can be accepted for presentation. Anybody who has attended one of the previous editions of this event can confirm that these symposia constitute an unforgettable experience.
The event is co-located with the Third Vienna-Tbilisi Summer School in Logic and Languages, 24-28 September 2007.
For more information, see https://www.illc.uva.nl/Tbilisi2007/.
3-5 October 2007, Synthese Annual Conference, "Between Logic and Intuition: David Lewis and the Future of Formal Methods in Philosophy", Copenhagen, Denmark
Synthese hosts its first annual conference at the Carlsberg Academy in Copenhagen, October 3- 5 , 2007. The conference is sponsored by PHIS - The Danish Research School in Philosophy, History of Ideas and History of Science and Springer. This conference serves as a tribute to Lewis and as a venue for adressing questions concerning the relationship between logic and philosophical intuition and the future of formal methods in philosophy. Invited speakers are John Collins, Alan Hajék, Hannes Leitgeb, Rohit Parikh and L.A. Paul.
Deadline for registration: October 1, 2007. To register, please write conference manager Peter Guldborg Hansen at pgh at ruc.dk and include "SAC 2007" in the subject entry. A conference fee of 150 Danish Kroner/day (450 Danish Kroner total) is to be paid cash upon final registration (Wednesday, October 3, 2007). For more information, see http://www.springer.com/west/home/philosophy?SGWID=4-40385-70-35761018-0
10 October 2007, Workshop "Idealizations in Science", Tilburg, The Netherlands
Idealization is ubiquitous in scientific practice, yet there is little consensus in the extant philosophical literature on some of the most basic questions about idealization, such as: What exactly constitutes idealization? Is idealization compatible with realism? Are idealization and abstraction distinct? Should theorists work to eliminate idealizations as science progresses? Are there rules governing the rational use of idealization, or should a theorist's intuition alone guide the process? We would like to see more sustained philosophical analysis directed at these and related questions. To help accomplish this, we will assemble a small group of philosophers from diverse backgrounds for in depth discussion about the philosophical questions related to idealization. The workshop will be organized to maximize discussion time and to ensure that novel material about idealization is given maximum time for discussion. We are especially interested to discuss the more epistemological aspects of idealization, with a lesser emphasis on the detailed case studies that have dominated much of the recent literature.
For more information, see http://www.tilburguniversity.nl/faculties/humanities/tilps/idealizations/
11-13 October 2007, Models and Simulations 2, Tilburg, the Netherlands
Computer simulations play an important role in many scientific contexts, and they are often based on a particular model of the phenomenon under investigation. This raises questions both about the nature and methodology of simulations themselves, as well as their relations to models. These issues have recently attracted some attention, and were also discussed at the 'Models and Simulations' conference in Paris in June 2006. The aim of the present conference is both to provide a forum to continue ongoing debates and to try to slightly shift the focus of attention. So far case studies played an important role in the debates over models and simulations and a lot has been learned from them. We are now also interested in theoretical approaches that attempt to rationalize these cases and help furthering our philosophical understanding of how models and simulations explain, how they are confirmed, how they relate to theories and other models, and how they represent.
For more information, see http://www.tilburguniversity.nl/faculties/fww/tilps/MS2/
11-13 October 2007, Models and Simulations 2, Tilburg, the Netherlands
Computer simulations play an important role in many scientific contexts, and they are often based on a particular model of the phenomenon under investigation. This raises questions both about the nature and methodology of simulations themselves, as well as their relations to models. These issues have recently attracted some attention, and were also discussed at the 'Models and Simulations' conference in Paris in June 2006. The aim of the present conference is both to provide a forum to continue ongoing debates and to try to slightly shift the focus of attention. So far case studies played an important role in the debates over models and simulations and a lot has been learned from them. We are now also interested in theoretical approaches that attempt to rationalize these cases and help furthering our philosophical understanding of how models and simulations explain, how they are confirmed, how they relate to theories and other models, and how they represent.
For more information, see http://www.tilburguniversity.nl/faculties/fww/tilps/MS2/
12 October 2007, Workshop on "Learning Syntactic Structure"
On Friday, October 12th 2007, on the occasion of Yoav Seginer's PhD-defense, there will be workshop on "Learning Syntactic Structure"
10.00, Agnietenkapel, PhD defense Yoav Seginer
13.30, P3.27, lunch
14h00, P3.27, Alexander Clark, What makes languages learnable?
15h00 - 17h00, P3.27, discussion sessions (including coffee breaks)
For more information, see here
11-13 October 2007, Models and Simulations 2, Tilburg, the Netherlands
Computer simulations play an important role in many scientific contexts, and they are often based on a particular model of the phenomenon under investigation. This raises questions both about the nature and methodology of simulations themselves, as well as their relations to models. These issues have recently attracted some attention, and were also discussed at the 'Models and Simulations' conference in Paris in June 2006. The aim of the present conference is both to provide a forum to continue ongoing debates and to try to slightly shift the focus of attention. So far case studies played an important role in the debates over models and simulations and a lot has been learned from them. We are now also interested in theoretical approaches that attempt to rationalize these cases and help furthering our philosophical understanding of how models and simulations explain, how they are confirmed, how they relate to theories and other models, and how they represent.
For more information, see http://www.tilburguniversity.nl/faculties/fww/tilps/MS2/
15-19 October 2007, 14th International Conference on Logic for Programming
Artificial Intelligence and Reasoning (LPAR 2007), Yerevan, Armenia
15-19 October 2007, 14th International Conference on Logic for Programming
Artificial Intelligence and Reasoning (LPAR 2007), Yerevan, Armenia
15-19 October 2007, 14th International Conference on Logic for Programming
Artificial Intelligence and Reasoning (LPAR 2007), Yerevan, Armenia
15-19 October 2007, 14th International Conference on Logic for Programming
Artificial Intelligence and Reasoning (LPAR 2007), Yerevan, Armenia
18-20 October 2007, Intelligent and Distributed Computing (IDC 2007), Craiova, Romania
Intelligent computing is a quite mature field of information and communication technology covering a hybrid palette of methods and techniques derived from classical artificial intelligence, computational intelligence, multi-agent systems a.o. Intelligent computing is generally known to be computationally intensive from the point of view of resources required: time, memory, bandwidth. As this is usually thought to be a drawback, distributed computing is expected to give an impetus to its practical applications. Moreover, intelligent techniques have also proved their usefulness to core distributed computing technologies like: planning & scheduling, load balancing, replication, resource allocation and management, etc. Therefore, the emergent field of intelligent and distributed computing is expected to pose new challenges of adaptation and fruitful combination of both areas. The aim of this symposium is to bring together researchers involved in intelligent and distributed computing to allow cross-fertilization and synergy of ideas and to enable advancement of researches in the field.
For more information, see http://software.ucv.ro/~badica_costin/idc2007/
19-20 January 2008, Cambridge Graduate Conference on the Philosophy of Logic and Mathematics, Cambridge, U.K.
The Philosophy Faculty of Cambridge University is pleased to announce its first graduate conference on the Philosophy of Logic and Mathematics. The conference will be held in The Fisher Building of St. John's College, Cambridge (CB2 1TP).
The conference website is: http://www.phil.cam.ac.uk/news_events/camgradphilconf.html. If you have any further questions, please contact the conference organizers, Tim Button and Luca Incurvati, at: cam.phil.grad.conf at googlemail.com.
We invite papers from graduate students, or those who have recently completed their PhD, on any topic in the Philosophy of Logic and Mathematics, broadly construed. Papers will have respondents, and will be followed by open discussion. The deadline for receipt of submissions is 19th October 2007.
15-19 October 2007, 14th International Conference on Logic for Programming
Artificial Intelligence and Reasoning (LPAR 2007), Yerevan, Armenia
18-20 October 2007, Intelligent and Distributed Computing (IDC 2007), Craiova, Romania
Intelligent computing is a quite mature field of information and communication technology covering a hybrid palette of methods and techniques derived from classical artificial intelligence, computational intelligence, multi-agent systems a.o. Intelligent computing is generally known to be computationally intensive from the point of view of resources required: time, memory, bandwidth. As this is usually thought to be a drawback, distributed computing is expected to give an impetus to its practical applications. Moreover, intelligent techniques have also proved their usefulness to core distributed computing technologies like: planning & scheduling, load balancing, replication, resource allocation and management, etc. Therefore, the emergent field of intelligent and distributed computing is expected to pose new challenges of adaptation and fruitful combination of both areas. The aim of this symposium is to bring together researchers involved in intelligent and distributed computing to allow cross-fertilization and synergy of ideas and to enable advancement of researches in the field.
For more information, see http://software.ucv.ro/~badica_costin/idc2007/
19-20 October 2007, PhiMSAMP-2: Philosophy of Mathematics: Sociological Aspects and Mathematical Practice, Utrecht
PhiMSAMP-2 is a workshop of the PhiMSAMP network for its members. Part of the workshop is open for the general public, and we cordially invite all researchers and students in the vicinity of Utrecht to come. Friday evening, we will present research results of the PhiMSAMP network in short talks by Eva Wilhelmus, Dirk Schlimm, and Esther Ramharter. The whole Saturday is devoted to tutorials on methodology in the social sciences and cognitive science by leading researchers. These tutorials could be particularly interesting for graduate students who are most enthusiastically invited. Speakers include Vincent Buskens, Herbert Kalthoff, Hansjörg Neth and Keith Stenning.
For more information, see http://www.lib.uni-bonn.de/PhiMSAMP/PhiMSAMP2.html or contact Thomas Müller at <Thomas.Mueller at phil.uu.nl>
19-21 October 2007, International Conference on Quotation and Meaning (ICQM), Mainz, Germany
Quotation is a sort of metarepresentation that is found in all natural languages. Linguistic research has made clear that in quotation, there are complex syntactic, morphological and graphematic mechanisms at work. In philosophy of language, there are long-standing debates on quotation and paradoxes, on the use-mention distinction, and the meaning of quotation marks and quotation expressions. More recently, quotation has become a topic within the debate on the semantics/pragmatics distinction.
For more information, see http://www.zitatundbedeutung.uni-mainz.de/eng/icqm.php or contact Markus Steinbach at steinbac at uni-mainz.de.
18-20 October 2007, Intelligent and Distributed Computing (IDC 2007), Craiova, Romania
Intelligent computing is a quite mature field of information and communication technology covering a hybrid palette of methods and techniques derived from classical artificial intelligence, computational intelligence, multi-agent systems a.o. Intelligent computing is generally known to be computationally intensive from the point of view of resources required: time, memory, bandwidth. As this is usually thought to be a drawback, distributed computing is expected to give an impetus to its practical applications. Moreover, intelligent techniques have also proved their usefulness to core distributed computing technologies like: planning & scheduling, load balancing, replication, resource allocation and management, etc. Therefore, the emergent field of intelligent and distributed computing is expected to pose new challenges of adaptation and fruitful combination of both areas. The aim of this symposium is to bring together researchers involved in intelligent and distributed computing to allow cross-fertilization and synergy of ideas and to enable advancement of researches in the field.
For more information, see http://software.ucv.ro/~badica_costin/idc2007/
19-20 October 2007, PhiMSAMP-2: Philosophy of Mathematics: Sociological Aspects and Mathematical Practice, Utrecht
PhiMSAMP-2 is a workshop of the PhiMSAMP network for its members. Part of the workshop is open for the general public, and we cordially invite all researchers and students in the vicinity of Utrecht to come. Friday evening, we will present research results of the PhiMSAMP network in short talks by Eva Wilhelmus, Dirk Schlimm, and Esther Ramharter. The whole Saturday is devoted to tutorials on methodology in the social sciences and cognitive science by leading researchers. These tutorials could be particularly interesting for graduate students who are most enthusiastically invited. Speakers include Vincent Buskens, Herbert Kalthoff, Hansjörg Neth and Keith Stenning.
For more information, see http://www.lib.uni-bonn.de/PhiMSAMP/PhiMSAMP2.html or contact Thomas Müller at <Thomas.Mueller at phil.uu.nl>
19-21 October 2007, International Conference on Quotation and Meaning (ICQM), Mainz, Germany
Quotation is a sort of metarepresentation that is found in all natural languages. Linguistic research has made clear that in quotation, there are complex syntactic, morphological and graphematic mechanisms at work. In philosophy of language, there are long-standing debates on quotation and paradoxes, on the use-mention distinction, and the meaning of quotation marks and quotation expressions. More recently, quotation has become a topic within the debate on the semantics/pragmatics distinction.
For more information, see http://www.zitatundbedeutung.uni-mainz.de/eng/icqm.php or contact Markus Steinbach at steinbac at uni-mainz.de.
19-21 October 2007, International Conference on Quotation and Meaning (ICQM), Mainz, Germany
Quotation is a sort of metarepresentation that is found in all natural languages. Linguistic research has made clear that in quotation, there are complex syntactic, morphological and graphematic mechanisms at work. In philosophy of language, there are long-standing debates on quotation and paradoxes, on the use-mention distinction, and the meaning of quotation marks and quotation expressions. More recently, quotation has become a topic within the debate on the semantics/pragmatics distinction.
For more information, see http://www.zitatundbedeutung.uni-mainz.de/eng/icqm.php or contact Markus Steinbach at steinbac at uni-mainz.de.
22 October 2007, 1st international workshop on Game theory in Communication networks (GAMECOMM'07), Nantes, France
The Workshop on Game theory in Communication networks (GameComm) is a one-day event held in conjunction with the Second International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS'07 <http://www.valuetools.org/>).
Game theoretic approaches have been recently used to gain an understanding of the behavior of various systems in communication networks. Specifically, game theoretic models have helped understand Internet pricing, flow and congestion control, and routing. Application of game theory to communication networks has brought together researchers from a variety of disciplines, such as computer science, queueing, and optimal control.
This workshop is aimed at bringing together researchers, who are applying game theory to analyzing, designing, and assessing the performance of networks. The objective is to generate discussion of best practices in modeling, as well as limitations of game theory as a performance assessment and design tool for networks. Both the application of game theory to networking problems and the development of new game-theoretic methodologies that can be applied in that context are of interest.
For more information, see http://www.game-comm.org/
23-24 October 2007, 1st Witten Lectures in Economics and Philosophy: Kenneth Arrow, Witten, Germany
Witten/Herdecke University launches in 2007 the "Witten Lectures in Economics and Philosophy" which will be delivered annually at the University. Appointment as a Witten Lecturer is a recognition for uncommon achievement and outstanding quality in the field of economics and philosophy widely interpreted to include work that has fundamentally changed the way we think of the economic, political or social order.
Professor Kenneth Arrow, Stanford University, Nobel Laureate of Economics in 1972 will deliver the 1st Witten Lectures in Economics and Philosophy, titled "Social Values and Government Policy" (23 oktober) and "Social and Economic Values and Obligations" (24 oktober).
For more information, see http://wga.dmz.uni-wh.de/wiwi/html/default/
23-24 October 2007, 1st Witten Lectures in Economics and Philosophy: Kenneth Arrow, Witten, Germany
Witten/Herdecke University launches in 2007 the "Witten Lectures in Economics and Philosophy" which will be delivered annually at the University. Appointment as a Witten Lecturer is a recognition for uncommon achievement and outstanding quality in the field of economics and philosophy widely interpreted to include work that has fundamentally changed the way we think of the economic, political or social order.
Professor Kenneth Arrow, Stanford University, Nobel Laureate of Economics in 1972 will deliver the 1st Witten Lectures in Economics and Philosophy, titled "Social Values and Government Policy" (23 oktober) and "Social and Economic Values and Obligations" (24 oktober).
For more information, see http://wga.dmz.uni-wh.de/wiwi/html/default/