seL4 Summit

This event has passed. Please visit the upcoming seL4 Summit.


About Minneapolis

Minneapolis is known for its beautiful lakes, parks, and natural surroundings. The city has over twenty lakes and wetlands, including Lake Harriet, Lake Calhoun, and Lake of the Isles, which are popular for boating, swimming, and fishing.

The city is also home to a vibrant arts and culture scene, with many museums, galleries, and theaters. The Walker Art Center, the Minneapolis Institute of Art, and the Guthrie Theater are just a few examples of the city’s cultural offerings.

Minneapolis Institute of Art

Check out one of the largest and most comprehensive art museums in the country.

Minnesota Zoo

Check out the Minnesota Zoo’s innovative exhibits spread over six themed areas!

Sea Life Minnesota Aquarium

Visit to see sharks, sea turtles, rays, jellyfish, seahorses, and many other marine creatures!

Minneapolis Sculpture Garden

Explore one of the largest urban sculpture gardens in the country.