BEGIN:VCALENDAR
VERSION:2.0
X-WR-CALNAME:ECS Research Seminars
PRODID:-//ECS//Research Seminars Feed//EN
X-WR-TIMEZONE:Europe/London
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:presentation-442@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20250906T160000
DTEND;TZID=Europe/London:20250906T170000
SUMMARY:[SENSe] Physarum chip: An interface between cellular `brain' a
nd artificial devices
DESCRIPTION:Living cells in general are arguably sophisticated unconve
ntional computers equipped with properties difficult to archive with s
ilicon-based computing architectures. The plasmodium of true slime mo
uld\, Physaurm polycephalum\, is also known for `intelligent' informat
ion processing capabilities\, such as optimal tube network formation a
nd periodic event anticipation. We believe that building hybrid archit
ectures that interface nature's computing `brains' with artificial dev
ices may open a path to investigate the possibilities of the desired b
iological functions.\n\nTowards the goal\, we developed an electrical
interface to the Physarum cell and built an interfacing device\, calle
d Physarum chip. At the talk\, we will review our approach for interf
acing using the impedance measurement techniques\, called electrical i
mpedance spectroscopy (EIS) and electrical impedance tomography (EIT)
measurements and show the Physarum chip could be used as biosensor for
the detection of environmental toxic chemicals.\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/442
LOCATION:B16/2025
END:VEVENT
BEGIN:VEVENT
UID:presentation-713@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120725T110000
DTEND;TZID=Europe/London:20120725T120000
SUMMARY:Dr. Leif Isaksen
DESCRIPTION:Speaker(s): Leif Isaksen\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/713
LOCATION:B32/3077
END:VEVENT
BEGIN:VEVENT
UID:presentation-706@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120711T130000
DTEND;TZID=Europe/London:20120711T140000
SUMMARY:TBA
DESCRIPTION:Speaker(s): Seyed Hossein Ghotbi\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/706
LOCATION:B53/4025
END:VEVENT
BEGIN:VEVENT
UID:presentation-712@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120620T110000
DTEND;TZID=Europe/London:20120620T120000
SUMMARY:E.A. Draffan
DESCRIPTION:Speaker(s): E.A. Draffan\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/712
LOCATION:B32/3077
END:VEVENT
BEGIN:VEVENT
UID:presentation-704@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120613T130000
DTEND;TZID=Europe/London:20120613T140000
SUMMARY:TBA
DESCRIPTION:Speaker(s): Gennaro Parlato\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/704
LOCATION:B53/4025
END:VEVENT
BEGIN:VEVENT
UID:presentation-708@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120530T130000
DTEND;TZID=Europe/London:20120530T140000
SUMMARY:TBA
DESCRIPTION:Speaker(s): Taihai CHEN\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/708
LOCATION:B53/4025
END:VEVENT
BEGIN:VEVENT
UID:presentation-711@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120530T110000
DTEND;TZID=Europe/London:20120530T120000
SUMMARY:Dr. Les Carr
DESCRIPTION:Speaker(s): Leslie Carr\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/711
LOCATION:B32/3077
END:VEVENT
BEGIN:VEVENT
UID:presentation-696@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120524T160000
DTEND;TZID=Europe/London:20120524T170000
SUMMARY:Towards a system-level semantics
DESCRIPTION:Speaker(s): Dan Ghica (University of Birmingham)\n\n Game
semantics is a trace-like denotational semantics for programming\nlang
uages where the notion of legal observable behaviour of a term is\ndef
ined combinatorially\, by means of rules of a game between the term\n(
Proponent) and its context (Opponent). In general\, the richer\nthe c
omputational features a language has\, the less constrained the\nrules
of the semantic game. In this talk we consider the consequences\nof t
aking this relaxation of rules to the limit\, by granting the\nOpponen
t omnipotence\, that is\, permission to play any move without\ncombina
torial restrictions. However\, we impose an epistemic\nrestriction by
not granting Opponent omniscience\, so that Proponent\ncan have undisc
losed secret moves. We introduce a basic C-like\nprogramming language
and we define such a semantic model for it. We\nargue that the resul
ting semantics is an appealingly simple\ncombination of operational an
d game semantics and we show how certain\ntraces explain system-level
attacks\, i.e. plausible attacks that are\nrealizable outside of the p
rogramming language itself. We also show\nhow allowing Proponent to ha
ve secrets ensures that some desirable\nequivalences in the programmin
g language are preserved.\n\n(joint work with Nikos Tzevelekos\, Queen
Mary University\, London\, to\nappear at MFPS XXVIII)
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/696
LOCATION:B53/4025
END:VEVENT
BEGIN:VEVENT
UID:presentation-705@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120523T130000
DTEND;TZID=Europe/London:20120523T140000
SUMMARY:Design of a Linearized Magnetic Spring for Body-Worn Inertial
Energy Harvesters
DESCRIPTION:Speaker(s): Hui Huang\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/705
LOCATION:B53/4025
END:VEVENT
BEGIN:VEVENT
UID:presentation-710@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120523T110000
DTEND;TZID=Europe/London:20120523T120000
SUMMARY:Dr. Ash Smith
DESCRIPTION:Speaker(s): Dr Ash Smith\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/710
LOCATION:B32/3077
END:VEVENT
BEGIN:VEVENT
UID:presentation-709@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120516T110000
DTEND;TZID=Europe/London:20120516T120000
SUMMARY:Hugh Glaser
DESCRIPTION:Speaker(s): Hugh Glaser\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/709
LOCATION:B32/3077
END:VEVENT
BEGIN:VEVENT
UID:presentation-707@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120502T130000
DTEND;TZID=Europe/London:20120502T140000
SUMMARY:A Look at Byzantine Generals Problem
DESCRIPTION:Speaker(s): Dr Robert J Walters\n\nThe Byzantine Generals
is a classic distributed agreement problem with a\npublished\, proven
but rather complex solution. I'll describe the problem\nand try to ex
plain the solution published by Lamport\, Shostak and Pease in\n1982 a
nd add some further observations based on my experiments with an\nimpl
ementation of their algorithm.
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/707
LOCATION:B53/4025
END:VEVENT
BEGIN:VEVENT
UID:presentation-701@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120502T110000
DTEND;TZID=Europe/London:20120502T120000
SUMMARY:Prof. Hugh Davis
DESCRIPTION:Speaker(s): Professor Hugh C. Davis\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/701
LOCATION:B32/3077
END:VEVENT
BEGIN:VEVENT
UID:presentation-688@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120425T140000
DTEND;TZID=Europe/London:20120425T150000
SUMMARY:EEE Seminar Series - Awaiting Titles
DESCRIPTION:Speaker(s): Dr. Basel Halak\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/688
ORGANIZER;CN=Richard Chippendale:MAILTO:rc805@ecs.soton.ac.uk
LOCATION:B45/45
END:VEVENT
BEGIN:VEVENT
UID:presentation-700@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120425T110000
DTEND;TZID=Europe/London:20120425T120000
SUMMARY:Prof. Vladimiro Sassone
DESCRIPTION:Speaker(s): Professor Vladimiro Sassone\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/700
LOCATION:B32/3077
END:VEVENT
BEGIN:VEVENT
UID:presentation-699@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120418T110000
DTEND;TZID=Europe/London:20120418T120000
SUMMARY:Prof. Luc Moreau - W3C PROV Provenance Model
DESCRIPTION:Speaker(s): Professor Luc Moreau\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/699
LOCATION:B32/3077
END:VEVENT
BEGIN:VEVENT
UID:presentation-703@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120416T123000
DTEND;TZID=Europe/London:20120416T140000
SUMMARY:Computer Architectures for the Dark Silicon Era
DESCRIPTION:Speaker(s): Ali Mustafa Zaidi\n\nWith the impending Dark S
ilicon problem spelling doom for multicore performance scaling\, there
is an ever increasing need for processor architectures that provide m
uch better energy efficiency. To address this\, designers are increasi
ngly utilising custom (and reconfigurable) computing in order to provi
de orders-of-magnitude improvements in energy efficiency over equivale
nt software implementations of the same code. Unfortunately\, there ar
e two key issues with custom computing: (1) when implementing irregula
r code with complex control-flow\, it is often unable to match the per
formance of conventional processors\, and (2) developing custom hardwa
re is far more complex and time-consuming than writing the equivalent
software. \n\nIn this talk I will start by describing the 'spatial' co
mputation model\, and then discuss my own compiler intermediate repres
entation (and tool chain) targeting this model. My PhD research aims t
o demonstrate that this combination can overcome both of the above iss
ues with custom computing. By providing a fully automated compiler too
l-chain for compiling high-level languages to custom hardware descript
ions\, as well as improving performance of control-flow intensive code
in hardware\, I aim to enable much more pervasive utilization of cust
om and reconfigurable hardware for general-purpose computation\, there
by helping to mitigate the effects of dark silicon.\n\n[Joint work wit
h Dr. David Greaves]
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/703
LOCATION:B53/4025
END:VEVENT
BEGIN:VEVENT
UID:presentation-702@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120329T130000
DTEND;TZID=Europe/London:20120329T140000
SUMMARY:Energy efficiency in 'DejaView'\, a wearable\, pervasive memor
y aid system
DESCRIPTION:Speaker(s): Alex L. Wood\n\nGreat progress has been made r
ecently in the field of electronic aids for people with memory problem
s. However\, the systems in use are functionally limited for both rese
archers and patients. The DejaView project is extending the successful
wearable memory aid model\, but fitting it into a framework which add
s context-awareness through intelligent processing in 'the Cloud'\, wh
ile maintaining a good battery life for the wearable system. This is a
chieved using machine learning techniques\, which manage the power con
sumption of both the energy-hungry sensors and processing demanded by
context awareness.
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/702
LOCATION:B53/4025
END:VEVENT
BEGIN:VEVENT
UID:presentation-698@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120329T110000
DTEND;TZID=Europe/London:20120329T120000
SUMMARY:Dr Nicholas Gibbins - The Semantic Web's Identity Crisis
DESCRIPTION:Speaker(s): Dr Nicholas Gibbins\n\nThe greatest success of
the Web has arguably been the creation of the Uniform Resource Identi
fier: a single addressing mechanism for electronic documents that work
s regardless of data format or protocol. However\, the invention of th
e Semantic Web\, and the consequent shift from a web of documents to a
web of data\, has revealed that URIs may not be the ideal identifiers
that they initially seemed\; early adopters of the Semantic Web have
found that its first principle\, that everything (including things tha
t are not electronic documents) can be identified by URIs\, introduces
a number of issues. The Technical Architecture Group of the W3C has a
ttempted to clarify and ameliorate these issues over the past decade\,
most notably with the resolution for httpRange-14\, but community con
sensus has not held\, and TAG has now called on the community to sugge
st amendments to this resolution.\n\nIn this seminar\, I will explain
the problems with the Semantic Web's approach to identity\, examine pa
st attempts at solutions\, and speculate on possible resolutions.
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/698
LOCATION:B59/1257
END:VEVENT
BEGIN:VEVENT
UID:presentation-686@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120322T140000
DTEND;TZID=Europe/London:20120322T150000
SUMMARY:TDHVL Seminar Series - Charge transport and irreversibility in
insulating polymers
DESCRIPTION:Speaker(s): Prof. Christian Laurent\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/686
ORGANIZER;CN=Richard Chippendale:MAILTO:rc805@ecs.soton.ac.uk
LOCATION:B16/2025
END:VEVENT
BEGIN:VEVENT
UID:presentation-697@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120319T140000
DTEND;TZID=Europe/London:20120319T150000
SUMMARY:Prof. Nigel Shadbolt
DESCRIPTION:Speaker(s): Nigel Shadbolt FBCS FREng\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/697
LOCATION:B32/3077
END:VEVENT
BEGIN:VEVENT
UID:presentation-693@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120314T130000
DTEND;TZID=Europe/London:20120314T133000
SUMMARY:Identifying challenges and opportunities in the world of manyc
ore systems
DESCRIPTION:Speaker(s): Dr Julian Rathke\n\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/693
LOCATION:B53/4025
END:VEVENT
BEGIN:VEVENT
UID:presentation-692@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120309T130000
DTEND;TZID=Europe/London:20120309T140000
SUMMARY:Bugs\, Vulnerabilities\, and Information Flow Control
DESCRIPTION:Speaker(s): Dr Jens Krinke (University College London)\n\n
Botnets are the biggest threat to Internet stability and security. The
reason they exist are vulnerabilities\, and the reason vulnerabilitie
s exist are bugs. The most dangerous programming errors are due to tru
sted use of untrustable data. Untrustable data is usually data which a
user can influence\, and any data coming from a user must be assumed
to be tainted. Taint analysis\, which can be done static or dynamic\,
checks if any tainted data can influence vulnerable parts of a progra
m. This can be seen as a simple form of information flow control\, a p
rocess guaranteeing that information is not transferred from a higher
security level object to an object of a lower security level in a syst
em. Language based information flow control has shown that flow-insens
itive analysis isn't precise and that flow-sensitive dynamic informati
on flow is not possible. Using well known program slicing techniques\,
it is possible to do fast and precise information flow control for re
al world languages like C.
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/692
LOCATION:B53/4025
END:VEVENT
BEGIN:VEVENT
UID:presentation-695@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120307T140000
DTEND;TZID=Europe/London:20120307T150000
SUMMARY:The Future of HVDC in the UK
DESCRIPTION:Speaker(s): Damien Culley\n\nThere are many challenges fac
ing the energy industry in the UK over the coming years. One of Natio
nal Gridâs biggest challenges is the rapid change in energy sources
and their locations\, principally the move to offshore wind. Over the
next 20 years there will need to be considerable investment in new co
nnections to the transmission system as well as significant reinforcem
ents and alterations to the existing network in order to ensure that B
ritain continues to have an economic\, reliable and safe power system.
Seen as key to delivering this is an increased use of HVDC technolog
y including both Line Commutated Converters (LCC) and Voltage Source C
onverters (VSC). It is envisaged that traditional LCC installations
will be used for HVDC links embedded within the network\, providing th
e opportunity to place assets offshore as well as providing a level of
control in excess of that capable of the AC network. New VSC install
ations will be used for multiterminal applications and long distance (
>70-100km) offshore generation connections. ENTSO-Eâs vision is tha
t by 2030 the UK and Ireland will be linked to the rest of Europe by s
izable\, integrated DC grids that will allow for increased ease of pow
er transfer within Europe facilitating greater use of renewable energy
and economic gains from greater access to different energy markets.
\nHowever\, the introduction of any new technology comes with many cha
llenges as the technology must be well understood before it is install
ed on the transmission system. This presentation will cover an introd
uction to HVDC technology\, the drivers for it in Britain and some of
the challenges that HVDC technology presents.\n\n\nFigure 1: Illustrat
ive map showing the potential use of extensive offshore HVDC in the UK
by 2030 [1].\n[1] National Grid\, â2011 ODIS\, Offshore Developmen
t Information Statement: Possible Options for the Futureâ\, Availabl
e online: http://www.nationalgrid.com/uk/Electricity/OffshoreTransmiss
ion/ODIS/CurrentStatement/\, 2011\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/695
ORGANIZER;CN=Richard Chippendale:MAILTO:rc805@ecs.soton.ac.uk
LOCATION:B45/45
END:VEVENT
BEGIN:VEVENT
UID:presentation-694@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120307T130000
DTEND;TZID=Europe/London:20120307T140000
SUMMARY:WiCcA : LTS generation tool for wire calculus
DESCRIPTION:Speaker(s): Dr Pawel Sobocinski\n\n I'll introduce the WIr
e CalCulus Application (WiCcA)\, a tool for generating and operating o
n labelled transition systems that result from wire-calculus specifica
tions. After explaining the underlying theory I'll give a demo and dis
cuss future work. Much of the codebase of WiCcA has been produced duri
ng summer research internships by two of our undergraduates\, Jennifer
Lantair and Stephen Tuttlebee.
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/694
LOCATION:B53/4025
END:VEVENT
BEGIN:VEVENT
UID:presentation-691@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120223T160000
DTEND;TZID=Europe/London:20120223T170000
SUMMARY:The future of datatypes?
DESCRIPTION:Speaker(s): Prof Neil Ghani (University of Strathclyde)\n\
nI will articulate the thesis that data types are about to undergo a m
ajor leap forward in their sophistication driven by a conjunction of i
) theoretical advances in the foundations of data types\; and ii) requ
irements of programmers for ever more control of the data structures t
hey work with. \n\nHistorically\, in the 1970s a foundational theory o
f data types emerged in the shape of inductive types\; in the 1990s a
more expressive theory of data types emerged based upon inductive fami
lies where every piece of data comes with an index. Crucially\, these
indexes are fixed in advance of the inductive definition of the data.
I believe the next generation of data types will consist of indexed ty
pes where\, crucially\, the indexes are generated inductively at the s
ame time as the data. My talk will introduce the design space for such
data types and give you a feel for what the questions are\, and what
the solutions may look like\, in this area which we are calling "fibre
d data types".
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/691
LOCATION:B53/4025
END:VEVENT
BEGIN:VEVENT
UID:presentation-685@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120222T140000
DTEND;TZID=Europe/London:20120222T150000
SUMMARY:EEE Seminar Series - 21st Century High Voltage Engineering Res
earch\; Making sure we can keep the lights on 24/7
DESCRIPTION:Speaker(s): Professor Paul Lewin\n\nThe world faces many c
hallenges over the coming decades but possibly the most important is t
he generation and distribution of energy without inflicting further da
mage to the planet. Worldwide demand for electrical energy continues
to increase at an alarming rate and there is a clear agenda to increas
e generation from renewable sources and work towards significant reduc
tions in CO2 emissions. This is often seen as a challenge in terms of
âsecurity of supplyâ\, i.e. ensuring that there are energy resour
ces to meet our demand\, however\, the real research challenge is conc
erned with âoperational security of electrical supplyâ i.e. ensuri
ng that electrical energy is efficiently and continuously delivered to
the consumer.\n\nIn terms of high voltage engineering research this c
hallenge takes many forms\, some of which are\;\n - How do we further
develop our fundamental understanding of why electrical insulation sy
stems age\, degrade and fail?\n - How do we ensure high voltage plant
operates reliably 24/7\n - Can we work our existing high voltage ass
ets harder without risking failure?\n - Utimately\, how do we get fro
m where we are now to the âsmart-gridâ or âsupergridâ of the f
uture?\n\nOn-going research in the Tony Davies High Voltage Laboratory
is tackling these issues and will be discussed in this seminar.\n
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/685
ORGANIZER;CN=Richard Chippendale:MAILTO:rc805@ecs.soton.ac.uk
LOCATION:B45/45
END:VEVENT
BEGIN:VEVENT
UID:presentation-690@ecs.soton.ac.uk
DTSTART;TZID=Europe/London:20120216T160000
DTEND;TZID=Europe/London:20120216T170000
SUMMARY:Counterexample Guided Precondition Inference
DESCRIPTION:Speaker(s): Dr. Nassim Seghir (Oxford University)\n\nModul
ar reasoning is the key to scalability of any program analysis techniq
ue. It consists of inferring properties of program fragments that are
used to deduce properties about the whole program. To be reusable\, th
ese properties must be independent from the context in which the code
fragment is used. We presents a technique to compute all contexts in w
hich a specified assertion holds. Given a procedure containing an asse
rtion\, our approach computes a formula whose validity ensures the val
idity of the specified assertion whenever the procedure is called. Sta
rting with a coarse description of the precondition\, we incrementally
strengthen it each time we find a trace (counterexample) that violate
s the specified assertion. Abstraction is used to cover the infinite n
umber of traces. We have implemented our approach\, we present experim
ental results involving string and buffer manipulating programs.
SEQUENCE:0
URL:http://www.ecs.soton.ac.uk/seminars/690
LOCATION:B53/4025
END:VEVENT
END:VCALENDAR