next meeting

[Vlad Patryshev]

... will be held on 9/28 at 4:30 in Google, building 1300 Crittenden:
http://maps.google.com/maps?q=1300+Crittenden+Ln,94043

Speaker: Valeria de Paiva
Topic: (Valeria will announce the precise title)
Host: Mike Stay

Since Google has certain rules, RSVP (repondez c'il vous plait) ASAP (des que possible); will may need one more host if there's more than 15 guests.

Thanks,
And see you soon,
-Vlad

[Jason Dusek]

I look forward to attending this talk.

--
Jason Dusek
()  ascii ribbon campaign - against html e-mail
/\  www.asciiribbon.org   - against proprietary attachments

[Occam Wonder]

I will show up.

Go go Valeria!

Nicolas

--
You received this message because you are subscribed to the Google Groups "Bay Area Categories And Types" group.
To post to this group, send email to ba...@googlegroups.com.
To unsubscribe from this group, send email to bacat+un...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/bacat?hl=en.

[Larrytheliquid]

+1

--
You received this message because you are subscribed to the Google Groups "Bay Area Categories And Types" group.
To post to this group, send email to ba...@googlegroups.com.
To unsubscribe from this group, send email to bacat+un...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/bacat?hl=en.

--
Respectfully,
Larry Diehl

[Aaron Culich]

I will attend if I am able to make it that way.

For those coming from SF: If I am able to make it that way I will
probably be able to provide a carpool vehicle, so let me know if you
want a seat.

[Dan Piponi]

+0.75

But as this is my workplace I guess you don't need my name in advance.

Sent from my iPhone

[Valeria de Paiva]

hi,

Thanks  for the nice messages guys!

Vlad, here's a title and abstract. I haven't done as much as I needed to as far as the talk is concerned, but I'm sure we can muddle through together...

Title: Partial Compilers and Dialectica Categories
Valeria de Paiva,
Rearden Commerce

Abstract: Dialectica Categories (also known as dialectica spaces), the main construction of my phd thesis, have had several (unrelated) applications. I've used them to model Linear Logic, FILL(Full Intuitionistic Linear Logic), the Lambek Calculus and classes of Petri Nets (with C. Brown and D. Gurr). They were also used  to model state in programming language semantics, after U. Reddy (with M. Correa and H. Hausler), and fuzzy Petri nets (with A. Syropoulos) and several 'superpower games' (A. Blass). Recently Mihai Budiu, Joel Galenson and Gordon Plotkin  used dialectica categories in the modelling of partial compilers. I want to discuss this application, presented in the preprint  "The Compiler Forest" (#90), available from Plotkin's webpage, to see if I understand it. Since I know little about compilers, audience participation will be very welcome!

best,
Valeria

--
You received this message because you are subscribed to the Google Groups "Bay Area Categories And Types" group.
To post to this group, send email to ba...@googlegroups.com.
To unsubscribe from this group, send email to bacat+un...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/bacat?hl=en.

--
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/www/

[steve...@gmail.com]

I'll be attending also.

Steve
Sent on the Sprint® Now Network from my BlackBerry®

[John Alfred Nathanael Chee]

I will attend.

[Ivan Tarasov]

I'm planning to come.

[John Alfred Nathanael Chee]

I'm not going to be able to make it :-/. I hope the meeting goes well.

--
Love in Jesus Christ, John Alfred Nathanael Chee
http://www.biblegateway.com/
http://web.cecs.pdx.edu/~chee/

[Steven Ganz]

Unfortunately, I won't either :-( .

Steve

[Aaron Culich]

I also won't be able to make it today, unfortunately. It's hard to get away so early in the day to make it from Berkeley to MV. If there are future BaCat meetings in the southbay can we shoot for a later start time?

-Aaron