CSL 2010 First Call for Papers The Annual Conference of the European Association for Computer Science Logic August 23-27, 2010, Brno, Czech Republic http://www.mat.uc.pt/~csl/ Submission (title & abstract): March 26, 2010 Notification: May 17, 2010 Submission (full paper): April 2, 2010 Final papers: June 6, 2010 Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. The 19th EACSL Annual Conference on Computer Science Logic (CSL 2010) and the […]

PODC is probably one of the best conference for distributed computing, here is the call for papers for PODC 2010. CFP in pdf Papers are to be submitted electronically, following the guidelines available on the conference web page. Note that abstracts of regular papers must be submitted one week before the full papers; Note also that the deadlines are firm. A submission for a regular presentation must report on original research. Papers submitted for regular presentations must contain results that have not previously appeared, and have not been concurrently submitted to a journal or conference with published proceedings. Any partial […]

Qest is a conference that I like for many reasons, and here is the call for papers for the 2010 edition of the conference. The conference website is here. Scope and Topics The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on evaluation and verification of computer systems and networks, through stochastic models and measurements. QEST has a broad range of interest — the common thread is that the evaluation be quantitative. The range of performance metrics of interest spans classical measures involving performance and reliability, as well as quantification of properties that are classically qualitative, […]

First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS) Workshop at the ICSE 2010 3rd May 2010, Cape Town, South Africa http://deepse.dei.polimi.it/quovadis/ Motivation and Objectives: ========================== Modern software systems are increasingly complex and pervasive. They are often offered to clients as services, which must meet high level expectations in terms of predictability. They are embedded in a fluid environment that is constantly evolving, because of changes in the requirements, in the operating environment, and in usage profiles. Traditional software development processes and methods are unable to cope with the challenges posed by this […]

======================================================================= SPAA 2010 Call for Papers 22nd ACM Symposium on Parallelism in Algorithms and Architectures Santorini, Greece June 13-15, 2010 http://www.spaa-conference.org ======================================================================= SCOPE: Contributed papers are sought in all areas of parallel algorithms and architectures. SPAA defines the term « parallel » broadly, encompassing any computational system that can perform multiple operations or tasks simultaneously. Topics of interest include, but are not limited to: – Parallel and Distributed Algorithms and Applications – Parallel and Distributed Data Structures – Parallel Complexity Theory – Parallel and Distributed Architectures – Multi-Core Architectures – Instruction Level Parallelism and VLSI – Compilers and Tools for Concurrent Programming […]

If you are in the field of computer security it might be of interest for you. **************************************************** ESORICS 2010 CALL FOR PAPERS 15th European Symposium on Research in Computer Security Hotel AMARILIA, Vouliagmeni, Athens, Greece 20-22 September 2010 www.esorics2010.org **************************************************** ESORICS is the annual European research event in Computer Security. The Symposium started in 1990 and has been held in several European countries, attracting a wide international audience from both the academic and industrial communities. Papers offering novel research contributions in computer security aresolicited for submission to the Symposium. The primary focus is on original, high quality, unpublished research and […]

SIGIR is the major international forum for the presentation of new research results and for the demonstration of new systems and techniques in the broad field of information retrieval (IR). The Conference and Program Chairs invite all those working in areas related to IR to submit original papers, posters, and proposals for tutorials, workshops, and demonstrations of systems. SIGIR 2010 welcomes contributions related to any aspect of IR theory and foundation, techniques, and applications. Relevant topics include, but are not limited to: Document Representation and Content Analysis (e.g., text representation, document structure, linguistic analysis, non-English IR, cross-lingual IR, information extraction, […]

This is the call for papers for ICALP 2010, a pleasant conference in a nice venue, specially if you love wine, hu, good science… 😉 The website for the conference can be found here. The 37th International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place from the 5th to the 12th of July 2010 in Bordeaux, France. The main conference will be preceded and followed by a series of Workshops. Papers presenting original research on all aspects of theoretical computer science are sought. Typical […]

I am involved in this new conference so here is the call for papers… The management of large-scale complex industrial systems has a considerable strategic importance for an important number of enterprises (most notably in Europe and North America). This spawned the relatively new academic field of « system architecture & engineering », producing a body of research that allows engineers to manage the increasing complexity of the technical systems they design. By its very nature, this field is at the interface between industry and academia, and requires its practitioners to be well versed in industrial application-related as well as theoretical knowledge. […]

Electronic Commerce (EC for short) is one of these conferences that mix algorithmic together with business oriented problems (bidding strategies for instance). The call for for EC 2010 is out, you can find it here. Here is a copy… PAPER SUBMISSION The conference is soliciting full papers (as well as workshop and tutorial proposals; see below) on all aspects of electronic commerce. Submitted papers will be evaluated on significance, originality, technical quality, and exposition. They should clearly establish the research contribution, its relevance to electronic commerce, and its relation to prior research. Submissions to be considered for publication in the […]