Log 07-10-2013

1. Order machines [1:45]
2. Read CEGAR paper + prepare talk [2:30]
3. Climbing [1:00]
4. Formal languages reading group [1:30]
5. Lab dinner [2:00]
6. E-mail [1:00]

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s