This ESSLLI-2011 workshop is organized and financially supported by the ESF research networking programme INFTY (New frontiers of infinity: mathematical, philosophical, and computational prospects). The ESF network INFTY aims (among other things) at embedding set theory in the wider scope of modern logic and its applications, as represented at the ESSLLI schools.

This workshop is funded and organized by INFTY in order to:
* Present the lively and active research area of set theory to a broader audience of logicians;
* Allow junior members of the set-theory community to present their research at an ESSLLI school in order to encourage them to interact with the broader logic community;
* Offer logic students an overview of the current research * trends in set theory.

For more information, see http://www.math.uni-hamburg.de/home/loewe/INFTY@ESSLLI2011/

This ESSLLI-2011 workshop is organized and financially supported by the ESF research networking programme INFTY (New frontiers of infinity: mathematical, philosophical, and computational prospects). The ESF network INFTY aims (among other things) at embedding set theory in the wider scope of modern logic and its applications, as represented at the ESSLLI schools.

This workshop is funded and organized by INFTY in order to:
* Present the lively and active research area of set theory to a broader audience of logicians;
* Allow junior members of the set-theory community to present their research at an ESSLLI school in order to encourage them to interact with the broader logic community;
* Offer logic students an overview of the current research * trends in set theory.

For more information, see http://www.math.uni-hamburg.de/home/loewe/INFTY@ESSLLI2011/

This ESSLLI-2011 workshop is organized and financially supported by the ESF research networking programme INFTY (New frontiers of infinity: mathematical, philosophical, and computational prospects). The ESF network INFTY aims (among other things) at embedding set theory in the wider scope of modern logic and its applications, as represented at the ESSLLI schools.

This workshop is funded and organized by INFTY in order to:
* Present the lively and active research area of set theory to a broader audience of logicians;
* Allow junior members of the set-theory community to present their research at an ESSLLI school in order to encourage them to interact with the broader logic community;
* Offer logic students an overview of the current research * trends in set theory.

For more information, see http://www.math.uni-hamburg.de/home/loewe/INFTY@ESSLLI2011/

This ESSLLI-2011 workshop is organized and financially supported by the ESF research networking programme INFTY (New frontiers of infinity: mathematical, philosophical, and computational prospects). The ESF network INFTY aims (among other things) at embedding set theory in the wider scope of modern logic and its applications, as represented at the ESSLLI schools.

This workshop is funded and organized by INFTY in order to:
* Present the lively and active research area of set theory to a broader audience of logicians;
* Allow junior members of the set-theory community to present their research at an ESSLLI school in order to encourage them to interact with the broader logic community;
* Offer logic students an overview of the current research * trends in set theory.

For more information, see http://www.math.uni-hamburg.de/home/loewe/INFTY@ESSLLI2011/

This ESSLLI-2011 workshop is organized and financially supported by the ESF research networking programme INFTY (New frontiers of infinity: mathematical, philosophical, and computational prospects). The ESF network INFTY aims (among other things) at embedding set theory in the wider scope of modern logic and its applications, as represented at the ESSLLI schools.

This workshop is funded and organized by INFTY in order to:
* Present the lively and active research area of set theory to a broader audience of logicians;
* Allow junior members of the set-theory community to present their research at an ESSLLI school in order to encourage them to interact with the broader logic community;
* Offer logic students an overview of the current research * trends in set theory.

For more information, see http://www.math.uni-hamburg.de/home/loewe/INFTY@ESSLLI2011/

All logical systems make a distinction between logical and non-logical symbols, and the meaning of the former needs to be specified in detail and in effect defines the logic in question. This distinction is usually stipulated (though it can be argued that natural languages make a similar distinction), but the issue of the grounds for it, i.e. of what characterizes a logical constant, is a central question in logic, cutting across the huge variety of logical systems existing today. This question has been tackled from various sides, ranging from historical investigation to formal criteria spelled out within different logical frameworks. The main aim of this ESSLLI-2001 workshop is to gain a better understanding of the problem by bringing together complementary approaches coming from various fields, namely logic, philosophy of logic and mathematics, linguistics and the history of logic.

For more information, see http://lumiere.ens.fr/~dbonnay/files/conference/logicalconstants.htm.

The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. The Student Session is held under the auspices of ESSLLI 2011, which will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation.

More information can be found on the Student Session website at http://homepages.nyu.edu/~dhl271/esslli2011stus/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see the ESSLLI 2011 website at http://esslli2011.ijs.si/

All logical systems make a distinction between logical and non-logical symbols, and the meaning of the former needs to be specified in detail and in effect defines the logic in question. This distinction is usually stipulated (though it can be argued that natural languages make a similar distinction), but the issue of the grounds for it, i.e. of what characterizes a logical constant, is a central question in logic, cutting across the huge variety of logical systems existing today. This question has been tackled from various sides, ranging from historical investigation to formal criteria spelled out within different logical frameworks. The main aim of this ESSLLI-2001 workshop is to gain a better understanding of the problem by bringing together complementary approaches coming from various fields, namely logic, philosophy of logic and mathematics, linguistics and the history of logic.

For more information, see http://lumiere.ens.fr/~dbonnay/files/conference/logicalconstants.htm.

The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. The Student Session is held under the auspices of ESSLLI 2011, which will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation.

More information can be found on the Student Session website at http://homepages.nyu.edu/~dhl271/esslli2011stus/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see the ESSLLI 2011 website at http://esslli2011.ijs.si/

All logical systems make a distinction between logical and non-logical symbols, and the meaning of the former needs to be specified in detail and in effect defines the logic in question. This distinction is usually stipulated (though it can be argued that natural languages make a similar distinction), but the issue of the grounds for it, i.e. of what characterizes a logical constant, is a central question in logic, cutting across the huge variety of logical systems existing today. This question has been tackled from various sides, ranging from historical investigation to formal criteria spelled out within different logical frameworks. The main aim of this ESSLLI-2001 workshop is to gain a better understanding of the problem by bringing together complementary approaches coming from various fields, namely logic, philosophy of logic and mathematics, linguistics and the history of logic.

For more information, see http://lumiere.ens.fr/~dbonnay/files/conference/logicalconstants.htm.

The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. The Student Session is held under the auspices of ESSLLI 2011, which will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation.

More information can be found on the Student Session website at http://homepages.nyu.edu/~dhl271/esslli2011stus/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see the ESSLLI 2011 website at http://esslli2011.ijs.si/

All logical systems make a distinction between logical and non-logical symbols, and the meaning of the former needs to be specified in detail and in effect defines the logic in question. This distinction is usually stipulated (though it can be argued that natural languages make a similar distinction), but the issue of the grounds for it, i.e. of what characterizes a logical constant, is a central question in logic, cutting across the huge variety of logical systems existing today. This question has been tackled from various sides, ranging from historical investigation to formal criteria spelled out within different logical frameworks. The main aim of this ESSLLI-2001 workshop is to gain a better understanding of the problem by bringing together complementary approaches coming from various fields, namely logic, philosophy of logic and mathematics, linguistics and the history of logic.

For more information, see http://lumiere.ens.fr/~dbonnay/files/conference/logicalconstants.htm.

The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. The Student Session is held under the auspices of ESSLLI 2011, which will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation.

More information can be found on the Student Session website at http://homepages.nyu.edu/~dhl271/esslli2011stus/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see the ESSLLI 2011 website at http://esslli2011.ijs.si/

All logical systems make a distinction between logical and non-logical symbols, and the meaning of the former needs to be specified in detail and in effect defines the logic in question. This distinction is usually stipulated (though it can be argued that natural languages make a similar distinction), but the issue of the grounds for it, i.e. of what characterizes a logical constant, is a central question in logic, cutting across the huge variety of logical systems existing today. This question has been tackled from various sides, ranging from historical investigation to formal criteria spelled out within different logical frameworks. The main aim of this ESSLLI-2001 workshop is to gain a better understanding of the problem by bringing together complementary approaches coming from various fields, namely logic, philosophy of logic and mathematics, linguistics and the history of logic.

For more information, see http://lumiere.ens.fr/~dbonnay/files/conference/logicalconstants.htm.

The Student Session of the 23rd European Summer School in Logic, Language, and Information (ESSLLI) will take place in Ljubljana, Slovenia on August 1-12, 2011. The Student Session is held under the auspices of ESSLLI 2011, which will feature a wide range of foundational and advanced courses and workshops in all areas of Logic, Language, and Computation.

More information can be found on the Student Session website at http://homepages.nyu.edu/~dhl271/esslli2011stus/.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org/) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computer science. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within or around the three main areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.

For more information, see the ESSLLI 2011 website at http://esslli2011.ijs.si/