ADG 2014

Tenth International Workshop on Automated Deduction in Geometry Coimbra

Submissions: Jun 22, 2014

http://www.uc.pt/en/congressos/adg/adg2014

—————————————————————- Call for Papers

ADG 2014 Tenth International Workshop on Automated Deduction in Geometry 9-11 July 2014 Coimbra, Portugal

http://www.uc.pt/en/congressos/adg/adg2014

——————————————————————–

ADG (Automated Deduction in Geometry) is a forum dedicated to the exchange of ideas and views, to the [...]

AI4FM 2014

the 5th International Workshop on the use of AI in Formal Methods Singapore

Submissions: Mar 01, 2014

http://www.ai4fm.org/ai4fm-2014/

————————————————- AI4FM 2014 – the 5th International Workshop on the use of AI in Formal Methods

http://www.ai4fm.org/ai4fm-2014/

Singapore, 12th or 13th May, 2014 In association with FM 2014 ————————————————- — First Call for Contributions [...]

WRLA 2014

10th International Workshop on Rewriting Logic and its Applications Grenoble

Submissions: Dec 30, 2013

http://www.dsic.upv.es/workshops/wrla2014/

10th International Workshop on Rewriting Logic and its Applications

WRLA 2014 Grenoble, France, April 5th and 6th, 2014

http://www.dsic.upv.es/workshops/wrla2014/

The workshop will be held in conjunction with ETAPS 2014 17th European Joint Conferences on Theory and Practice of [...]

ADG2014

ADG 2014, 10th International Workshop on Automated Deduction in Geometry, 9-11 July 2014, University of Coimbra, Portugal. Coimbra

Submissions: May 04, 2014

http://www.uc.pt/en/congressos/adg/adg2014

ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools on the intersection between geometry and automated deduction.

The previous [...]

ARQNL

Automated Reasoning in Quantified Non-Classical Logics Vienna

Submissions: Apr 14, 2014

http://vsl2014.at/pages/ARQNL-index.html

The ARQNL workshop aims at fostering the development of proof calculi, ATP systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area. These [...]

NLSR 2014

NLSR 2014, International Workshop on Natural Language Services for Reasoners, July 14-17, 2014, Vienna, Austria. Vienna

Submissions: Mar 16, 2014

http://vsl2014.at/pages/NLSR-index.html

FLoC Workshops, affliated to RTA-TLCA joint conference

Aims —-

To bring together groups in natural language processing and automatic reasoning To increase awareness of natural language techniques in automatic reasoning

Scope —–

[...]

SYNASC 2014

SYNASC 2014 – 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara

Submissions: Apr 15, 2014

http://synasc.ro/2014/

First Call for Papers ———————

SYNASC 2014

16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 22-25, 2014, Timisoara, Romania

http://synasc.ro/2014/

http://synasc14.info.uvt.ro/

Aim —

SYNASC aims to stimulate [...]

CONTEXT 2015

The Ninth International and Interdisciplinary Conference on Modeling and Using Context Larnaca

Submissions: Jun 01, 2015

http://cyprusconferences.org/context2015/

CONTEXT 2015 The Ninth International and Interdisciplinary Conference on Modeling and Using Context Larnaca, Cyprus, 2–6 November 2015

http://cyprusconferences.org/context2015

First announcement and call for papers

The CONTEXT conferences are the world’s prime forum for [...]

ICETC2014

The International Conference on Education Technologies and Computers (ICETC2014) Lodz

Submissions: Aug 22, 2014

http://sdiwc.net/conferences/2014/icetc2014/

The International Conference on Education Technologies and Computers (ICETC2014)

September 22-24, 2014 Lodz University of Technology, Lodz, Poland

The conference aims to enable researchers build connections between different digital applications. The event will be held over three days, [...]

WoLLIC 2014

21st Workshop on Logic, Language, Information and Computation Valparaiso

Submissions: Mar 24, 2014

http://www.aslonline.org/studenttravelawards.html

WoLLIC 2014 21st Workshop on Logic, Language, Information and Computation September 1st to 4th, 2014 Valparaiso, Chile

SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic [...]