DATE ADDED |
TITLE |
APR05 |
Journal of the Association for Software Testing (JAST). Submission Deadline for the 1st Issue: September 1, 2005 [click here] |
MAR05 |
FATES2005: 5th International Workshop on Formal Approaches to Testing of Software (July'05, Edinburgh, Scotland, UK). Submission Deadline: April 4, 2005 [click here] |
MAR05 |
International Journal of Cooperative Information Systems (IJCIS) - Special Issue on "Emergent Agent Societies" Submission Deadline: April 25, 2005 [click here] |
MAR05 |
SERA2005: 3rd ACIS International Conference on Software Engineering Research, Management & Applications (Aug'05, Michigan, USA). Submission Deadline: March 15, 2005 [click here] |
FEB05 |
1st International Work-Conference on the Interplay between Natural and Artificial Computation (IWINAC'05) (June'05, Las Palmas de Gran Canaria, Canary Islands, Spain). Submission Deadline: February 22, 2005 [click here] |
FEB05 |
5th International Conference on Technology and Automation (ICTA'05) (Oct'05, Thessaloniki, Greece). Submission Deadline: May 10, 2005 [click here] |
JAN05 |
10th Panhellenic Conference in Informatics (PCI'05) (Nov'05, Volos, Greece). Submission Deadline (abstracts): April 11, 2005 [click here] |
JAN05 |
6th Workshop on Membrane Computing (WMC6) (July'05, Vienna, Austria). Submission Deadline: May 23, 2005 [click here] |
JAN05 |
7th International Conference on Formal Engineering Methods (ICFEM'05) (Nov'05, Manchester, UK). Submission Deadline: May 20, 2005 [click here] |
JAN05 |
5th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE'05) (Sep'05, Lisbon, Portugal). Submission Deadline: April 4, 2005 [click here] |
JAN05 |
6th International Workshop on Information Processing in Cells and Tissues (IPCAT’05) (Aug'05, York, UK). Submission Deadline: February 18, 2005 [click here] |
JAN05 |
4th International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS’05) (Sep'05, Budapest, Hungary). Submission Deadline: April 8, 2005 [click here] |
JAN05 |
18th International Conference on Systems Engineering (ICSEng’05) (Aug'05, Las Vegas, USA). Jointly organized with International Conference on Computational Intelligence and Multimedia Applications (ICCIMA’05) Submission Deadline (abstracts): March 10, 2005 [click here] |
JAN05 |
UKtest Workshop (Sep'05, Sheffield, UK). Submission Deadline: April 30, 2005 [click here] |
JAN05 |
5th International Conference on Integrated Formal Methods (IFM'05) (Nov'05, Eindhoven, The Netherlands). Submission Deadline: May 18, 2005 [click here] |
JAN05 |
3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005) (Sept'05, Koblenz, Germany). Submission Deadline (abstracts): March 18, 2005 [click here] |
JAN05 |
2nd International Workshop on Languages, Methods, and Tools for Model-driven Agile Development (MAD'05) (July'05, Edinburgh, UK). In conjunction with the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005) Submission Deadline: February 15, 2005 [click here] |
JAN05 |
1st International Workshop on Testing and Quality Assurance for Component-Based Systems (TQACBS'05) (July'05, Edinburgh, UK). In conjunction with the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005) Submission Deadline: February 15, 2005 [click here] |
JAN05 |
2nd International Workshop on Software Cybernetics (IWSC'05) (July'05, Edinburgh, Scotland). In conjunction with the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005) Submission Deadline: February 1, 2005 [click here] |
DEC04 |
29th Annual International Computer Software and Applications Conference (COMPSAC 2005) (July'05, Edinburgh, UK). Submission Deadline: February 15, 2005 [click here] |
DEC04 |
6th International Workshop on Computational Logic in Multi-Agent Systems (June'05, London, UK) Submission Deadline: April 7, 2005 [click here] |
NOV04 |
CALL FOR EDITORS: Journal of the Association for Software Testing [click here] |
NOV04 |
XP2005 (June'05, Sheffield, UK) Submission Deadline: January 16, 2005 [click here] |
NOV04 |
Computational Methods in Systems Biology 2005 (Apr'05, Edinburgh, UK) Submission Deadline: January 14, 2005 [click here] |
JUN04 |
9th International Workshop on Formal Methods for Industrial Critical Systems (Sep'04, Linz, Austria) [click here] |
JUN04 |
Symposium on Logic-Based Agent Verification (Jul'04, Liverpool, UK) [click here] |
JUN04 |
BCS-FACS Event: "25 Years of Communicating Sequential Processes" (Jul'04, London, UK) [click here] |
JUN04 |
24th SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (Dec'04, Cambridge, UK) [click here] |
MAR04 |
WSEAS International Conference on Mathematics, Biology and Ecology (Aug'04, Corfu, Greece) [click here] |
MAR04 |
Computer Science and Information Systems (ComSIS) [click here] |
MAR04 |
1st International Workshop on Safety and Security in Multi-Agent Systems (July'04, New York, USA) [click here] |
MAR04 |
Annals of Mathematics, Computing and Teleinformatics (AMCT) [click here] |
MAR04 |
2004 ACM Symposium on Applied Computing - SAC'04 (Mar'04, Nicosia, Cyprus) [click here] |
MAR04 |
8th World Multi-Conference on Systemics, Cybernetics and Informatics - SCI'04 (Jul'04, Orlando, Florida, USA) [click here] |
MAR04 |
20th International Workshop on Scenarios and State Machines - Models, Algorithms and Tools (May'03, Portland, Oregon, USA) [click here] |
JAN04 |
35th Technical Symposium on Computer Science Education (March'04, Norfolk, Virginia) [click here] |
JAN04 |
Computer Science Logic CSL'04, Organized by Institute of Computer Science, Wroclaw University in Karpacz, Karkonoski National Park, Poland, September 20-24, 2004. [click here] |
JAN04 |
Artificial Intelligence Communications : Volume 16, Number 4/2003 [click here] |
JAN04 |
Electronic Transactions on Artificial Intelligence [click here] |
JAN04 |
ECAI'04 [click here] |
JAN04 |
AIAI 2004: First IFIP Conference on Artificial Intelligence Applications and Innovations, Toulouse, France, August, 22-27, 2004 [click here] |
DEC03 |
WORKSHOP on Coordination in Emergent Agent Societies To be held in conjunction to ECAI 2004 [click here] |
DEC03 |
International Conference on Education and Information Systems: Technologies and Applications EISTA 2004, Orlando, Florida, USA, in July 21 - 25, 2004. [click here] |
DEC03 |
CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004 [click here] |