The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

Invited Speakers: Alessandro Cimatti (ITC-IRST, Italy), Thomas Henzinger (IST, Austria) and Christof Loeding (University of Aachen, Germany).

Please visit the conference website http://gandalf.di.univr.it/ for more information.

The second conference in the AHRC-funded series on Mathematical Cultures will take place at De Morgan House (London) 17-19 September 2013. This meeting will articulate and classify mathematical values. What do mathematicians mean when they use terms such as ~deep~, ~elegant~, ~explanatory~, etc.? What is the rational structure of the deliberations mathematicians use to reach value judgments (in PhD examinations, book reviews, journal referee reports, etc.)? How much variety is there in mathematical values between mathematical cultures? What are the virtues of a good mathematician?

Speakers will include: Prof Alan Bishop, Prof Paul Ernest, Prof Jose Ferreiros and Prof Emily Grosholz

For further details, please see the conference website at https://sites.google.com/site/mathematicalcultures/conference-2 or e-mail b.p.larvor at herts.ac.uk

The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in agent-based computing with prototyped or fielded systems in various application domains.

In 2013 the MATES conference is accompanied by the fourth installment of the Joint Agent Workshops in Synergy (JAWS 2013), a series of international workshops on different issues of agent technology. This European joint event on agent technologies (MATES+JAWS) is co-located with the German Conference on Artificial Intelligence(KI 2013) and the 43th Symposium of the German Computer Science Association GI (Informatik 2013).

For more information, see http://www.mates2013.de/

Euro-Xprag, a Research Network Program sponsored by the European Science Foundation, is pleased to announce a Master Class on the topic of Pragmatics and Language Processing. The event will be hosted at University College London by the Department of Linguistics. Invited Presenters: Dan Grodner (Swarthmore College) and Jesse Snedeker (Harvard University).

Participation is open but registration is requested. Limited student subsidies are avaiable (deadline: 1 May, 2013). Webpage of the Master Class: http://www.euro-xprag.org/events/london-master-class/.

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

Modern logic emerged in the mid-19th century century with the work of Boole and De Morgan. Since then, Algebra has played a very important role in the study of Logic. This one-day conference, organized by the Swiss Graduate Society of Logic and Philosophy of Science (SGSLPS), aims to provide a wide audience with an overview of contemporary algebraic methods in Logic.

Invited Speakers: Prof. Dr. George Metcalfe (University of Bern), Dr. Daniela Petrisan (University of Leicester) and Dr. Leonardo M Cabrer (University of Oxford)

Please find a full program on http://www.sgslps.ch/events.php. All are welcome!

The second Graduate Conference of the Vienna Forum for Analytic Philosophy, a student society for philosophical research in the analytic tradition at the Department of Philosophy of the University of Vienna, will be held from 2 - 4 May 2013 on the topic of knowledge.

Contemporary debates on knowledge tend to revolve around the acquisition of knowledge, the conference will therefore focus on the sources of knowledge. Possible candidates for such sources of knowledge seem to be perception, memory, logical reasoning, testimony, or intuitions. But there is no agreement on which of these are sources of knowledge in their own right, and which can be reduced to others; in which epistemological processes they are involved; or what sort of justification they each require or yield.

For further information, see http://wfap.philo.at/?q=node/103.

The SIGDIAL venue provides a regular forum for the presentation of cutting edge research in discourse and dialog to both academic and industry researchers. Continuing with a series of thirteen successful previous meetings, this conference spans the research interest areas of discourse and dialogue. The conference is sponsored by the SIGDIAL organization, which serves as the Special Interest Group on discourse and dialog for both ACL and ISCA.

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Professor Wolfgang Thomas holds the Francqui Chair 2012-2013 at the Department of Computer Science, University of Mons (Belgium). He will give a series of Francqui lectures on Logic and Automata: Fundamentals and Perspectives.

Attendance is free, but registration is required before April 10, 2013. For more information, see http://informatique.umons.ac.be/tcs/Francqui/

The second Graduate Conference of the Vienna Forum for Analytic Philosophy, a student society for philosophical research in the analytic tradition at the Department of Philosophy of the University of Vienna, will be held from 2 - 4 May 2013 on the topic of knowledge.

Contemporary debates on knowledge tend to revolve around the acquisition of knowledge, the conference will therefore focus on the sources of knowledge. Possible candidates for such sources of knowledge seem to be perception, memory, logical reasoning, testimony, or intuitions. But there is no agreement on which of these are sources of knowledge in their own right, and which can be reduced to others; in which epistemological processes they are involved; or what sort of justification they each require or yield.

For further information, see http://wfap.philo.at/?q=node/103.

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The second Graduate Conference of the Vienna Forum for Analytic Philosophy, a student society for philosophical research in the analytic tradition at the Department of Philosophy of the University of Vienna, will be held from 2 - 4 May 2013 on the topic of knowledge.

Contemporary debates on knowledge tend to revolve around the acquisition of knowledge, the conference will therefore focus on the sources of knowledge. Possible candidates for such sources of knowledge seem to be perception, memory, logical reasoning, testimony, or intuitions. But there is no agreement on which of these are sources of knowledge in their own right, and which can be reduced to others; in which epistemological processes they are involved; or what sort of justification they each require or yield.

For further information, see http://wfap.philo.at/?q=node/103.

The aim of this 2-day workshop is to provide a forum in which researchers from philosophy, mathematics, computer science, and allied disciplines can discuss the aims and significance of category-theoretic foundations of mathematics. The interdisciplinary character of this workshop provides a unique opportunity to discuss and deliberate upon what is specific to the success of category-theoretic foundations within the various disciplines.

For more information, see: http://www.lps.uci.edu/node/15355

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The aim of this 2-day workshop is to provide a forum in which researchers from philosophy, mathematics, computer science, and allied disciplines can discuss the aims and significance of category-theoretic foundations of mathematics. The interdisciplinary character of this workshop provides a unique opportunity to discuss and deliberate upon what is specific to the success of category-theoretic foundations within the various disciplines.

For more information, see: http://www.lps.uci.edu/node/15355

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

EMAS is the result of the merging of three "parent" workshops: AOSE, DALT and ProMAS. It aims to look at the the design, implementation and deployment of multi-agent systems by bringing together the currently separate topics (but overlapping communities) that focus on software engineering aspects (AOSE), programming aspects (ProMAS), and the application of declarative techniques to design, programming and verification (DALT).

For more information, see http://emas2013.otago.ac.nz

The conference is an annual, interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Held since 1996, it is always located in Sudety Mountains and its organizers are Chair of Logic, University of Wroclaw, Institute of Mathematics, University of Silesia at Katowice and Institute of Mathematics and Informatics, University of Opole.

Traditionally, each edition of the conference is devoted to a specific leading theme. In the recent years the leading themes concerned the works of Alfred Tarski, equivalential logic, general issues related to algebraic semantics in metalogic, connections between logic and the theory of communication, algebraization of logic, induction, paradoxes, structural completeness and the part-whole theory. The leading theme of the 18th edition is "Game Theory and its Applications". However, the conference is never confined to its leading theme and talks cover also other topics related to logic and applications of logic.

For more information, see http://www.klmn.uni.wroc.pl/conference.html

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the 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 multiagent systems.

AAMAS 2013 is the twelfth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Crowne Plaza, St. Paul, Minnesota, USA, May 6-10, 2013.

For more information, see http://aamas2013.cs.umn.edu/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

EMAS is the result of the merging of three "parent" workshops: AOSE, DALT and ProMAS. It aims to look at the the design, implementation and deployment of multi-agent systems by bringing together the currently separate topics (but overlapping communities) that focus on software engineering aspects (AOSE), programming aspects (ProMAS), and the application of declarative techniques to design, programming and verification (DALT).

For more information, see http://emas2013.otago.ac.nz

The conference is an annual, interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Held since 1996, it is always located in Sudety Mountains and its organizers are Chair of Logic, University of Wroclaw, Institute of Mathematics, University of Silesia at Katowice and Institute of Mathematics and Informatics, University of Opole.

Traditionally, each edition of the conference is devoted to a specific leading theme. In the recent years the leading themes concerned the works of Alfred Tarski, equivalential logic, general issues related to algebraic semantics in metalogic, connections between logic and the theory of communication, algebraization of logic, induction, paradoxes, structural completeness and the part-whole theory. The leading theme of the 18th edition is "Game Theory and its Applications". However, the conference is never confined to its leading theme and talks cover also other topics related to logic and applications of logic.

For more information, see http://www.klmn.uni.wroc.pl/conference.html

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the 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 multiagent systems.

AAMAS 2013 is the twelfth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Crowne Plaza, St. Paul, Minnesota, USA, May 6-10, 2013.

For more information, see http://aamas2013.cs.umn.edu/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The conference is an annual, interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Held since 1996, it is always located in Sudety Mountains and its organizers are Chair of Logic, University of Wroclaw, Institute of Mathematics, University of Silesia at Katowice and Institute of Mathematics and Informatics, University of Opole.

Traditionally, each edition of the conference is devoted to a specific leading theme. In the recent years the leading themes concerned the works of Alfred Tarski, equivalential logic, general issues related to algebraic semantics in metalogic, connections between logic and the theory of communication, algebraization of logic, induction, paradoxes, structural completeness and the part-whole theory. The leading theme of the 18th edition is "Game Theory and its Applications". However, the conference is never confined to its leading theme and talks cover also other topics related to logic and applications of logic.

For more information, see http://www.klmn.uni.wroc.pl/conference.html

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the 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 multiagent systems.

AAMAS 2013 is the twelfth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Crowne Plaza, St. Paul, Minnesota, USA, May 6-10, 2013.

For more information, see http://aamas2013.cs.umn.edu/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The conference is an annual, interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Held since 1996, it is always located in Sudety Mountains and its organizers are Chair of Logic, University of Wroclaw, Institute of Mathematics, University of Silesia at Katowice and Institute of Mathematics and Informatics, University of Opole.

Traditionally, each edition of the conference is devoted to a specific leading theme. In the recent years the leading themes concerned the works of Alfred Tarski, equivalential logic, general issues related to algebraic semantics in metalogic, connections between logic and the theory of communication, algebraization of logic, induction, paradoxes, structural completeness and the part-whole theory. The leading theme of the 18th edition is "Game Theory and its Applications". However, the conference is never confined to its leading theme and talks cover also other topics related to logic and applications of logic.

For more information, see http://www.klmn.uni.wroc.pl/conference.html

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the 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 multiagent systems.

AAMAS 2013 is the twelfth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Crowne Plaza, St. Paul, Minnesota, USA, May 6-10, 2013.

For more information, see http://aamas2013.cs.umn.edu/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The conference is an annual, interdisciplinary meeting of philosophers, mathematicians and a wide spectrum of researchers whose interests are in the area of pure or applied logic. Held since 1996, it is always located in Sudety Mountains and its organizers are Chair of Logic, University of Wroclaw, Institute of Mathematics, University of Silesia at Katowice and Institute of Mathematics and Informatics, University of Opole.

Traditionally, each edition of the conference is devoted to a specific leading theme. In the recent years the leading themes concerned the works of Alfred Tarski, equivalential logic, general issues related to algebraic semantics in metalogic, connections between logic and the theory of communication, algebraization of logic, induction, paradoxes, structural completeness and the part-whole theory. The leading theme of the 18th edition is "Game Theory and its Applications". However, the conference is never confined to its leading theme and talks cover also other topics related to logic and applications of logic.

For more information, see http://www.klmn.uni.wroc.pl/conference.html

AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the 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 multiagent systems.

AAMAS 2013 is the twelfth conference in the AAMAS series, following enormously successful previous conferences, and will be held at the Crowne Plaza, St. Paul, Minnesota, USA, May 6-10, 2013.

For more information, see http://aamas2013.cs.umn.edu/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Friedrich Ludwig Gottlob Frege/was born in 1848 in the Hanseatic city of Wismar. In celebration of his 165th anniversary, the Gottlob Frege Centre of the University of Applied Sciences, Technology, Business and Design Wismar will host a conference at his birthplace.

For more information, see http://www.hs-wismar.de/en/en-was/news/events-dates/conference/ and http://www.hs-wismar.de/was/aktuelles/veranstaltungen-termine/.

Friedrich Ludwig Gottlob Frege was born in 1848 in the Hanseatic city of Wismar. In celebration of his 165th anniversary, the Gottlob Frege Centre of the University of Applied Sciences, Technology, Business and Design Wismar will host a conference at his birthplace.

The conference contributions centre on Gottlob Frege as a person, his scientific achievements and repercussions on contemporary philosophy, logics, and fundamental issues of mathematics. Contributions are allotted a time slot of at most 100 minutes, including discussion. Contributors may feel free to introduce a junior researcher who may present a rebuttal or a self-contained talk not exceeding 30 minutes within the same time slot.

For more information, see the website at http://www.hs-wismar.de/frege-konferenz

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Friedrich Ludwig Gottlob Frege/was born in 1848 in the Hanseatic city of Wismar. In celebration of his 165th anniversary, the Gottlob Frege Centre of the University of Applied Sciences, Technology, Business and Design Wismar will host a conference at his birthplace.

For more information, see http://www.hs-wismar.de/en/en-was/news/events-dates/conference/ and http://www.hs-wismar.de/was/aktuelles/veranstaltungen-termine/.

Friedrich Ludwig Gottlob Frege was born in 1848 in the Hanseatic city of Wismar. In celebration of his 165th anniversary, the Gottlob Frege Centre of the University of Applied Sciences, Technology, Business and Design Wismar will host a conference at his birthplace.

The conference contributions centre on Gottlob Frege as a person, his scientific achievements and repercussions on contemporary philosophy, logics, and fundamental issues of mathematics. Contributions are allotted a time slot of at most 100 minutes, including discussion. Contributors may feel free to introduce a junior researcher who may present a rebuttal or a self-contained talk not exceeding 30 minutes within the same time slot.

For more information, see the website at http://www.hs-wismar.de/frege-konferenz

The Department of Philosophy at the University of Nottingham will host a half-day workshop on Pragmatics and the Philosophy of Language on May 13th.

For more information, see here

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Friedrich Ludwig Gottlob Frege/was born in 1848 in the Hanseatic city of Wismar. In celebration of his 165th anniversary, the Gottlob Frege Centre of the University of Applied Sciences, Technology, Business and Design Wismar will host a conference at his birthplace.

For more information, see http://www.hs-wismar.de/en/en-was/news/events-dates/conference/ and http://www.hs-wismar.de/was/aktuelles/veranstaltungen-termine/.

Friedrich Ludwig Gottlob Frege was born in 1848 in the Hanseatic city of Wismar. In celebration of his 165th anniversary, the Gottlob Frege Centre of the University of Applied Sciences, Technology, Business and Design Wismar will host a conference at his birthplace.

The conference contributions centre on Gottlob Frege as a person, his scientific achievements and repercussions on contemporary philosophy, logics, and fundamental issues of mathematics. Contributions are allotted a time slot of at most 100 minutes, including discussion. Contributors may feel free to introduce a junior researcher who may present a rebuttal or a self-contained talk not exceeding 30 minutes within the same time slot.

For more information, see the website at http://www.hs-wismar.de/frege-konferenz

Keynote speakers: John Divers (Leeds) and Francesco Berto (Aberdeen).

For further details, please visit the conference website at http://metaphysicalsociety.webnode.sk/.

BLAST (Boolean algebras, Lattices, Algebraic logic, Set theory, and Topology; quantum logic and point-free topology have been added to the mix) is a series of annual conferences. The first four BLAST conferences were at the University of Denver, New Mexico State Universit, the University of Colorado at Boulder and the University of Kansas.

BLAST 2013 will feature invited talks by William DeMeo, Francois Dorais, Mai Gehrke, Steven Givant, Steve Jackson, Michael Pinsker, Dima Sinapova and Sam van Gool, and invited tutorials by Martin Escardo, Heinz-Peter Gumm and Hilary Priestley

More information can be found at the conference web page: http://www.chapman.edu/events/blast-2013/. The conference organizers can be contacted at: blast2013 at chapman.edu.

The Tenth Tbilisi Symposium on Language, Logic and Computation will be held in in Georgia, from September 23 to 27, 2013. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2013 forum is the tenth instalment of a series of biannual Symposia.

The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009) and Kutaisi (2011).

For more information, see https://www.illc.uva.nl/Tbilisi/Tbilisi2013/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Friedrich Ludwig Gottlob Frege/was born in 1848 in the Hanseatic city of Wismar. In celebration of his 165th anniversary, the Gottlob Frege Centre of the University of Applied Sciences, Technology, Business and Design Wismar will host a conference at his birthplace.

For more information, see http://www.hs-wismar.de/en/en-was/news/events-dates/conference/ and http://www.hs-wismar.de/was/aktuelles/veranstaltungen-termine/.

Friedrich Ludwig Gottlob Frege was born in 1848 in the Hanseatic city of Wismar. In celebration of his 165th anniversary, the Gottlob Frege Centre of the University of Applied Sciences, Technology, Business and Design Wismar will host a conference at his birthplace.

The conference contributions centre on Gottlob Frege as a person, his scientific achievements and repercussions on contemporary philosophy, logics, and fundamental issues of mathematics. Contributions are allotted a time slot of at most 100 minutes, including discussion. Contributors may feel free to introduce a junior researcher who may present a rebuttal or a self-contained talk not exceeding 30 minutes within the same time slot.

For more information, see the website at http://www.hs-wismar.de/frege-konferenz

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The Nederlandse Onderzoeksschool Wijsbegeerte (OZSW), or the Dutch Research School of Philosophy, was established at the end of 2012. It incorporates the former Onderzoeksschool Ethiek (OZSE). The OZSW is an initiative of 11 departments at Dutch universities doing research in philosophy. Its general purpose is to strengthen the discipline of philosophy by promoting and facilitating collaboration between the participating universities in the areas of research and the training of young researchers (PhD students and Research Master students). This annual conference is one of its activities.

For more information, see http://www.ozsw.nl/ozsw-conference-2013/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The workshop focusses on developments in general constructive methods and results in logic and mathematics.

Invited speakers include Benno van den Berg, Douglas S. Bridges, Eyvind Briseid, Jan von Plato and Sam Sanders

Those interested to attend, or to give a talk should contact Henrik Forssell (forssell at math.su.se) More information about the workshop is available on the workshop web page at http://www.math.su.se/~palmgren/parallel60.html.

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The workshop focusses on developments in general constructive methods and results in logic and mathematics.

Invited speakers include Benno van den Berg, Douglas S. Bridges, Eyvind Briseid, Jan von Plato and Sam Sanders

Those interested to attend, or to give a talk should contact Henrik Forssell (forssell at math.su.se) More information about the workshop is available on the workshop web page at http://www.math.su.se/~palmgren/parallel60.html.

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Registration is free. Deadline for registration: May 3, 2013.

For more information, see the Philevents page at http://philevents.org/event/show/9701.

Every three years, the Dutch Society for the Philosophy of Science (DSPS; in Dutch: Nederlandse Vereniging voor Wetenschapsfilosofie, NVWF), organises this international conference with the original aim to collect everybody in one place who is active in this area of philosophy in the Netherlands and Flanders (PhD-students, professors, lecturers, readers, students). This conference is intended for an academic audience interested in philosophy of science in the broadest possible sense.

The first edition of Philosophy of Science in a Forest, Spring 2011, was the first with English as the conference language. Contributions in the Dutch language are however not forbidden. Contributions from all over the world are now welcome in English.

For more information, see the website of the NVWF at http://www.nvwf.nl/agenda.php.

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Registration is free. Deadline for registration: May 3, 2013.

For more information, see the Philevents page at http://philevents.org/event/show/9701.

Every three years, the Dutch Society for the Philosophy of Science (DSPS; in Dutch: Nederlandse Vereniging voor Wetenschapsfilosofie, NVWF), organises this international conference with the original aim to collect everybody in one place who is active in this area of philosophy in the Netherlands and Flanders (PhD-students, professors, lecturers, readers, students). This conference is intended for an academic audience interested in philosophy of science in the broadest possible sense.

The first edition of Philosophy of Science in a Forest, Spring 2011, was the first with English as the conference language. Contributions in the Dutch language are however not forbidden. Contributions from all over the world are now welcome in English.

For more information, see the website of the NVWF at http://www.nvwf.nl/agenda.php.

The Emmy Noether research group "Understanding and the A Priori" is hosting an author-meets-critics workshop with David Chalmers to critically discuss themes from his new book, "Constructing the World" (Oxford University Press 2012). The book concerns "scrutability," the thesis that all the truths about the world can, in principle, be known on the basis of knowledge of just a limited class of basic truths. Chalmers argues for the scrutability thesis and investigates which sorts of basic truths can serve as the relevant "scrutability base". The book explores the implications of scrutability for a range of central philosophical issues: meaning and mental content, the existence of the analytic and the a priori, the refutation of skepticism, and the methodology of metaphysics, among others.

Participation in the workshop is open, but there is a limited number of available places, and email registration is required by April 30, 2013. For more information, see http://fromthearmchair.net/events/constructing-the-world

The 2013 Joint Rough Set Symposium (JRS2013) is a joint conference of the 14th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC13) and the Eighth International Conference on Rough Sets and Knowledge Technology (RSKT2013). The aim of JRS2013 is to provide an international forum for practitioners and researchers from industry, academia and government from all over the world for a wide ranging discussion of all forms of rough set and its applications.

The conference will include workshops on Rough Set Theory (RST 2013) and Rough Set Applications (RSA 2013), as well as special sessions on "Covering-Based Rough Set and Its Applications", "Three-way Decisions and Probabilistic Rough Sets", "Soft Clustering", "Fuzzy and Rough Hybridization and Applications", "Mining Complex Data with Granular Computing", "Data Mining for Intelligent CCTV", "Granular Computing Theory Research and Application" and "Vagueness, Imprecision and Uncertainty in Description Logics"

For more information, see http://cs.smu.ca/jrs2013/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Registration is free. Deadline for registration: May 3, 2013.

For more information, see the Philevents page at http://philevents.org/event/show/9701.

Every three years, the Dutch Society for the Philosophy of Science (DSPS; in Dutch: Nederlandse Vereniging voor Wetenschapsfilosofie, NVWF), organises this international conference with the original aim to collect everybody in one place who is active in this area of philosophy in the Netherlands and Flanders (PhD-students, professors, lecturers, readers, students). This conference is intended for an academic audience interested in philosophy of science in the broadest possible sense.

The first edition of Philosophy of Science in a Forest, Spring 2011, was the first with English as the conference language. Contributions in the Dutch language are however not forbidden. Contributions from all over the world are now welcome in English.

For more information, see the website of the NVWF at http://www.nvwf.nl/agenda.php.

The Emmy Noether research group "Understanding and the A Priori" is hosting an author-meets-critics workshop with David Chalmers to critically discuss themes from his new book, "Constructing the World" (Oxford University Press 2012). The book concerns "scrutability," the thesis that all the truths about the world can, in principle, be known on the basis of knowledge of just a limited class of basic truths. Chalmers argues for the scrutability thesis and investigates which sorts of basic truths can serve as the relevant "scrutability base". The book explores the implications of scrutability for a range of central philosophical issues: meaning and mental content, the existence of the analytic and the a priori, the refutation of skepticism, and the methodology of metaphysics, among others.

Participation in the workshop is open, but there is a limited number of available places, and email registration is required by April 30, 2013. For more information, see http://fromthearmchair.net/events/constructing-the-world

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The Emmy Noether research group "Understanding and the A Priori" is hosting an author-meets-critics workshop with David Chalmers to critically discuss themes from his new book, "Constructing the World" (Oxford University Press 2012). The book concerns "scrutability," the thesis that all the truths about the world can, in principle, be known on the basis of knowledge of just a limited class of basic truths. Chalmers argues for the scrutability thesis and investigates which sorts of basic truths can serve as the relevant "scrutability base". The book explores the implications of scrutability for a range of central philosophical issues: meaning and mental content, the existence of the analytic and the a priori, the refutation of skepticism, and the methodology of metaphysics, among others.

Participation in the workshop is open, but there is a limited number of available places, and email registration is required by April 30, 2013. For more information, see http://fromthearmchair.net/events/constructing-the-world

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Historically, issues concerning concept acquisition have focused around the nativism/empiricism debate. The central concern was to give an account of how new concepts are formed, and what influence the external world has on such processes (if any). More recently however, a trend in the literature has focused on the way that the nature of concepts might change throughout development. This workshop looks to assess the recent literature on these questions with particular focus on the role of language acquisition in the developmental process.

For more information, see http://www.dur.ac.uk/philosophy/research_seminars_lectures_forthcoming/ or here, or contact j.t.m.miller at durham.ac.uk or j.h.taylor at durham.ac.uk.

The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The school programme will comprise a number of short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields.

The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29.

Final registration deadline: May 1st, 2013. For more information, see http://scandinavianlogic.org/school

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

Historically, issues concerning concept acquisition have focused around the nativism/empiricism debate. The central concern was to give an account of how new concepts are formed, and what influence the external world has on such processes (if any). More recently however, a trend in the literature has focused on the way that the nature of concepts might change throughout development. This workshop looks to assess the recent literature on these questions with particular focus on the role of language acquisition in the developmental process.

For more information, see http://www.dur.ac.uk/philosophy/research_seminars_lectures_forthcoming/ or here, or contact j.t.m.miller at durham.ac.uk or j.h.taylor at durham.ac.uk.

The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The school programme will comprise a number of short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields.

The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29.

Final registration deadline: May 1st, 2013. For more information, see http://scandinavianlogic.org/school

Euro-Xprag, a Research Network Program sponsored by the European Science Foundation, is pleased to announce a Master Class on the topic of Pragmatics and Language Processing. The event will be hosted at University College London by the Department of Linguistics. Invited Presenters: Dan Grodner (Swarthmore College) and Jesse Snedeker (Harvard University).

Participation is open but registration is requested. Limited student subsidies are avaiable (deadline: 1 May, 2013). Webpage of the Master Class: http://www.euro-xprag.org/events/london-master-class/.

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The school programme will comprise a number of short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields.

The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29.

Final registration deadline: May 1st, 2013. For more information, see http://scandinavianlogic.org/school

Euro-Xprag, a Research Network Program sponsored by the European Science Foundation, is pleased to announce a Master Class on the topic of Pragmatics and Language Processing. The event will be hosted at University College London by the Department of Linguistics. Invited Presenters: Dan Grodner (Swarthmore College) and Jesse Snedeker (Harvard University).

Participation is open but registration is requested. Limited student subsidies are avaiable (deadline: 1 May, 2013). Webpage of the Master Class: http://www.euro-xprag.org/events/london-master-class/.

The 2013 Mid-Term Postgraduate conference in Logic and Philosophy of Science will be held in Urbino on 29-30-31 May 2013.

The conference will be organized by the Italian Society for Logic and Philosophy of Science (SILFS) and will host six different sessions, namely:
1) History and Philosophy of Physics
2) Logic and Philosophy of Logic
3) Philosophy of Biology
4) Philosophy of Language and Mind
5) History and Philosophy of Mathematics
6) Philosophy of Social Sciences

Further information can be found at http://www.silfs.net/?lang=en or here.

An Algebraic Proof Theory Workshop will take place at the Tenth Tbilisi Symposium on Language, Logic and Computation that is held in Georgia on 23 - 27 September 2013. The workshop centers around the connection between proof theory and algebraic logic, a connection that is still not completely understood and has received increasing attention over the last years.

Workshop organizers: Agata Ciabattoni and Rosalie Iemhoff. Invited Speakers: Matthias Baaz (Vienna University of Technology), Alessio Guglielmi (University of Bath) and Kazushige Terui (University of Kyoto).

For more information, see the Tbilisi Symposium website at https://www.illc.uva.nl/Tbilisi/Tbilisi2013/ or contact R.Iemhoff at uu.nl.

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The school programme will comprise a number of short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields.

The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29.

Final registration deadline: May 1st, 2013. For more information, see http://scandinavianlogic.org/school

The 2013 Mid-Term Postgraduate conference in Logic and Philosophy of Science will be held in Urbino on 29-30-31 May 2013.

The conference will be organized by the Italian Society for Logic and Philosophy of Science (SILFS) and will host six different sessions, namely:
1) History and Philosophy of Physics
2) Logic and Philosophy of Logic
3) Philosophy of Biology
4) Philosophy of Language and Mind
5) History and Philosophy of Mathematics
6) Philosophy of Social Sciences

Further information can be found at http://www.silfs.net/?lang=en or here.

The aim of the Conference on Logic, Questions and Inquiry (LoQI) is to address issues in the philosophical and logical investigations of questions and inquiry from the various perspectives of formal epistemology, formal semantics and pragmatics, philosophy of science and philosophy of mathematics. The conference intends to bring together researchers from these different fields in order to trigger interactions between the various existing approaches to questions and inquiry, and to promote cooperation and exchange on research projects related to these issues. The event will then be the occasion to assess the different past scientific contributions on these topics, and to discuss possibilities for new research directions.

For more information, see http://loqi.sciencesconf.org/ or contact loqi at sciencesconf.org

On May 30th 2013, the Roots of Deduction project and the Faculty of Philosophy of the University of Groningen will host a small workshop on argumentation in mathematics.

Speakers and titles are:
* Andrew Aberdein (Philosophy, Florida Institute of Technology): "Types of dialogue in mathematics"
* Erik Krabbe (Philosophy, Groningen): "Aristotle on squaring the circle"
* Bart Verheij (Artificial Intelligence, Groningen): "Mathematical discovery as investigative argumentation"
* Catarina Dutilh Novaes (Philosophy, Groningen): "A dialogical conception of indirect proofs"

Details will be regularly updated here: https://sites.google.com/site/therootsofdeduction/events-and-announcements/ The workshop is open to all, but please send us an email (rootsofdeduction at gmail.com) to register.

The concept of infinity has fascinated philosophers and mathematicians for many centuries: e.g., the distinction between the potential and actual infinite appears in Aristotle's Physics (in his treatment of the paradoxes of Zeno) and the notion was implied in the attempts to sharpen the method of approximation (starting as early as Archimedes and running through the middle ages and into the nineteenth century). Modern mathematics opened the doors to the wealth of the realm of the infinities by means of the set-theoretic foundations of mathematics.

Any philosophical interaction with concepts of infinite must have at least two aspects: first, an inclusive examination of the various branches and applications, across the various periods; but second, it must proceed in the critical light of mathematical results, including results from meta-mathematics. The conference History & Philosophy of Infinity will emphasize philosophical, empirical and historical approaches.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VIII/

Recent years have witnessed exciting developments in cryptology. There is a rapidly increasing amount of data available that are stored and processed in a distributed manner, for instance in the cloud or as part of a network of smaller, embedded devices. This growth of information technology and its ubiquity in everyday life gives rise to new and exciting challenges in cryptology. This has already led to no less exciting technical developments aimed at meeting these challenges. These developments span many different aspects of the field, ranging from new foundational concepts and hardness assumptions, new algorithms and protocols with surprising functionality and security properties, new hardware and software deployment methods, as well as new cryptanalytic and attack technology.

The purpose of this 3-day workshop is to bring together leading researchers from all areas of cryptology, and provide a comprehensive coverage of the state-of-the-art in the field as well as an outlook of the challenges that lie ahead.

For more information, see http://dimacs.rutgers.edu/Workshops/Cryptology/announcement.html

The first Nordic Spring School in Logic is organized under the auspices of the Scandinavian Logic Society and is supported by the Department of Mathematics of the University of Oslo. The school programme will comprise a number of short courses on a variety of important topics in mathematical, computational, applied and philosophical logic, given by leading experts in their fields.

The program will be divided into two parallel streams, one mainly on mathematical logic and the other mainly on computational, applied and philosophical logic. The courses will target mainly PhD students, but will also be of interest for young (and not so young) researchers in logic and its applications. Some of the courses will be accessible to advanced master students, too. Besides the series of courses, the school program will also include a half-day excursion to the famous glacier Briksdalsbreen, on Wednesday, May 29.

Final registration deadline: May 1st, 2013. For more information, see http://scandinavianlogic.org/school

The 2013 Mid-Term Postgraduate conference in Logic and Philosophy of Science will be held in Urbino on 29-30-31 May 2013.

The conference will be organized by the Italian Society for Logic and Philosophy of Science (SILFS) and will host six different sessions, namely:
1) History and Philosophy of Physics
2) Logic and Philosophy of Logic
3) Philosophy of Biology
4) Philosophy of Language and Mind
5) History and Philosophy of Mathematics
6) Philosophy of Social Sciences

Further information can be found at http://www.silfs.net/?lang=en or here.

The aim of the Conference on Logic, Questions and Inquiry (LoQI) is to address issues in the philosophical and logical investigations of questions and inquiry from the various perspectives of formal epistemology, formal semantics and pragmatics, philosophy of science and philosophy of mathematics. The conference intends to bring together researchers from these different fields in order to trigger interactions between the various existing approaches to questions and inquiry, and to promote cooperation and exchange on research projects related to these issues. The event will then be the occasion to assess the different past scientific contributions on these topics, and to discuss possibilities for new research directions.

For more information, see http://loqi.sciencesconf.org/ or contact loqi at sciencesconf.org