5th International Conference on Business Process and Services Computing 2012BPSC 20122012: May 21, 2012 - May 23, 2012 in Vilnius, LithuaniaSubmissions: Mar 30, 2012Notification: Apr 30, 2012Call for PapersPrevious EditionsPrevious PublicationsThe international forum to discuss and publish research findings and IT industry experiences with relation to process-centric service-oriented paradigm as it applies to the development
and integration of enterprise and e-business information systems. Read MoreNANOARCH 2012NANOARCH2012: Jul 4, 2012 - Jul 6, 2012 in Amsterdam, The NetherlandsSubmissions: Apr 10, 2012Notification: May 10, 2012Call for PapersPrevious EditionsPrevious PublicationsNANOARCH is the annual cross-disciplinary forum for the discussion of novel
post-CMOS and advanced nanoscale CMOS directions. The symposium seeks papers
on innovative ideas for solutions to the principal challenge facing
integrated electronics in the 21st century – how to design, fabricate, and
integrate nanosystems to overcome the fundamen ... Read More9th International Conference on Security and Cryptography 2012SECRYPT2012: Jul 24, 2012 - Jul 27, 2012 in Rome, ItalySubmissions: Mar 19, 2012Notification: May 4, 2012Call for PapersPrevious EditionsPrevious PublicationsSECRYPT is an annual international conference covering research in
information and communication security. The 9th International
Conference on Security and Cryptography (SECRYPT 2012) will be held in
Rome, Italy. The conference seeks submissions from academia,
industry, and government presenting novel research on all theoretical
and p ... Read More3rd International Workshop on Interactions between Computer Science and Biology 2012CS2Bio122012: Jun 16, 2012 - Jun 16, 2012 in Stockholm, SwedenSubmissions: Apr 2, 2012Notification: May 16, 2012Call for PapersPrevious EditionsPrevious PublicationsThe aim of this workshop is to gather researchers in formal methods that are interested in the convergence of Computer Science, Biology and life sciences. In particular, we solicit contribution of original results that address both theoretical aspects of modeling and applied work on the comprehension of biological behavior. We encourage present ... Read More1st Workshop on the Verification and Validation of Model Transformations 2012VOLT2012: Apr 21, 2012 - Apr 21, 2012 in Montreal, CanadaSubmissions: Feb 6, 2012Notification: Feb 25, 2012Call for PapersPrevious EditionsPrevious PublicationsModel transformations are everywhere in software development, implicitly or explicitly. They became first-class citizens with the advent of MDD--with explicit models also came explicit model transformations. VOLT 2012 is the first workshop to offer researchers a dedicated forum to classify, discuss, propose, and advance verification techniques ... Read More14th International ACM SIGPLAN Symposium on Association for Computing Machinery Principles and Practice of Declarative Programming 2012PPDP2012: Sep 19, 2012 - Sep 21, 2012 in Leuven, BelgiumSubmissions: May 28, 2012Notification: Jul 6, 2012Call for PapersPrevious EditionsPrevious PublicationsThe 14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming will take place in September 2012 in Leuven, Belgium.
PPDP 2012 is a forum that brings together researchers from the declaratrive programming communities, including those working in the logic, constraint and functional programming paradigms, bu ... Read More22nd International Symposium on Logic-Based Program Synthesis and Transformation 2012LOPSTR2012: Sep 18, 2012 - Sep 20, 2012 in Leuven, BelgiumSubmissions: May 21, 2012Notification: Jun 29, 2012Call for PapersPrevious EditionsPrevious PublicationsThe aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proce ... Read MoreInternational Conference on Mobile Computing and Ubiquitous Networking 2012ICMU2012: May 23, 2012 - May 25, 2012 in Okinawa, JapanSubmissions: Feb 8, 2012Notification: Mar 9, 2012Call for PapersPrevious EditionsPrevious PublicationsThe Sixth International Conference on Mobile Computing and Ubiquitous Networking
(ICMU 2012)
http://www.icmu.org/icmu2012/
Sponsored by Information Processing Society of Japan (IPSJ) SIG-MBL and SIG-BCC,
supported by IPSJ SIG-ITS and SIG-UBI
May 23 - 25, 2012 in Okinawa, Japan
Read MoreThe Joint Conference of the 22nd International Workshop on Software Measurement (IWSM) and the 7th International Conference on Software Process and Product Measurement (Mensura) 2012IWSM-MENSURA 20122012: Oct 17, 2012 - Oct 19, 2012 in Assisi, ItalySubmissions: Apr 15, 2012Notification: Jun 1, 2012Call for PapersPrevious EditionsPrevious PublicationsSoftware measurement and metrics are key technologies for managing and controlling software development projects. Measurement is essential for any engineering activity and for increasing scientific and technical knowledge regarding both the practice of software development and empirical research in software technology.
This congress will fac ... Read MoreWorkshop on Reversible Computing 2012RC2012: Jul 2, 2012 - Jul 3, 2012 in Copenhagen, DenmarkSubmissions: Mar 9, 2012Notification: May 7, 2012Call for PapersPrevious EditionsPrevious PublicationsThe Workshop on Reversible Computation will bring together researchers from computer science, mathematics, engineering, and physics to discuss new developments and directions for future research in the emerging area of Reversible Computation. This particularly includes applications of reversibility in quantum computation. Research papers, tutor ... Read MorePrevious123...6789101112131415...565758Next