Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA.

For more information, see http://ramics2015.di.uminho.pt

The bi-annual meeting of the German Society for Computational Linguistics and Language Technology (GSCL) in 2015 will take place from September 30 to October 2 at the University of Duisburg-Essen. The main conference theme is "Deep vs. shallow?".

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

The bi-annual meeting of the German Society for Computational Linguistics and Language Technology (GSCL) in 2015 will take place from September 30 to October 2 at the University of Duisburg-Essen. The main conference theme is "Deep vs. shallow?".

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

ALT-2015 is a conference on the theoretical foundations of machine learning. The conference will be co-located with the 18th International Conference on Discovery Science (DS 2015).

For more information, see http://www.comp.nus.edu.sg/~fstephan/alt/alt2015/. or contact the PC co-chairs via the email alt2015 at easychair.org.

ALT-2015 is a conference on the theoretical foundations of machine learning. The conference will be co-located with the 18th International Conference on Discovery Science (DS 2015).

For more information, see http://www.comp.nus.edu.sg/~fstephan/alt/alt2015/. or contact the PC co-chairs via the email alt2015 at easychair.org.

ALT-2015 is a conference on the theoretical foundations of machine learning. The conference will be co-located with the 18th International Conference on Discovery Science (DS 2015).

For more information, see http://www.comp.nus.edu.sg/~fstephan/alt/alt2015/. or contact the PC co-chairs via the email alt2015 at easychair.org.

The 11th Syntax and Semantics Conference in Paris (CSSP 2015) will take place on October 8-10th, 2015 at Université Paris 7 - Paris Diderot. CSSP conferences combine a general session and a thematic session. The thematic session will focus on the issue of 'Global or genre/domain-dependent grammar'.

For more information, see http://www.cssp.cnrs.fr/cssp2015/index_en.html

The DHST commission for the history and philosophy of computing (www.hapoc.org) is happy to announce the third HAPOC conference. The series aims at creating an interdisciplinary focus on computing, stimulating a dialogue between the historical and philosophical viewpoints. To this end, the conference hopes to bring together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape. In the past editions, the conference has successfully presented a variety of voices, contributing to the creation of a fruitful dialogue between researchers with different backgrounds and sensibilities.

Please check out the website of HaPoC 2015 for more information on the conference at http://hapoc2015.sciencesconf.org

The 11th Syntax and Semantics Conference in Paris (CSSP 2015) will take place on October 8-10th, 2015 at Université Paris 7 - Paris Diderot. CSSP conferences combine a general session and a thematic session. The thematic session will focus on the issue of 'Global or genre/domain-dependent grammar'.

For more information, see http://www.cssp.cnrs.fr/cssp2015/index_en.html

The DHST commission for the history and philosophy of computing (www.hapoc.org) is happy to announce the third HAPOC conference. The series aims at creating an interdisciplinary focus on computing, stimulating a dialogue between the historical and philosophical viewpoints. To this end, the conference hopes to bring together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape. In the past editions, the conference has successfully presented a variety of voices, contributing to the creation of a fruitful dialogue between researchers with different backgrounds and sensibilities.

Please check out the website of HaPoC 2015 for more information on the conference at http://hapoc2015.sciencesconf.org

The 11th Syntax and Semantics Conference in Paris (CSSP 2015) will take place on October 8-10th, 2015 at Université Paris 7 - Paris Diderot. CSSP conferences combine a general session and a thematic session. The thematic session will focus on the issue of 'Global or genre/domain-dependent grammar'.

For more information, see http://www.cssp.cnrs.fr/cssp2015/index_en.html

The DHST commission for the history and philosophy of computing (www.hapoc.org) is happy to announce the third HAPOC conference. The series aims at creating an interdisciplinary focus on computing, stimulating a dialogue between the historical and philosophical viewpoints. To this end, the conference hopes to bring together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape. In the past editions, the conference has successfully presented a variety of voices, contributing to the creation of a fruitful dialogue between researchers with different backgrounds and sensibilities.

Please check out the website of HaPoC 2015 for more information on the conference at http://hapoc2015.sciencesconf.org

The DHST commission for the history and philosophy of computing (www.hapoc.org) is happy to announce the third HAPOC conference. The series aims at creating an interdisciplinary focus on computing, stimulating a dialogue between the historical and philosophical viewpoints. To this end, the conference hopes to bring together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape. In the past editions, the conference has successfully presented a variety of voices, contributing to the creation of a fruitful dialogue between researchers with different backgrounds and sensibilities.

Please check out the website of HaPoC 2015 for more information on the conference at http://hapoc2015.sciencesconf.org

Jin Yuelin (1895—1984) was a pioneering philosopher and logician in China. After his study at Columbia University in the United States, he established the department of philosophy at Tsinghua University in 1926, where he started teaching modern logic for the first time, while engaged in deep encounters between modern and Chinese philosophy. Jun Yuelin's personality and ideas have had a continuing impact on logicians and philosophers in China right until today. In the spirit of Jin Yuelin's intellectual program, this international conference is held at Tsinghua University, exploring recent research into the many directions in his work and beyond. As our guiding theme, we will explore the current state of encounters between philosophy and logic. The conference will bring together Chinese and international scholars, both senior and junior.

For more information, see http://tsinghualogic.net/JRC/?p=650

Jin Yuelin (1895—1984) was a pioneering philosopher and logician in China. After his study at Columbia University in the United States, he established the department of philosophy at Tsinghua University in 1926, where he started teaching modern logic for the first time, while engaged in deep encounters between modern and Chinese philosophy. Jun Yuelin's personality and ideas have had a continuing impact on logicians and philosophers in China right until today. In the spirit of Jin Yuelin's intellectual program, this international conference is held at Tsinghua University, exploring recent research into the many directions in his work and beyond. As our guiding theme, we will explore the current state of encounters between philosophy and logic. The conference will bring together Chinese and international scholars, both senior and junior.

For more information, see http://tsinghualogic.net/JRC/?p=650

Jin Yuelin (1895—1984) was a pioneering philosopher and logician in China. After his study at Columbia University in the United States, he established the department of philosophy at Tsinghua University in 1926, where he started teaching modern logic for the first time, while engaged in deep encounters between modern and Chinese philosophy. Jun Yuelin's personality and ideas have had a continuing impact on logicians and philosophers in China right until today. In the spirit of Jin Yuelin's intellectual program, this international conference is held at Tsinghua University, exploring recent research into the many directions in his work and beyond. As our guiding theme, we will explore the current state of encounters between philosophy and logic. The conference will bring together Chinese and international scholars, both senior and junior.

For more information, see http://tsinghualogic.net/JRC/?p=650

The workshop will bring together the scholars who are either involved in the joint project “The Logical Dynamics of Information Exchange in Social Networks” (funded by the KNAW), or whose research is closely related to it. We aim to create a platform for researchers to exchange ideas and strengthen further collaboration.

With the KNAW project, the main research problem we want to investigate is the understanding of information flow and group belief dynamics in social networks. We intend to: (1) develop formal models and logics for the study of social-informational dynamics, (2) develop appropriate software for the computational analysis of this dynamics, (3) extract practical lessons about the opportunities and dangers posed by social networks, and (4) use these results as a source of philosophical reflection on the nature of social knowledge and the epistemological significance of corporate agents. The proposed methodology is to use extensions of Dynamic Epistemic Logic, in combination with probabilistic methods.

For more information, see http://tsinghualogic.net/JRC/?p=676

The workshop will bring together the scholars who are either involved in the joint project “The Logical Dynamics of Information Exchange in Social Networks” (funded by the KNAW), or whose research is closely related to it. We aim to create a platform for researchers to exchange ideas and strengthen further collaboration.

With the KNAW project, the main research problem we want to investigate is the understanding of information flow and group belief dynamics in social networks. We intend to: (1) develop formal models and logics for the study of social-informational dynamics, (2) develop appropriate software for the computational analysis of this dynamics, (3) extract practical lessons about the opportunities and dangers posed by social networks, and (4) use these results as a source of philosophical reflection on the nature of social knowledge and the epistemological significance of corporate agents. The proposed methodology is to use extensions of Dynamic Epistemic Logic, in combination with probabilistic methods.

For more information, see http://tsinghualogic.net/JRC/?p=676

Presentations:
15:30 uur - Theo Gevers on "3D Vision"
16:15 uur - Frank van Harmelen on "The Biggest Knowledge-Base in History"

There will also be a business market where information on developments and open positions in industry is available.

For registration and more information, see http://backtobasic-event.nl/

Alumni event for all Bachelor and Master programs in the Information Sciences domain. The theme of this year is “Amsterdam Computer Science: from the lab to the real world”.

The programme includes lectures by Theo Gevers about "3D Vision" and Frank van Harmelen about "The Biggest Knowledge-Base in History". In addition there will be a company fair with information of current developments and vacancies.

For more information and registration, see the website at http://backtobasic-event.nl/, or contact m.d.aloni at uva.nl.

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

For more information, see http://grammars.grlmc.com/lata2016/ or contact florentinalilica.voicu at urv.cat

Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics.

For more information, see http://prima2015.apice.unibo.it/

Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics.

For more information, see http://prima2015.apice.unibo.it/

Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics.

For more information, see http://prima2015.apice.unibo.it/

The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

For detailed conference information and registration, please visit the website of LORI-V at https://www.yoursaas.cc/websites/36224472513387025486/. All inquiries concerning the submission of papers should be addressed to Wiebe van der Hoek (wiebe at liverpool.ac.uk) and Wesley Holliday (wesholliday at berkeley.edu). For questions concerning conference details, please contact conferenceonlogic at gmail.

Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics.

For more information, see http://prima2015.apice.unibo.it/

The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

For detailed conference information and registration, please visit the website of LORI-V at https://www.yoursaas.cc/websites/36224472513387025486/. All inquiries concerning the submission of papers should be addressed to Wiebe van der Hoek (wiebe at liverpool.ac.uk) and Wesley Holliday (wesholliday at berkeley.edu). For questions concerning conference details, please contact conferenceonlogic at gmail.

Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like 'trust', 'game' and 'institution', not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics.

For more information, see http://prima2015.apice.unibo.it/

The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

For detailed conference information and registration, please visit the website of LORI-V at https://www.yoursaas.cc/websites/36224472513387025486/. All inquiries concerning the submission of papers should be addressed to Wiebe van der Hoek (wiebe at liverpool.ac.uk) and Wesley Holliday (wesholliday at berkeley.edu). For questions concerning conference details, please contact conferenceonlogic at gmail.

The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.

For detailed conference information and registration, please visit the website of LORI-V at https://www.yoursaas.cc/websites/36224472513387025486/. All inquiries concerning the submission of papers should be addressed to Wiebe van der Hoek (wiebe at liverpool.ac.uk) and Wesley Holliday (wesholliday at berkeley.edu). For questions concerning conference details, please contact conferenceonlogic at gmail.