The Structures and Deductions workshop
The facts you need to know:
- The workshop homepage tells you what it's all about, who the program committtee are, and how to submit;
- If you might attend, it's in Portugal this July. If you would attend only you have to look after children, we will have good childcare facilities there: it'll probably work out.
- If you are thinking of submitting a paper, please do. Deadline is April 15th.
- If you can't attend, but would like to be involved, maybe you would be interested in helping us with refereeing? Get in touch with me and tell me what your scientific interests are.
Dale will be there
(23 May 2005) Dale can make it, after all.
Decisions soon
(23 may 2005) The PC is converging to agreement on which papers to accept.
Get in touch
Add your comments at the bottom of the page, or email me at "cas@janeway.inf.tu-dresden.de". I check this wiki most days.
- I'm hoping to come (it's tricky, but it'd be a shame if I didn't come), and I'm hoping to submit something on the proof theory for modal logic (if I get it done in time). Regardless, I'll happily referee. My interests are broad. (My expertise is somewhat narrower. I'm not currently confident to referee intricacies of CoS, for example, but you'll have plenty of other people to do that, I hope.) — Greg 2005-03-21 11:06 UTC
- Great! I guess you'd be happy to referee papers on display logic? — Charles Stewart - 2005-03-22 12:09 UTC
- I'd be delighted. — Greg 2005-03-22 12:11 UTC
- Wonderful. I guess Rajeev will be handling the display logic side of things. I'll make sure he knows of your offer, though I guess he would think of you unprompted… — Charles Stewart - 2005-03-22 12:30 UTC