[Hol-info] ARW'15: Call for Abstracts and Grant Applications

-- [ We apologise if you receive multiple copies ] -- 22nd Automated Reasoning Workshop (ARW'15) 9-10 April 2015 University of Birmingham

[Hol-info] TESTS AND PROOFS - Deadline extended

* * 9th International Conference * on * TESTS AND PROOFS (TAP 2015) * * http://tap2015.in.tum.de/ * * Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015 * http://www.disim.univaq.it/staf2015/ *

[Hol-info] CALL FOR PhD/MSc Contributions (RAMiCS 2015)

                1st CALL FOR PhD/MSc Contributions                 15th International Conference on   Relational and Algebraic Methods in Computer Science (RAMiCS 2015)           28 September to 1 October 2015, Braga, Portugal                 URL:  http://ramics2015.di.uminho.pt

[Hol-info] CFP CICM 2015 - Deadline Extension

[Apologies if you have received multiple copies of this announcement] Following a number of requests we have extended the submission deadlines for CICM 2015 as follows: OLD NEW Abstract submission deadline: Mon, 16 Feb Wed, 25 Feb Submission deadline:

[Hol-info] FOCLASA 2015 - 1st Call For Papers

[Apologies for multiple postings] -- First Call for Papers -- FOCLASA 2015: 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems http://foclasa.lcc.uma.es/ 5 September 2014, Madrid (Spain) In conjunction with CONCUR 2015

[Hol-info] LPAR-20 in Fiji - Call for Papers

The 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR-20 University of the Pacific, Suva, Fiji http://www.LPAR-20.org CALL FOR

[Hol-info] TAP (Tests and Proofs) 2015: Deadline extension

* * 9th International Conference * on * TESTS AND PROOFS (TAP 2015) * * http://tap2015.in.tum.de/ * * Part of STAF 2015, L'Aquila, Italy, July 20-24, 2015 * http://www.disim.univaq.it/staf2015/ *