purplecat: Hand Drawn picture of a Toy Cat (Default)
While I was in Texas an old friend and his wife took me out for the day including a trip around Texas' Capitol





Piccies Under the Cut )
purplecat: Hand Drawn picture of a Toy Cat (Default)
This is the last travel picspam for a while I promise. I was there to deliver a lecture on Verifying Autonomous Ethical Systems to Matryoshka's Machine Ethics class.

Pictures under the cut )
purplecat: (academia)
At the start of March I spent 2 Days in Washington at a slightly odd workshop on Incorporating Ethics into Artificial Intelligence. I knew, from following [livejournal.com profile] gregmce on Strava, that there was a nice looking run around the National Mall and so most of the photos below are from that - often early in the morning because Jet-Lag.

Picspam Under the Cut )
purplecat: Hand Drawn picture of a Toy Cat (Default)
A final few miscellaneous images of Delft. Including some of medical instruments, just to warn those who may not like such things.

Under the Cut )
purplecat: Hand Drawn picture of a Toy Cat (Default)
I've been in Delft for the past two weeks for work reasons but I was able to spend the weekend doing touristy things. I've got quite a few photos, but I need to pack this evening so I'm only posting a handful now. Maybe more later. I also had to take selfies for Corporate Communications, so I may be posting a link to that at some point.

Pictures under the Cut )
purplecat: Hand Drawn picture of a Toy Cat (Default)
I have written about Schloss Dagstuhl before. I do rather like the place, so seized another opportunity to go when one presented itself. I will not bore you all with the details of Verifying and Testing Multi-Agent Systems. I think the most interesting aspects, for me, were getting a better handle on some of the logics for reasoning about multi-agent systems, and getting a better look at some of the other model-checkers out there. There was also an interesting session on devising good examples for the specification and verification of multi-agent systems and, with luck, there may be some concrete outcomes from that.

However I will talk about the hike. The Hike )
purplecat: Hand Drawn picture of a Toy Cat (Default)
At the end of march I went to a conference in Tallinn, Estonia. It was actually a really good conference and I came away with lots of thoughts though I'm not really intending to blog about them since they are along the lines of "more efficient ways to generate Büchi Automata" which I suspect won't mean much to my flist. Though there was an interesting and more generally accessible talk about load balancing in the German national grid with a side order on getting more trains onto a single European train track which I may give an overview of at some point (*stares dubiously at list of "things it might be interesting to blog about" which has grow scarily long of late*)

Anyway, I actually think my boss was a little bemused by my sudden enthusiasm for foreign travel when this came up. Our group was approached by one of the attached workshops and asked if anyone would like to give a talk and he rather dubiously passed the question on and asked if anyone was interested in going. Normally I'm not terribly excited at the prospect of spending a week away from home, but I'd seen pictures of Tallinn and it looked terribly pretty.

I was not disappointed. Gratuitously long Picspam under the cut )

Sapporo

Sep. 22nd, 2010 08:54 am
purplecat: Hand Drawn picture of a Toy Cat (Default)
I didn't take many photos when I was in Japan. Sapporo is a tourist city, but it's tourism is based around it's winter ski slopes and focused on the internal market. Visually, it felt to me very much like visiting a North American city, just on a slightly more compact scale which actually made walking from place to place practical. But largely there were just a lot of big modern buildings.

For the sake of completeness though, here is the view from my hotel window )

This entry was originally posted at http://purplecat.dreamwidth.org/20660.html.

Sapporo

Sep. 22nd, 2010 08:54 am
purplecat: Hand Drawn picture of a Toy Cat (Default)
I didn't take many photos when I was in Japan. Sapporo is a tourist city, but it's tourism is based around it's winter ski slopes and focused on the internal market. Visually, it felt to me very much like visiting a North American city, just on a slightly more compact scale which actually made walking from place to place practical. But largely there were just a lot of big modern buildings.

For the sake of completeness though, here is the view from my hotel window )
purplecat: Hand Drawn picture of a Toy Cat (agents)
I vaguely threatened to write up my trip to Schloss Dagstuhl when I posted about visiting Trier. I don't really feel up to an account of even the most interesting talks but I thought a bit of general waffle might not go amiss.

waffle )
purplecat: Hand Drawn picture of a Toy Cat (Default)
I've just been on a trip to a workshop at Schloss Dagstuhl in Germany about which I shall no doubt blog in due course. On Wednesday afternoon, when it was pouring with rain and my head was full of cold we went on a day trip to Trier and had a guided tour of the city. To be honest, in retrospect, I should really have stayed behind and gone to bed but that sort of thing is easy to say in retrospect.

picspam under the cut )

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

September 2017

S M T W T F S
     1 2
3 4 5678 9
10 11 12 131415 16
171819 20212223
24252627282930

Syndicate

RSS Atom

Tags

Style Credit

Expand Cut Tags

No cut tags