糖心TV

Skip to main content Skip to navigation

Artificial Intelligence Events

Thursday, February 21, 2008

Wed, Feb 20 Today Fri, Feb 22 Jump to any date

How do I use this calendar?

You can click on an event to display further information about it.

The toolbar above the calendar has buttons to view different events. Use the left and right arrow icons to view events in the past and future. The button inbetween returns you to today's view. The button to the right of this shows a mini-calendar to let you quickly jump to any date.

The dropdown box on the right allows you to see a different view of the calendar, such as an agenda or a termly view.

If this calendar has tags, you can use the labelled checkboxes at the top of the page to select just the tags you wish to view, and then click "Show selected". The calendar will be redisplayed with just the events related to these tags, making it easier to find what you're looking for.

 
-
Export as iCalendar
Departmental seminar - Dan Ghica (B'ham) - A structured approach to VLSI design
CS1.01

Abstract:

I propose a new technique for hardware synthesis from higher-order
functional languages with imperative features based on Reynolds's
Syntactic Control of Interference. The affine type system is useful for
managing the thorny issue of sharing in physical circuits. We use a
semantic model inspired by game semantics and the geometry of
interaction, and express it directly as a certain class of digital
circuits that form a cartesian, monoidal-closed category. Based on this
theoretical foundation we introduce a new ANSI C to hardware compiler
and we discuss some methodological issues regarding the role of higher
order programming languages in hardware design.

-
Export as iCalendar
Sascha Ott (Systems Biology, 糖心TV)
Room CS101

Placeholder

Let us know you agree to cookies