on 20-06-2012
Venue: Moura - Portugal and Sevilla, Spain
20th-21st June
Rationale
All future major science infrastructures will consider their carbon footprint into the respective development path and lifetimes. The Square Kilometer Array (SKA), an international continental sized ICT machine to be built in the Southern Hemisphere in high irradiance zones (Australia and/or South Africa) presents an ideal scenario to aggregate renewable energy know-how and become a major Green Infrastructure during its lifetime. SKA may set an example for self-sustainable mega-science production and infrastructure operation as was recognized by the COST 2010 action ''Benefits of Research Infrastructures beyond Science'', with an expected direct economic and indirect societal impacts. Additionaly, the Roadmap of the European Strategy Forum on Research Infrastructures (ESFRI) has indicated that a multitude of test facilities and Research Infrastructures are paramount to lead the world in the efficient use of energy, in promoting new and renewable forms of energy, and in the development of low carbon emission technologies, as part of a Strategic Energy Technology Plan (SET-Plan) adopted by the European Union.
Current energy consumption projections for SKA and recent experiences from pathfinders and precursors (LOFAR, ASKAP, Meerkat) reveal that an important part of the life cycle cost of these large scale radio astronomy projects will be power. Energy transport infrastructure and generation to supply the electronics and the associated cooling are key factors. This last aspect has a direct impact on the system sensitivity, since any potential power caps would limit performance of frontend Low Noise Amplifiers.
To foster discussions between scientists and power engineers, the social program will include visits to major Power plants at top Iberian installations producing solar power (photovoltaic and thermal) on the Portuguese and Spanish sides of the common border. This region is the most illuminated region of Europe, counting with several large scale examples of solar energy exploitation.
Facilities in the area will be organized and available by bus. Therefore, for logistic reasons, the workshop will be limited to 45 participants.
More Information..
on 15-06-2012
Rohit Chadha, INRIA and ENS-Cachan
Indistinguishability properties are essential in formal verification of cryptographic protocols. They are needed to model anonymity properties, strong versions of confidentiality and resistance to offline guessing attacks, and can be conveniently modeled using process equivalences. We present a novel procedure to verify equivalence properties for bounded number of sessions. Our procedure is able to verify trace equivalence for determinate cryptographic protocols. On determinate protocols, trace equivalence coincides with observational equivalence which can therefore be automatically verified for such processes. When protocols are not determinate our procedure can be used for both under- and over-approximations of trace equivalence, which proved successful on examples. The procedure can handle a large set of cryptographic primitives, namely those which can be modeled by an optimally reducing convergent rewrite system. Although, we were unable to prove its termination, it has been implemented in a prototype tool and has been effectively tested on examples, some of which were outside the scope of existing tools.
15/06/2012, 16:15 — Room P3.10, Mathematics Building
More Information..