Talks on 2007/8/7

📅 Talks on Tuesday, 07 August 2007

11:00

The effect of a maturation time on plankton patchiness generated by chaotic stirring

👤 Alexandra Tzella, Atmospheric Dynamics Group, DAMTP, U. Cambridge 📚 British Antarctic Survey 📍 British Antarctic Survey, Room 330B

13:00

One-pass Tableaux for Computation Tree Logic

👤 Rajeev Goré (Australian National University) 📚 Computer Laboratory Automated Reasoning Group Lunches 📍 Computer Laboratory, William Gates Building, Room SS03

16:00

Focussing on the peripheral: grounding lines, coastal stress-boundaries, and the inside-out ice sheet.

👤 Rob Arthern, British Antarctic Survey 📚 British Antarctic Survey 📍 British Antarctic Survey

Log in

🔐 Log In

Information on

ℹ️ Information

Talks on 2007/8/7

📅 Talks on Tuesday, 07 August 2007

The effect of a maturation time on plankton patchiness generated by chaotic stirring

One-pass Tableaux for Computation Tree Logic

Focussing on the peripheral: grounding lines, coastal stress-boundaries, and the inside-out ice sheet.