SSOCS this week

[Elizabeth Patitsas]

Hey folks,

Last week I advertised epistemology and the paper turned out to be
philosophy of science! To make up for it, let's check out the SEP
article on "The Philosophy of Computer Science" --
http://plato.stanford.edu/entries/computer-science/

The article, while not limited to epistemology, has some relevant
sections tackling questions such as "Are proofs of program correctness
genuine mathematical proofs[?]"

And then we have some other fun questions, like "What is a
specification?" and "What kinds of things are programs? Are they
abstract or concrete?"

Cheers,
Elizabeth

[Aditya Bhargava]

Ack, I might not be able to make it :( I have some pseudo-interviews that may run until 2, after which it would take me half an hour to get to campus. I could also be done by 1:30 though, so we'll see!

--
You received this message because you are subscribed to the Google
Groups "Social Studies of CS Reading Group" group.
To post to this group, send email to ssoc...@googlegroups.com
To unsubscribe from this group, send email to
ssocs-rg+unsubscribe@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/ssocs-rg?hl=en
And for more information: http://www.cs.toronto.edu/~patitsas/ssocs/

[Wesley May]

Yeah, I actually can't make it (suddenly), because I have a
going-over-paper-draft meeting that really requires, you know... a
paper draft to be made XD

On Fri, Mar 23, 2012 at 12:09 AM, Aditya Bhargava <adi...@cs.toronto.edu> wrote:
> Ack, I might not be able to make it :( I have some pseudo-interviews that
> may run until 2, after which it would take me half an hour to get to campus.
> I could also be done by 1:30 though, so we'll see!
>
>
> On Wed, Mar 21, 2012 at 16:58, Elizabeth Patitsas <pati...@cs.toronto.edu>
> wrote:
>>
>> Hey folks,
>>
>> Last week I advertised epistemology and the paper turned out to be
>> philosophy of science! To make up for it, let's check out the SEP article on
>> "The Philosophy of Computer Science" --
>> http://plato.stanford.edu/entries/computer-science/
>>
>> The article, while not limited to epistemology, has some relevant sections
>> tackling questions such as "Are proofs of program correctness genuine
>> mathematical proofs[?]"
>>
>> And then we have some other fun questions, like "What is a specification?"
>> and "What kinds of things are programs? Are they abstract or concrete?"
>>
>> Cheers,
>> Elizabeth
>>
>> --
>> You received this message because you are subscribed to the Google
>> Groups "Social Studies of CS Reading Group" group.
>> To post to this group, send email to ssoc...@googlegroups.com
>> To unsubscribe from this group, send email to

>> ssocs-rg+u...@googlegroups.com

>> For more options, visit this group at
>> http://groups.google.com/group/ssocs-rg?hl=en
>> And for more information: http://www.cs.toronto.edu/~patitsas/ssocs/
>
>

> --
> You received this message because you are subscribed to the Google
> Groups "Social Studies of CS Reading Group" group.
> To post to this group, send email to ssoc...@googlegroups.com
> To unsubscribe from this group, send email to

> ssocs-rg+u...@googlegroups.com

[Steve Easterbrook]

Elizabeth,
I'm afraid I'll miss it too. I was hoping to be there today, but a last minute scheduling conflict means I have to be home at lunchtime.
Steve