The conference is dedicated to exploring new ideas on what has been and remains a fundamental theme in the philosophy of language, namely, the relation between meaning and truth. We invite papers from young researchers who have an original contribution to make regarding the role of truth in a theory of meaning, the role of meaning in a theory of truth, or even the question of whether meaning and truth are actually related in an interesting way.

The conference is motivated by the ongoing debates and discussions that pose new challenges on how to conceive of meaning and of truth, and the relation between them. Some areas of interest here include: truth-functional vs. proof-theoretic semantics; semantic theories of truth; the role of context in interpretation; semantic normativity; deflationism; meaning as use; inferentialism; compositionality; vagueness; the semantics-pragmatics interface; language evolution.

The program committee invites submissions in the form of short papers (not longer than 4000 words) accompanied by short abstracts (not longer than 500 words). The deadline for submission is June 10 and it should follow the on-line submission form, available on the conference website. Candidates eligible for submission are graduate students and those who have completed a doctoral dissertation within the last three years.

For more information, please visit the conference website at https://www.illc.uva.nl/agpc/agpc09/, or contact agpc at uva.nl

People do not experience the world solely as an ordered sequence of events. The timing of our perceptions and behaviors has as much of an impact on our experiences as the nature of the events themselves. Yet many of the representations currently used to model human behavior do not incorporate explicit models of the temporal expression of these stimuli or actions. Dynamic behavior is often modeled sequentially in such a way that its temporal resolution is reduced and potential nonstationarity is ignored for the sake of computational efficiency (as in Markov state-based models of behavior), and/or causal mappings between observations and behavior are simplified to mitigate the sparseness of available datasets. Given that any artificial agent designed to interact with people will be dealing with intelligent partners with rich mental representations of time, are we using the appropriate representations?

This symposium is oriented towards several different groups of researchers, including, but not limited to: computer scientists who use machine learning techniques to model human behavior, psychologists and neuroscientists who study social behavior, and designers of robots or computational artifacts that interact naturally with humans in real time. By bringing together members of these communities through a shared interest in temporal representations, our goal is to identify critical areas of study and promising techniques.

For more information, see http://asimov.usc.edu/~mower/aaai10ss_time/

The conference is dedicated to exploring new ideas on what has been and remains a fundamental theme in the philosophy of language, namely, the relation between meaning and truth. We invite papers from young researchers who have an original contribution to make regarding the role of truth in a theory of meaning, the role of meaning in a theory of truth, or even the question of whether meaning and truth are actually related in an interesting way.

The conference is motivated by the ongoing debates and discussions that pose new challenges on how to conceive of meaning and of truth, and the relation between them. Some areas of interest here include: truth-functional vs. proof-theoretic semantics; semantic theories of truth; the role of context in interpretation; semantic normativity; deflationism; meaning as use; inferentialism; compositionality; vagueness; the semantics-pragmatics interface; language evolution.

The program committee invites submissions in the form of short papers (not longer than 4000 words) accompanied by short abstracts (not longer than 500 words). The deadline for submission is June 10 and it should follow the on-line submission form, available on the conference website. Candidates eligible for submission are graduate students and those who have completed a doctoral dissertation within the last three years.

For more information, please visit the conference website at https://www.illc.uva.nl/agpc/agpc09/, or contact agpc at uva.nl

The conference is dedicated to exploring new ideas on what has been and remains a fundamental theme in the philosophy of language, namely, the relation between meaning and truth. We invite papers from young researchers who have an original contribution to make regarding the role of truth in a theory of meaning, the role of meaning in a theory of truth, or even the question of whether meaning and truth are actually related in an interesting way.

The conference is motivated by the ongoing debates and discussions that pose new challenges on how to conceive of meaning and of truth, and the relation between them. Some areas of interest here include: truth-functional vs. proof-theoretic semantics; semantic theories of truth; the role of context in interpretation; semantic normativity; deflationism; meaning as use; inferentialism; compositionality; vagueness; the semantics-pragmatics interface; language evolution.

The program committee invites submissions in the form of short papers (not longer than 4000 words) accompanied by short abstracts (not longer than 500 words). The deadline for submission is June 10 and it should follow the on-line submission form, available on the conference website. Candidates eligible for submission are graduate students and those who have completed a doctoral dissertation within the last three years.

For more information, please visit the conference website at https://www.illc.uva.nl/agpc/agpc09/, or contact agpc at uva.nl

The 20th International Conference on Algorithmic Learning Theory (ALT 2009) will be held at the University of Porto, Portugal, October 3 - 5, 2009. The conference is on the theoretical foundations of machine learning. The conference will be co-located with the 12th International Conference on Discovery Science (DS 2009).

ALT 2009 homepage: http://www-alg.ist.hokudai.ac.jp/~thomas/ALT09/alt09.jhtml

The 20th International Conference on Algorithmic Learning Theory (ALT 2009) will be held at the University of Porto, Portugal, October 3 - 5, 2009. The conference is on the theoretical foundations of machine learning. The conference will be co-located with the 12th International Conference on Discovery Science (DS 2009).

ALT 2009 homepage: http://www-alg.ist.hokudai.ac.jp/~thomas/ALT09/alt09.jhtml

The 20th International Conference on Algorithmic Learning Theory (ALT 2009) will be held at the University of Porto, Portugal, October 3 - 5, 2009. The conference is on the theoretical foundations of machine learning. The conference will be co-located with the 12th International Conference on Discovery Science (DS 2009).

ALT 2009 homepage: http://www-alg.ist.hokudai.ac.jp/~thomas/ALT09/alt09.jhtml

AAMAS is the leading scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 by merging three highly-respected meetings: International Conference on Multi-Agent Systems (ICMAS); International Workshop on Agent Theories, Architectures, and Languages (ATAL); and International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally-respected archival forum for scientific research in the theory and practice of autonomous agents and multi-agent systems. AAMAS-2010 is the Ninth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Sheraton Centre Toronto Hotel in downtown Toronto.

For more information, see http://www.cse.yorku.ca/AAMAS2010/

The First International Workshop on Logic, Rationality and Interaction (LORI-I) took place in Beijing in August 2007, with participation by researchers from artificial intelligence, game theory, linguistics, logic, philosophy, and cognitive science. The workshop led to great advances in mutual understanding, both academically and culturally, between Chinese and foreign logicians. Due to the success of LORI-I, we have decided to continue organizing LORI at various places in China and possibly other countries in Asia and the Pacific Area in the future.

The Second International Workshop on Logic, Rationality and Interaction (LORI-II) will take place in Chongqing, China, during October 8-11, 2009. The Workshop will feature a distinguished roster of invited speakers, refereed contributed papers, poster and tutorials sessions for students, as well as cultural events and excursions.

For more information, see http://loriweb.org/lori2009

The First International Workshop on Logic, Rationality and Interaction (LORI-I) took place in Beijing in August 2007, with participation by researchers from artificial intelligence, game theory, linguistics, logic, philosophy, and cognitive science. The workshop led to great advances in mutual understanding, both academically and culturally, between Chinese and foreign logicians. Due to the success of LORI-I, we have decided to continue organizing LORI at various places in China and possibly other countries in Asia and the Pacific Area in the future.

The Second International Workshop on Logic, Rationality and Interaction (LORI-II) will take place in Chongqing, China, during October 8-11, 2009. The Workshop will feature a distinguished roster of invited speakers, refereed contributed papers, poster and tutorials sessions for students, as well as cultural events and excursions.

For more information, see http://loriweb.org/lori2009

The First International Workshop on Logic, Rationality and Interaction (LORI-I) took place in Beijing in August 2007, with participation by researchers from artificial intelligence, game theory, linguistics, logic, philosophy, and cognitive science. The workshop led to great advances in mutual understanding, both academically and culturally, between Chinese and foreign logicians. Due to the success of LORI-I, we have decided to continue organizing LORI at various places in China and possibly other countries in Asia and the Pacific Area in the future.

The Second International Workshop on Logic, Rationality and Interaction (LORI-II) will take place in Chongqing, China, during October 8-11, 2009. The Workshop will feature a distinguished roster of invited speakers, refereed contributed papers, poster and tutorials sessions for students, as well as cultural events and excursions.

For more information, see http://loriweb.org/lori2009

The tenth annual Midwest PhilMath Workshop (MWPMW 10) will be held at Notre Dame the weekend of Saturday, October 10th and Sunday, October 11th. There will be a full day of talks and discussions for Saturday and a half day for Sunday, as well as a workshop dinner Saturday evening, with all participants invited to attend as guests of the university. Some special events are planned to mark the tenth anniversary of the workshop. Some of these will occur as part of the workshop. Hugh Woodin and Tony Martin will be joining us and giving talks as part of a special session on set theory and philosophical questions concerning it. There will also be a special meeting of the Notre Dame weekly Logic Seminar in connection with this.

For more information, see the website at http://philosophy.nd.edu/news/events/philosophy-math-conference/.

The First International Workshop on Logic, Rationality and Interaction (LORI-I) took place in Beijing in August 2007, with participation by researchers from artificial intelligence, game theory, linguistics, logic, philosophy, and cognitive science. The workshop led to great advances in mutual understanding, both academically and culturally, between Chinese and foreign logicians. Due to the success of LORI-I, we have decided to continue organizing LORI at various places in China and possibly other countries in Asia and the Pacific Area in the future.

The Second International Workshop on Logic, Rationality and Interaction (LORI-II) will take place in Chongqing, China, during October 8-11, 2009. The Workshop will feature a distinguished roster of invited speakers, refereed contributed papers, poster and tutorials sessions for students, as well as cultural events and excursions.

For more information, see http://loriweb.org/lori2009

The tenth annual Midwest PhilMath Workshop (MWPMW 10) will be held at Notre Dame the weekend of Saturday, October 10th and Sunday, October 11th. There will be a full day of talks and discussions for Saturday and a half day for Sunday, as well as a workshop dinner Saturday evening, with all participants invited to attend as guests of the university. Some special events are planned to mark the tenth anniversary of the workshop. Some of these will occur as part of the workshop. Hugh Woodin and Tony Martin will be joining us and giving talks as part of a special session on set theory and philosophical questions concerning it. There will also be a special meeting of the Notre Dame weekly Logic Seminar in connection with this.

For more information, see the website at http://philosophy.nd.edu/news/events/philosophy-math-conference/.

IMSCIT is a multi-disciplinary conference gathering scientists form the different fields of IT & Computer Science together with representatives of industry and end-users. IMSCIT with its motto: "new ideas are born not inside peoples' heads but in the space between them", quickly became a unique place to share thoughts and ideas. This year's gathering is held in October 2009 in a beautiful town of Mragowo in the midst of Mazury Lake Country.

The CLA Workshop is located within the framework of the IMCSIT conference to create a dialog between researchers and practitioners involved in Computational Linguistics and related areas of Information Technology. The Workshop will focus on practical outcome of modeling human language use and the applications needed to improve human-machine interaction.

For more information, see http://cla.imcsit.org/

IMSCIT is a multi-disciplinary conference gathering scientists form the different fields of IT & Computer Science together with representatives of industry and end-users. IMSCIT with its motto: "new ideas are born not inside peoples' heads but in the space between them", quickly became a unique place to share thoughts and ideas. This year's gathering is held in October 2009 in a beautiful town of Mragowo in the midst of Mazury Lake Country.

The CLA Workshop is located within the framework of the IMCSIT conference to create a dialog between researchers and practitioners involved in Computational Linguistics and related areas of Information Technology. The Workshop will focus on practical outcome of modeling human language use and the applications needed to improve human-machine interaction.

For more information, see http://cla.imcsit.org/

IMSCIT is a multi-disciplinary conference gathering scientists form the different fields of IT & Computer Science together with representatives of industry and end-users. IMSCIT with its motto: "new ideas are born not inside peoples' heads but in the space between them", quickly became a unique place to share thoughts and ideas. This year's gathering is held in October 2009 in a beautiful town of Mragowo in the midst of Mazury Lake Country.

The CLA Workshop is located within the framework of the IMCSIT conference to create a dialog between researchers and practitioners involved in Computational Linguistics and related areas of Information Technology. The Workshop will focus on practical outcome of modeling human language use and the applications needed to improve human-machine interaction.

For more information, see http://cla.imcsit.org/

Biological and natural processes have always been a source of inspiration for computer science and information technology. It is well known that biological entities, from single cell organisms -like bacteria- to humans, often engage in a rich repertoire of social interaction that could range from altruistic cooperation through open conflict. One specific kind of social interaction is cooperative problem solving (CPS), where a group of autonomous entities work together in order to achieve certain goal. The NICSO 2010 aims at promoting cooperative problem solving strategies bringing together international researchers and practitioners from different disciplines in order to discuss the investigations and exchange ideas on the current state of the art of the topic.

The conference seeks contributions that are inspired by Nature and that encompass a range of spatio-temporal scales, for visionary conceptions of information processing and computation as pertaining to cooperation mechanisms in the context of problem solving. Full paper submission deadline: October 15, 2009. For more information, please visit http://www.nicso2010.org/.

Computability theory and complexity theory have their origins in logic. Famous names such as Goedel, Turing, Cook, and Kolmogorov connect these areas of computer science to foundations of mathematics. The fundamental goal of this area is to understand the limits of computability (that is analysing which problems can be solved on nowadays and future computers in principle) and effective computability (that is understanding the class of problems which can be solved quickly and with restricted resources) where the most famous open problem is the P=NP-problem. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide a deep insight in the structure of limit of computation.

In our workshop, we shall focus on the following aspects: logical descriptions of complexity (e.g., descriptive complexity, bounded arithmetic), complexity classes of abstract, algebraic and infinite structures, barriers in proving complexity results, and Kolmogorov complexity and randomness.

Some of these aspects are particularly timely: recently, research in these areas became more intense. Part of this is the new conference series CiE (run by the Association for Computability in Europe) whose range of interests includes those of our workshop, creating an important focus on the emerging topics of the field. This workshop is intended as a research-oriented follow-up to the CiE conferences, allowing researchers ample time for discussions and joint work.

For more information, see http://www.cs.swan.ac.uk/greifswald2010/

The purpose of SAGT is to bring together researchers from Computer Science, Economics and Mathematics to present and discuss original research at the intersection of Algorithms and Game Theory.

For more information, see http://www.cs.ucy.ac.cy/~mavronic/sagt2009/

The purpose of SAGT is to bring together researchers from Computer Science, Economics and Mathematics to present and discuss original research at the intersection of Algorithms and Game Theory.

For more information, see http://www.cs.ucy.ac.cy/~mavronic/sagt2009/

The purpose of SAGT is to bring together researchers from Computer Science, Economics and Mathematics to present and discuss original research at the intersection of Algorithms and Game Theory.

For more information, see http://www.cs.ucy.ac.cy/~mavronic/sagt2009/

Next October (21--22) a workshop in the philosophy of mathematics will be held at the University of Nancy 2. This is envisioned as the first in a continuing, annual series of workshops organized by a team of scholars from Paris, Nancy and elsewhere in France. The two day meeting will feature both invited and contributed talks. Deadline for the submission: July 31.

For more information, see http://poincare.univ-nancy2.fr/Activites/?contentId=6242&languageId=1

After its successful first conference in Madrid in November 2007, the second conference of the European Philosophy of Science Association (EPSA) will take place at VU University Amsterdam from 21-24 October 2009.

For more information, see http://www.epsa09.org

Next October (21--22) a workshop in the philosophy of mathematics will be held at the University of Nancy 2. This is envisioned as the first in a continuing, annual series of workshops organized by a team of scholars from Paris, Nancy and elsewhere in France. The two day meeting will feature both invited and contributed talks. Deadline for the submission: July 31.

For more information, see http://poincare.univ-nancy2.fr/Activites/?contentId=6242&languageId=1

After its successful first conference in Madrid in November 2007, the second conference of the European Philosophy of Science Association (EPSA) will take place at VU University Amsterdam from 21-24 October 2009.

For more information, see http://www.epsa09.org

This workshop aims to provide an opportunity to discuss and further develop the current research directions on the topic of Dependence Logic, Dependence Friendly Logic, and Independence Friendly Logic, such as the investigation of their proof- and model-theoretic properties, their extensions and their relations to each other and to other formalisms.

The workshop organizers are Jouko Väänänen and Dag Westerståhl. If you intend to come to the workshop, please send Jouko a message, preferably no later than November 1. For more information, see https://www.illc.uva.nl/lint/deplog01.php

After its successful first conference in Madrid in November 2007, the second conference of the European Philosophy of Science Association (EPSA) will take place at VU University Amsterdam from 21-24 October 2009.

For more information, see http://www.epsa09.org

NAP is the abbreviation of Nieuw Amsterdams Peil and this day is meant for junior researchers to present their (ongoing) research. The NAPdag will be a full day of presentations, including social events like having lunch and drinks afterwards.

Because of the growing collaboration between the two research institutes, there will be presentations of PhD's from the ACLC as well as from the ILLC. Attendance is free, but if you wish to join the (free) lunch, please send an email to the organizers.

For more information, see here or http://www.hum.uva.nl/aclc/object.cfm/4317883A-3102-4F8A-A31CBC1402EBC5E4/, or contact the organizers at napdag2009 at gmail.com.

After its successful first conference in Madrid in November 2007, the second conference of the European Philosophy of Science Association (EPSA) will take place at VU University Amsterdam from 21-24 October 2009.

For more information, see http://www.epsa09.org

The 50th Annual Symposium on Foundations of Computer Science (FOCS2009), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in at the Renaissance Atlanta Hotel Downtown in Atlanta, GA, October 24-27, 2009. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, computational game theory, algorithmic graph theory and combinatorics, optimization, randomness in computing, parallel and distributed computing, machine learning, applications of logic, algorithmic algebra and coding theory, theoretical aspects of databases, information retrieval, networks, computational biology, robotics, and quantum computing.

For more information, see http://www.cs.yale.edu/focs09 or contact the Local Arrangements Chairs, Milena Mihail and Prasad Tetali, by email to focs2009 at cc.gatech.edu or focs2009.local at gmail.com.

The 50th Annual Symposium on Foundations of Computer Science (FOCS2009), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in at the Renaissance Atlanta Hotel Downtown in Atlanta, GA, October 24-27, 2009. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, computational game theory, algorithmic graph theory and combinatorics, optimization, randomness in computing, parallel and distributed computing, machine learning, applications of logic, algorithmic algebra and coding theory, theoretical aspects of databases, information retrieval, networks, computational biology, robotics, and quantum computing.

For more information, see http://www.cs.yale.edu/focs09 or contact the Local Arrangements Chairs, Milena Mihail and Prasad Tetali, by email to focs2009 at cc.gatech.edu or focs2009.local at gmail.com.

The 50th Annual Symposium on Foundations of Computer Science (FOCS2009), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in at the Renaissance Atlanta Hotel Downtown in Atlanta, GA, October 24-27, 2009. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, computational game theory, algorithmic graph theory and combinatorics, optimization, randomness in computing, parallel and distributed computing, machine learning, applications of logic, algorithmic algebra and coding theory, theoretical aspects of databases, information retrieval, networks, computational biology, robotics, and quantum computing.

For more information, see http://www.cs.yale.edu/focs09 or contact the Local Arrangements Chairs, Milena Mihail and Prasad Tetali, by email to focs2009 at cc.gatech.edu or focs2009.local at gmail.com.

The 50th Annual Symposium on Foundations of Computer Science (FOCS2009), sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, will be held in at the Renaissance Atlanta Hotel Downtown in Atlanta, GA, October 24-27, 2009. Typical but not exclusive topics of interest include: algorithms and data structures, computational complexity, cryptography, computational geometry, computational game theory, algorithmic graph theory and combinatorics, optimization, randomness in computing, parallel and distributed computing, machine learning, applications of logic, algorithmic algebra and coding theory, theoretical aspects of databases, information retrieval, networks, computational biology, robotics, and quantum computing.

For more information, see http://www.cs.yale.edu/focs09 or contact the Local Arrangements Chairs, Milena Mihail and Prasad Tetali, by email to focs2009 at cc.gatech.edu or focs2009.local at gmail.com.

At the workshop there will be sessions on algebra (Fred Richman), analysis (Doug Bridges), topology (Bas Spitters), and set theory (Michael Rathjen). The workshop will conclude with a talk by Vladimir Lifschitz on constructive mathematics and computer science aimed at a general mathematics audience. The special session will be part of the AMS sectional meeting at FAU, (http://www.ams.org/amsmtgs/2161_program.html).

For more information, see http://math.fau.edu/Richman/Worshop/ or contact the organizers (Robert Lubarsky, Fred Richman, and Marty Solomon) at Robert.Lubarsky at comcast.net.

At the workshop there will be sessions on algebra (Fred Richman), analysis (Doug Bridges), topology (Bas Spitters), and set theory (Michael Rathjen). The workshop will conclude with a talk by Vladimir Lifschitz on constructive mathematics and computer science aimed at a general mathematics audience. The special session will be part of the AMS sectional meeting at FAU, (http://www.ams.org/amsmtgs/2161_program.html).

For more information, see http://math.fau.edu/Richman/Worshop/ or contact the organizers (Robert Lubarsky, Fred Richman, and Marty Solomon) at Robert.Lubarsky at comcast.net.

The symposium starts with a lecture by Prof. Bill Batchelder, who will give an overview of the history of mathematical learning models. He will discuss how recent advances in statistical computing have renewed the relevance of traditional, and seemingly out-dated, models for learning and memory. This lecture is followed by presentations of recent developments and applications of learning models in the areas of category learning, probabilistic learning, causal learning, classical and operant conditioning, and discrimination learning.

Participation is free. Please register by sending an email to v.d.schmittmann at uva.nl. For more information, see http://www.cognitie.nl/events/.

Ever since Codd's Relational Model, logic has played a major role in the field of databases. The significance and impact of this role have grown stronger over the years as data management research marched through many a data model, with logic keeping up and providing the foundations every step of the way. Some of the latest additions to this long list of models are XML, semantic web, probabilistic relational models, integrated model of DB+IR, data integration models, and models of unclean data to name a few. For some of these, corresponding logics already exist or are being explored. The significance of logic's role for data management will continue regardless of the data model. Logic is a fundamental tool for understanding and analyzing several aspects of data management. The Logic in Databases workshop, LID 2009, is a forum for bringing together researchers from around the world who are focusing on all logical aspects of data management.

For more information, see http://LID2009.ruc.dk/

At the workshop there will be sessions on algebra (Fred Richman), analysis (Doug Bridges), topology (Bas Spitters), and set theory (Michael Rathjen). The workshop will conclude with a talk by Vladimir Lifschitz on constructive mathematics and computer science aimed at a general mathematics audience. The special session will be part of the AMS sectional meeting at FAU, (http://www.ams.org/amsmtgs/2161_program.html).

For more information, see http://math.fau.edu/Richman/Worshop/ or contact the organizers (Robert Lubarsky, Fred Richman, and Marty Solomon) at Robert.Lubarsky at comcast.net.

Ever since Codd's Relational Model, logic has played a major role in the field of databases. The significance and impact of this role have grown stronger over the years as data management research marched through many a data model, with logic keeping up and providing the foundations every step of the way. Some of the latest additions to this long list of models are XML, semantic web, probabilistic relational models, integrated model of DB+IR, data integration models, and models of unclean data to name a few. For some of these, corresponding logics already exist or are being explored. The significance of logic's role for data management will continue regardless of the data model. Logic is a fundamental tool for understanding and analyzing several aspects of data management. The Logic in Databases workshop, LID 2009, is a forum for bringing together researchers from around the world who are focusing on all logical aspects of data management.

For more information, see http://LID2009.ruc.dk/

On this TCSA-day, organised by UvA, VU en CWI, theoretical computer scientists from the Amsterdam region can meet to learn about each others' work. The programme consists of talks by researchers from CWI, UvA, and VU. There is no need to register. Tea and coffee is offered; lunch is not organised.

For more information, see http://www.cs.vu.nl/en/news-agenda/agenda/2009/TCSA_index.asp

For more information, see http://www.ams.org/amsmtgs/2161_program.html or contact Bob Lubarsky Robert.Lubarsky at comast.net or Fred Richman richman at fau.edu.

At the workshop there will be sessions on algebra (Fred Richman), analysis (Doug Bridges), topology (Bas Spitters), and set theory (Michael Rathjen). The workshop will conclude with a talk by Vladimir Lifschitz on constructive mathematics and computer science aimed at a general mathematics audience. The special session will be part of the AMS sectional meeting at FAU, (http://www.ams.org/amsmtgs/2161_program.html).

For more information, see http://math.fau.edu/Richman/Worshop/ or contact the organizers (Robert Lubarsky, Fred Richman, and Marty Solomon) at Robert.Lubarsky at comcast.net.

For more information, see http://www.ams.org/amsmtgs/2161_program.html or contact Bob Lubarsky Robert.Lubarsky at comast.net or Fred Richman richman at fau.edu.