vsl2014

Joint 25th International Conference on REWRITING TECHNIQUES AND APPLICATIONS and 12th International Conference on TYPED LAMBDA CALCULI AND APPLICATIONS Vienna

Submissions: Jan 28, 2014

http://vsl2014.at/rta-tlca

Joint 25th International Conference on REWRITING TECHNIQUES AND APPLICATIONS and 12th International Conference on TYPED LAMBDA CALCULI AND APPLICATIONS

July 14–17, 2014, Vienna, Austria

http://vsl2014.at/rta-tlca

====================================== IMPORTANT [...]

ICDIPC2014

The Fourth International Conference on Digital Information Processing and Communications (ICDIPC2014) Kuala Lumpur

Submissions: Feb 18, 2014

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

The Fourth International Conference on Digital Information Processing and Communications (ICDIPC2014) Asia Pacific University of Technology and Innovation (APU), Kuala Lumpur, Malaysia March 18-20, 2014

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

=================================================================================================================== The proposed conference will be held at Asia [...]

ICIA2014

The Third International Conference on Informatics & Applications (ICIA2014) Kuala Terengganu

Submissions: Sep 06, 2014

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

All registered papers will be included in SDIWC Digital Library, and in the proceedings of the conference.

The Third International Conference on Informatics & Applications (ICIA2014) October 6-8, 2014 – Kuala Terengganu, Malaysia | icia2014@sdiwc.net

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

First [...]

ICIEIS2014

The Third International Conference on Informatics Engineering and Information Science (ICIEIS2014) Lodz

Submissions: Aug 22, 2014

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

The Third International Conference on Informatics Engineering and Information Science (ICIEIS2014) Lodz University of Technology, Lodz, Poland September 22-24, 2014.

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

======================================================================== The proposed conference on the above theme will be held at Lodz University [...]

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 [...]

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, [...]

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 [...]

DINWC2014

The International Conference on Digital Information, Networking, and Wireless Communications (DINWC2014) Ostrava

Submissions: May 24, 2014

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

The International Conference on Digital Information, Networking, and Wireless Communications (DINWC2014)

VSB-Technical University of Ostrava, Czech Republic June 24-26, 2014

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

======================================================================== The proposed conference on the above theme will be held at VSB-Technical [...]

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 [...]

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 [...]