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 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
|
|||||
10-13 July 2008, Music and Language II, Tufts University, Boston, USA
This conference follows the successful conference on Music and Language held at Cambridge University in summer 2007. The conference will be held at Tufts University Perry and Marty Granoff Music Center. We will be honoring Ray Jackendoff and Fred Lerdahl on the occasion of the 25th Anniversary of their seminal work, "A Generative Theory of Tonal Music".
For more information, see http://musicandlanguage.tufts.edu/
We invite participants and presenters from all fields (music, psychology, linguistics, cognitive science, anthropology, etc.). Paper and poster submissions will be due by December 1, 2007. Further details about the conference and the paper/poster submission form will be available shortly on our website at: go.tufts.edu/musicandlanguage
15-17 February 2008, Conference "Because", Geneva, Switzerland
The Department of Philosophy of the University of Geneva and the Genevan centre of metaphysics EIDOS organize a conference entitled "Because", which will take place from the 15th to the 17th of February 2008 in Geneva. This three-day conference will be devoted to the topic of non-causal explanatory links.
For more information, see http://www.unige.ch/lettres/philo/because.html or contact Fabrice Correia at fabricecorreia at gmail.com.
We welcome submissions on the topic of the conference for 60 minute talks followed by a 30 minute discussion. The language of the conference is English. Submission deadline is December 1st, 2007.
3-14 December 2007, Logic Summer School, The Australian National University (ANU)
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 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."
Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.
3-14 December 2007, Logic Summer School, The Australian National University (ANU)
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 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."
Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.
3-14 December 2007, Logic Summer School, The Australian National University (ANU)
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 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."
Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.
5 December 2007, Set Theory and Its Neighbours 16, London, UK
A one-day conference in the series "Set theory and its neighbours" will take place on Wednesday, 5th December 2007 at the Department of Mathematics, University College London, 25 Gordon Street, London, WC1. There is no registration fee for the meeting.
We aim to keep the meetings fairly relaxed, allowing plenty of opportunity for informal discussion. We welcome and encourage anyone to participate. Please do tell anyone about the meeting who you think may be interested in it. We are happy for you to email us to let us know if you intend to come, but you are also very welcome simply to turn up on the day if you make a late decision. And let us know if you would like to speak or have ideas for speakers at future meetings.
For more information, see http://www.ucl.ac.uk/~ucahcjm/stn/stn16.html.
5-7 December 2007, "Mathematical Aspects of Computer and Information Sciences" MACIS 2007, Paris, France
Mathematical Aspects of Computer and Information Sciences (MACIS) is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences.
Each conference focuses on two or three themes. The themes for MACIS 2007 are: Computational Geometry and Computer Aided Geometric Design, Polynomial System Solving and Algorithms and Complexity
For more information, see http://www-spiral.lip6.fr/MACIS2007/
3-14 December 2007, Logic Summer School, The Australian National University (ANU)
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 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."
Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.
5-7 December 2007, "Mathematical Aspects of Computer and Information Sciences" MACIS 2007, Paris, France
Mathematical Aspects of Computer and Information Sciences (MACIS) is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences.
Each conference focuses on two or three themes. The themes for MACIS 2007 are: Computational Geometry and Computer Aided Geometric Design, Polynomial System Solving and Algorithms and Complexity
For more information, see http://www-spiral.lip6.fr/MACIS2007/
3-14 December 2007, Logic Summer School, The Australian National University (ANU)
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 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."
Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.
5-7 December 2007, "Mathematical Aspects of Computer and Information Sciences" MACIS 2007, Paris, France
Mathematical Aspects of Computer and Information Sciences (MACIS) is a new series of conferences where foundational research on theoretical and practical problems of mathematics for computing and information processing may be presented and discussed. MACIS also addresses experimental and case studies, scientific and engineering computation, design and implementation of algorithms and software systems, and applications of mathematical methods and tools to outstanding and emerging problems in applied computer and information sciences.
Each conference focuses on two or three themes. The themes for MACIS 2007 are: Computational Geometry and Computer Aided Geometric Design, Polynomial System Solving and Algorithms and Complexity
For more information, see http://www-spiral.lip6.fr/MACIS2007/
2007 7-9 December 2007, IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2007), Algarve, Portugal
The IADIS CELDA 2007 conference aims to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There have been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a fast pace and affecting academia and professional practice in many ways. This conference aims to cover both technological as well as pedagogical issues related to these developments.
For more information, see http://www.celda-conf.org/
3-14 December 2007, Logic Summer School, The Australian National University (ANU)
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 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."
Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.
2007 7-9 December 2007, IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2007), Algarve, Portugal
The IADIS CELDA 2007 conference aims to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There have been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a fast pace and affecting academia and professional practice in many ways. This conference aims to cover both technological as well as pedagogical issues related to these developments.
For more information, see http://www.celda-conf.org/
7-12 June 2008, 3rd International Computer Science Symposium (CSR 2008), Moscow, Russia
CSR 2008 is the third conference in a series of regular events started with CSR 2006 in St.Petersburg (see LNCS 3967) and CSR 2007 in Ekaterinburg (see LNCS 4649). It intends to reflect the broad scope of international cooperation in computer science. CSR 2008 consists of two tracks: Theory Track and Applications and Technology Track.
For more information, see http://csr2008.ru/ or email: info at csr2008.ru.
Authors are invited to submit an extended abstract or a full paper of at most 10 pages. Papers must present original (and not previously published) research. Deadline: December 9, 2007.
3-14 December 2007, Logic Summer School, The Australian National University (ANU)
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 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."
Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.
2007 7-9 December 2007, IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2007), Algarve, Portugal
The IADIS CELDA 2007 conference aims to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There have been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a fast pace and affecting academia and professional practice in many ways. This conference aims to cover both technological as well as pedagogical issues related to these developments.
For more information, see http://www.celda-conf.org/
3-14 December 2007, Logic Summer School, The Australian National University (ANU)
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 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."
Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.
3-14 December 2007, Logic Summer School, The Australian National University (ANU)
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 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."
Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.
3-14 December 2007, Logic Summer School, The Australian National University (ANU)
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 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."
Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.
3-14 December 2007, Logic Summer School, The Australian National University (ANU)
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 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."
Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.
3-14 December 2007, Logic Summer School, The Australian National University (ANU)
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 3 to the 14 of December 2007, at the Physics G6 lecture theatre at the ANU. The School will consist of short courses on aspects of pure and applied logic taught by experts from Australia and overseas. In addition to the scheduled courses, time will be set aside each day for practical classes, discussions and software demonstrations.
"We call this, 'two weeks of wall-to-wall logic'. The Logic and Computation group at ANU believe that logic is not just about computers, or computer scientists. We say that anything that makes sense can be subjected to logical analysis, which means that this School is attractive to any IT professionals, educators in logic and undergraduate students planning to do research in logic-related fields."
Deadline for early registration: 2 November 2007. For more information, see http://lss.rsise.anu.edu.au/.
14-15 December 2007, PALMYR-VI : Truth, Logic and Games, Amsterdam, the Netherlands
Truth, one might think, is at the heart of reasoning, and of logic. But logic has moved on from bivalence. - Witness intuitionistic, quantum and paraconsistent logics. Furthermore, truth itself is a philosophically sticky subject: The jury is still out as to whether it is nothing (as the view of the deflationist can be caricatured) or everything (including the basis for a theory of meaning, as the truth-conditional semanticist might hold). This movement away from a classical reliance on the received views on truth has, in logic, come accompanied with alternative (notably game-theoretical) semantics for logical languages.
We want to know what young researchers working on philosophical or technical issues related to contemporary theories of truth think about all this. Therefore we have decided that PALMYR VI will bring them together, along with two more experienced guest speakers, so that we can determine exactly that.
For more information, see https://www.illc.uva.nl/PALMYR/PALMYR-6/.
14-15 December 2007, Workshop on Automata and Logic, History and Perspectives, Aachen, Germany
The workshop, which is held on the occasion of Wolfgang Thomas's 60th birthday, is devoted to the theory of automata and its connection to mathematical logic, verification, and games.
The workshop will take place in Aachen, December 14 - 15, 2007 at the premises of the Computer Science Department of the RWTH Aachen. It will start on Friday, December 14, in the early afternoon, and will finish on Saturday, December 15, around noon. There is no registration fee, but registration is mandatory via the workshop homepage.
For more information, see http://www-i2.informatik.rwth-aachen.de/Events/WAL07/
13-18 July 2008, WCP4, The Fourth World Congress of Paraconsistency, Melbourne, Australia
The conference will focus on all areas related to paraconsistency,
especially
* Systems of paraconsistent logic
* Inconsistent mathematics
* Paraconsistency and information processing
* Paraconsistency and the philosophy of mathematics
* Paraconsistency and the philosophy of science
* Paraconsistency and the philosophy of logic
For more information, see http://www.philosophy.unimelb.edu.au/wcp4/ or subscribe to the announcement mailing list wcp4-info by sending the message 'subscribe wp4-info' to mailserv at unimelb.edu.au.
We invite submission of an abstract of no more than one page (250 words) by December 15. Email your submission to wcp4-submission at unimelb.edu.au. Text or PDF are preferred formats for submission, MS Word is acceptable.
18-21 June 2008, 7th Congress of the International Society for the History of Philosophy of Science (HOPOS-2008), Vancouver BC, Canada
The International Society for the History of Philosophy of Science (HOPOS) will hold its seventh international congress in Vancouver, Canada, June 18-21, 2008. The conference is open to scholarly work on the history of philosophy of science from any disciplinary perspective.
For more information, see http://www.hopos.org/hopos2008
Submissions of abstracts of papers of approximately 25-30 minutes' reading length, and of symposia of three to four thematically related papers will be considered for the program. All submissions must be received by 15 December 2007.
14-15 December 2007, PALMYR-VI : Truth, Logic and Games, Amsterdam, the Netherlands
Truth, one might think, is at the heart of reasoning, and of logic. But logic has moved on from bivalence. - Witness intuitionistic, quantum and paraconsistent logics. Furthermore, truth itself is a philosophically sticky subject: The jury is still out as to whether it is nothing (as the view of the deflationist can be caricatured) or everything (including the basis for a theory of meaning, as the truth-conditional semanticist might hold). This movement away from a classical reliance on the received views on truth has, in logic, come accompanied with alternative (notably game-theoretical) semantics for logical languages.
We want to know what young researchers working on philosophical or technical issues related to contemporary theories of truth think about all this. Therefore we have decided that PALMYR VI will bring them together, along with two more experienced guest speakers, so that we can determine exactly that.
For more information, see https://www.illc.uva.nl/PALMYR/PALMYR-6/.
14-15 December 2007, Workshop on Automata and Logic, History and Perspectives, Aachen, Germany
The workshop, which is held on the occasion of Wolfgang Thomas's 60th birthday, is devoted to the theory of automata and its connection to mathematical logic, verification, and games.
The workshop will take place in Aachen, December 14 - 15, 2007 at the premises of the Computer Science Department of the RWTH Aachen. It will start on Friday, December 14, in the early afternoon, and will finish on Saturday, December 15, around noon. There is no registration fee, but registration is mandatory via the workshop homepage.
For more information, see http://www-i2.informatik.rwth-aachen.de/Events/WAL07/
15-17 December 2007, The Eighth Asian Symposium on Computer Mathematics (ASCM 2007), Singapore
The Asian Symposium on Computer Mathematics (ASCM) is a series of conferences which serves as a forum for participants to present original research, learn of research progress and developments, and exchange ideas and views on doing mathematics using computers. ASCM 2007 will consist of invited talks, regular sessions of contributed papers, and software demonstrations.
For more information, see http://www.comp.nus.edu.sg/~ascm2007/ or contact raja at tifr.res.in
15-17 December 2007, The Eighth Asian Symposium on Computer Mathematics (ASCM 2007), Singapore
The Asian Symposium on Computer Mathematics (ASCM) is a series of conferences which serves as a forum for participants to present original research, learn of research progress and developments, and exchange ideas and views on doing mathematics using computers. ASCM 2007 will consist of invited talks, regular sessions of contributed papers, and software demonstrations.
For more information, see http://www.comp.nus.edu.sg/~ascm2007/ or contact raja at tifr.res.in
10-15 August 2008, International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia
IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events CADE, FroCoS, FTP and TABLEAUX. IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August.
For more information, see http://2008.IJCAR.org/
IJCAR 2008 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited (deadline for paper registration: 22nd February 2008), as well as workshop and tutorial proposals (deadline for proposal submissions: 17th December 2007).
15-17 December 2007, The Eighth Asian Symposium on Computer Mathematics (ASCM 2007), Singapore
The Asian Symposium on Computer Mathematics (ASCM) is a series of conferences which serves as a forum for participants to present original research, learn of research progress and developments, and exchange ideas and views on doing mathematics using computers. ASCM 2007 will consist of invited talks, regular sessions of contributed papers, and software demonstrations.
For more information, see http://www.comp.nus.edu.sg/~ascm2007/ or contact raja at tifr.res.in
17 December 2007, Symposium "Reflections on Type Theory, Lambda Calculus and the Mind", Celebrating Henk Barendregt's 60th birthday, Nijmegen, The Netherlands
Invited speakers include Corrado Böhm, Mariangiola Dezani-Ciancaglini, Jan Willem Klop, Jean-Jacques Lévy, Giuseppe Longo, Bill Phillips, Gordon Plotkin, Anne Speckens and Richard Statman.
Please register by sending a mail to barendregt60 at cs.ru.nl before 10 december. For more information, see http://www.cs.ru.nl/barendregt60/
17-19 December 2007, Sixteenth Amsterdam Colloquium 2007, Amsterdam
The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The spectrum of topics covered ranges from descriptive (syntactic and semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations, evolution and learning of language).
For more information, see
17-19 December 2007, 3rd Indian International Conference on Artificial Intelligence (IICAI-07), Pune, India
The 3rd Indian International Conference on Artificial Intelligence (IICAI-07) will be held in Pune, INDIA during December 17-19 2007. IICAI-07 is one of the major AI events in the world. This conference focuses on all areas of AI and related fields. Please visit on the conference website for more details.
For more information, see http://www.iiconference.org/
17-19 December 2007, Sixteenth Amsterdam Colloquium 2007, Amsterdam
The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The spectrum of topics covered ranges from descriptive (syntactic and semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations, evolution and learning of language).
For more information, see
17-19 December 2007, 3rd Indian International Conference on Artificial Intelligence (IICAI-07), Pune, India
The 3rd Indian International Conference on Artificial Intelligence (IICAI-07) will be held in Pune, INDIA during December 17-19 2007. IICAI-07 is one of the major AI events in the world. This conference focuses on all areas of AI and related fields. Please visit on the conference website for more details.
For more information, see http://www.iiconference.org/
17-19 December 2007, Sixteenth Amsterdam Colloquium 2007, Amsterdam
The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The spectrum of topics covered ranges from descriptive (syntactic and semantic analyses of all kinds of expressions) to theoretical (logical and computational properties of semantic theories, philosophical foundations, evolution and learning of language).
For more information, see
17-19 December 2007, 3rd Indian International Conference on Artificial Intelligence (IICAI-07), Pune, India
The 3rd Indian International Conference on Artificial Intelligence (IICAI-07) will be held in Pune, INDIA during December 17-19 2007. IICAI-07 is one of the major AI events in the world. This conference focuses on all areas of AI and related fields. Please visit on the conference website for more details.
For more information, see http://www.iiconference.org/
Special Issue of Studia Logic: 'Many valued Logic and Cognition'
Further to the highly successful Studia Logica International Conference Trends in Logic V, held in Guangzhou, China, during July 6-9, 2007, we cordially invite you to submit a paper for a special issue of Studia Logica devoted to Many-valued Logic and Cognition.
For more information, contact the Guest editors, Shier Ju (hssjse at mail.sysu.edu.cn) and Daniele Mundici (mundici at math.unifi.it). To submit, please send the PDF file of your paper to both editors before December 31, 2007.