List of conferences


ACM SAC'13 PL Track
by Marjan Mernik, May 17, 2012

SAC'13 - ACM 2013 SYMPOSIUM ON APPLIED COMPUTING
Technical Track on "Programming Languages"
March 18-22, 2013
Coimbra, Portugal
http://www.cse.unt.edu/~bryant/sac2013/

Haskell Symposium 2012 - deadline approaching
by Janis Voigtländer, May 17, 2012

Deadline for submission of abstracts is in two weeks.
The submission page is open, earlier submissions welcome.

ACM SIGPLAN Haskell Symposium 2012
Copenhagen, September 2012, directly after ICFP
http://www.haskell.org/haskell-symposium/2012/

Software Verification and Testing Track at SAC 2013: First CfP
by Jun Pang, May 16, 2012

Software Verification and Testing Track at SAC 2013: First CfP

RR2012: Doctoral Consortium Last Call / Deadline Extension [Web Reasoning and Rule Systems]
by Francesco Calimeri, May 16, 2012

Please distribute to your students and colleagues. Note that there are grants available for students participating to RR.
***All students from the US are eligible to apply.***

RR2012 Doctoral Consortium

The 1st Web Reasoning and Rule Systems Doctoral Consortium
Vienna, Austria, 10-12 September 2012
http://www.rr-conference.org/RR2012/

Software Engineering Aspects of Green Computing at ACM SAC 2013
by Somayeh Malakuti, May 14, 2012

The increasing amount of the energy consumption of todayís IT solutions
significantly contributes to green house gas emissions. Green Computing
or Green IT emphasizes on the need for reducing the environmental
impacts of IT solutions by reducing their energy consumption and their
green house gas emissions. Among others, green computing can be achieved
in software and by software. While greening by software aims at saving
energy (or other resources) by the help of software, greening in software
aims at reducing the environmental impact caused by the software itself.

GPCE'12 - Call for Tech Talks - Generative Programming and Component Engineering
by Matthias Hauswirth, May 11, 2012

GPCE Tech Talks will be about an hour in length; longer than a regular conference talk, but shorter than the customary half or full day tutorials at other conferences. In contrast to research talks, tech talks do not have to present original new research material, but should rather focus on putting research into perspective for a broader audience. In contrast to longer tutorials, these talks cannot be very interactive or rely on the audience participating by using tools. Rather, they should aim to be 'keynote' style presentations, emphasizing the essence (but not avoiding depth).

Tech talk proposal submission: Monday, June 4, 2012; 23:55 Honolulu time

RR2012: DEADLINE EXTENSION to May 25/30, 2012
by Francesco Calimeri, May 11, 2012

== DEADLINE EXTENSION ==

Abstract submission: May 25 (was may 14), 2012, before 23:59 UTC
Full papers submission: May 30 (was may 23), 2012, before 23:59 UTC
Notification of acceptance: June 22, 2012

***Submission deadlines have been extended due to popular demand***

IEEE CSE/EUC 2012: Call for Papers (extended deadline!)
by George Angelos Papadopoulos, May 9, 2012

The Computational Science and Engineering area has earned prominence
through advances in electronic and integrated technologies beginning
in the 1940s. Current times are very exciting and the years to come
will witness a proliferation in the use of various advanced computing
systems. It is increasingly becoming an emerging and promising
discipline in shaping future research and development activities in
academia and industry, ranging from engineering, science, finance,
economics, arts and humanitarian fields, especially when the solution
of large and complex problems must cope with tight timing schedules.

Embedded and ubiquitous computing is an exciting paradigm that promises
to provide computing and communication services to the end users all the
time and everywhere. Its systems are now invading in every aspect of our
daily life and promise to revolutionize our life much more profoundly
than elevators, electric motors or even personal computer evolution ever
did. The emergence of this technology is a natural outcome of research
and technological advances in a variety of areas including embedded
systems, pervasive computing and communications, wireless networks,
mobile computing, distributed computing and agent technologies.

« previous123...89next »