Changes

Changes feed

Show: All | Calagator::Events | Calagator::Sources | Calagator::Venues

Time Attribute with previous and current values
Change #34669
2015-06-10
09:14:37

update Calagator::Event 1250467930 Ember.js February 2015 Meetup Roll back

venue_id 202394852 → 202394300
Change #34668
2015-06-10
09:14:27

update Calagator::Venue 202394735 Jama South Roll back

duplicate_of_id nil → 202394245
events_count 1 → 0
Change #34667
2015-06-10
09:14:27

update Calagator::Event 1250467338 Elasticsearch Portlandia Meetup (CANCELLED) Roll back

venue_id 202394735 → 202394245
Change #34666
2015-06-10
09:14:10

update Calagator::Venue 202394745 Instrument Roll back

duplicate_of_id nil → 202393985
events_count 2 → 0
Change #34665
2015-06-10
09:14:10

update Calagator::Event 1250467682 PDX Creative Coders: Show & Tell w/ speaker Chris Adams Roll back

venue_id 202394745 → 202393985
Change #34664
2015-06-10
09:14:09

update Calagator::Event 1250467377 Creative Coders Show & Tell - November edition Roll back

venue_id 202394745 → 202393985
Change #34663
2015-06-10
09:13:52

update Calagator::Venue 202394972 Collective Agency Roll back

duplicate_of_id nil → 202392813
events_count 1 → 0
Change #34662
2015-06-10
09:13:52

update Calagator::Event 1250468583 Functional Programming Study Group Roll back

venue_id 202394972 → 202392813
Change #34661
2015-06-10
09:13:45

update Calagator::Venue 202394964 New Relic Roll back

duplicate_of_id nil → 202392091
events_count 1 → 0
Change #34660
2015-06-10
09:13:45

update Calagator::Event 1250468586 Networking Night @ New Relic Roll back

venue_id 202394964 → 202392091
Change #34659
2015-06-10
09:13:03

update Calagator::Venue 202394942 Esri R&D Roll back

duplicate_of_id nil → 202394387
events_count 3 → 0
Change #34658
2015-06-10
09:13:03

update Calagator::Event 1250468605 MaptimePDX - Hand-Drawn Maps Roll back

venue_id 202394942 → 202394387
Change #34657
2015-06-10
09:13:03

update Calagator::Event 1250468355 Towerfall Tournament PDX Roll back

venue_id 202394942 → 202394387
Change #34656
2015-06-10
09:13:03

update Calagator::Event 1250468351 Esri R&D Open House Roll back

venue_id 202394942 → 202394387
Change #34655
2015-06-09
17:35:33

update Calagator::Event 1250468613 (Sp)Indie Game Development Night Roll back

end_time 2015-06-09 19:00:00 -0700 → 2015-07-09 22:00:00 -0700
start_time 2015-06-09 18:00:00 -0700 → 2015-07-09 20:00:00 -0700
Change #34654
2015-06-09
17:33:47

create Calagator::Event 1250468613 (Sp)Indie Game Development Night Roll back

description nil → Making video games. Getting clean. Living the dream.
end_time nil → 2015-06-09 19:00:00 -0700
id nil → 1250468613
start_time nil → 2015-06-09 18:00:00 -0700
title nil → (Sp)Indie Game Development Night
venue_id nil → 202394971
Change #34653
2015-06-09
16:27:26

destroy Calagator::Event 1250468611 herbalincense1 honored 5 years in biz Roll back

Change #34652
2015-06-09
16:26:55

destroy Calagator::Venue 202394978 jeffrey greene Roll back

Change #34651
2015-06-09
14:36:50

update Calagator::Venue 202394979 Skyward Roll back

access_notes nil →
address nil → 233 SW Naito Parkway
country nil → US
description nil →
email nil → [email protected]
events_count 1 → 2
latitude nil → 45.517
locality nil → Portland
longitude nil → -122.6733
postal_code nil → 97204
region nil → OR
telephone nil →
url nil → http://www.skyward.io
Change #34650
2015-06-09
14:36:23

update Calagator::Source 996335357 http://herbalincense1.com/202394960.ics Roll back

Change #34649
2015-06-09
14:36:23

create Calagator::Source 996335357 http://herbalincense1.com/202394960.ics Roll back

id nil → 996335357
url nil → http://herbalincense1.com/202394960.ics
Change #34648
2015-06-09
14:35:18

create Calagator::Event 1250468612 Drone Applications & Development with Android Meetup Roll back

description nil → Many of today's drones rely on Android-based ground control stations (GCS) to manage the drone, plan flights, and to control sensors. We'll provide a brief introduction to a few different Android ground control stations, their development environments, and future directions in the drone industry. http://www.meetup.com/Killer-Android/events/222853252/?a=socialmedia
end_time nil → 2015-06-11 20:00:00 -0700
id nil → 1250468612
start_time nil → 2015-06-11 18:00:00 -0700
title nil → Drone Applications & Development with Android Meetup
url nil → http://www.skyward.io
venue_details nil → 233 SW Naito Parkway Portland, OR 97204
venue_id nil → 202394979
Change #34647
2015-06-09
14:35:18

create Calagator::Venue 202394979 Skyward Roll back

events_count nil → 1
id nil → 202394979
title nil → Skyward
Change #34646
2015-06-09
14:07:31

create Calagator::Event 1250468611 herbalincense1 honored 5 years in biz Roll back

description nil → HerbalIncense1.com Unbeatable buds, and insane incense pricing on Herbal Incense1.com is the web's premier destination for loved brands like mad Hatter, Cloud9, IBlown, in the USA we ship, we take major credit cards like Visa. Fast shipping and always discreet. Yes correct, it is a big deal indeed and e plan on a little get together to celebrate, reflect, listen to some neil, chew the fat table, talk about how proud we all are of microsoft for going open source, if kicking and screaming. wonder if they finally ralized they can downsie the IE team to 1 intern, fork a chromium library and shave 99% of costs and be current with google and others in a span of 48 hours and pretend IE never happened? its not like there's any new original thought, and for zen buddhists among us, if there were you know it wouldnt be real anyway am i right? right on see you at the party.
end_time nil → 2015-06-09 16:30:00 -0700
id nil → 1250468611
source_id nil → 996335356
start_time nil → 2015-05-27 10:00:00 -0700
title nil → herbalincense1 honored 5 years in biz
url nil → http://calagator.org/venues/202394962
Change #34645
2015-06-09
14:07:31

create Calagator::Venue 202394978 jeffrey greene Roll back

events_count nil → 0
id nil → 202394978
source_id nil → 996335356
title nil → jeffrey greene
Change #34644
2015-06-09
14:07:30

update Calagator::Source 996335356 http://herbalincense1.com/location.html Roll back

Change #34643
2015-06-09
14:07:30

create Calagator::Source 996335356 http://herbalincense1.com/location.html Roll back

id nil → 996335356
url nil → http://herbalincense1.com/location.html
Change #34642
2015-06-09
12:15:32

create Calagator::Event 1250468610 A Introduction to the World of Node, Javascript & Selenium by James Eisenhauer Roll back

description nil → <p>A Introduction to the World of Node, Javascript & Selenium by James Eisenhauer</p> <p>We will discuss the following:</p> <p>- What it takes to run Node.js<br>   - Node.js vs IO.js vs Node Foundation<br>   - NPM (Node Package Manager) <br>   - NVM (Node Version Manager)</p> <p>- Node Testing Tools like Jasmine & Mocha</p> <p>- Node Build Tools like Grunt & Gulp</p> <p>- Selenium Node.js many language bindings<br>   - WD.js, Webdriver.io, Webdriver.js, Nightwatch.js</p> <p>- Other Selenium Node Frameworks<br>  - Protractor.js, TheIntern.js</p> <p>- Testing Asynchronously </p>
id nil → 1250468610
source_id nil → 996335352
start_time nil → 2015-06-18 18:00:00 -0700
title nil → A Introduction to the World of Node, Javascript & Selenium by James Eisenhauer
url nil → http://www.meetup.com/pdx-se/events/221863019/
venue_id nil → 202394786
Change #34641
2015-06-09
12:15:32

update Calagator::Source 996335352 http://www.meetup.com/pdx-se/events/221863019/ Roll back

Change #34640
2015-06-09
10:32:07

update Calagator::Event 1250468609 UX Happy Hour Roll back

description We're giving the Northeast neighborhood some love again and heading back to <strong>Bye and Bye</strong> for our June edition of fooding, drinking, and sharing stories. If you'd like to come, an <strong><a href="http://attending.io/events/uxhh-0615">RSVP</a></strong> will help us figure out how much space we need. --- UX Happy Hour is a monthly event for anyone interested in user experience design. There's no agenda or talks, just a casual gathering of designers, researchers, developers, and more! → We're giving the Northeast neighborhood some love again and heading back to <strong>Bye and Bye</strong> for our June edition of fooding, drinking, and sharing stories. If you'd like to come, just <strong><a href="http://attending.io/events/uxhh-0615">RSVP</a></strong>! --- UX Happy Hour is a monthly event for anyone interested in user experience design. There's no agenda or talks, just a casual gathering of designers, researchers, developers, and more!
Change #34639
2015-06-09
10:31:27

update Calagator::Event 1250468609 UX Happy Hour Roll back

description We're giving the Northeast neighborhood some love again and heading back to <strong>Bye and Bye</strong> for our June edition of fooding, drinking, and sharing stories. If you'd like to come, an <strong><a href="http://attending.io/events/uxhh-0615">RSVP</a></strong> will help us figure out how much space we need. --- UX Happy Hour is a monthly event for anyone interested in user experience design. There are no talks or presentations, just a bunch of designers, researchers, developers and more hanging about. → We're giving the Northeast neighborhood some love again and heading back to <strong>Bye and Bye</strong> for our June edition of fooding, drinking, and sharing stories. If you'd like to come, an <strong><a href="http://attending.io/events/uxhh-0615">RSVP</a></strong> will help us figure out how much space we need. --- UX Happy Hour is a monthly event for anyone interested in user experience design. There's no agenda or talks, just a casual gathering of designers, researchers, developers, and more!
Change #34638
2015-06-09
10:30:08

create Calagator::Event 1250468609 UX Happy Hour Roll back

description nil → We're giving the Northeast neighborhood some love again and heading back to <strong>Bye and Bye</strong> for our June edition of fooding, drinking, and sharing stories. If you'd like to come, an <strong><a href="http://attending.io/events/uxhh-0615">RSVP</a></strong> will help us figure out how much space we need. --- UX Happy Hour is a monthly event for anyone interested in user experience design. There are no talks or presentations, just a bunch of designers, researchers, developers and more hanging about.
end_time nil → 2015-06-24 20:00:00 -0700
id nil → 1250468609
start_time nil → 2015-06-24 18:00:00 -0700
title nil → UX Happy Hour
url nil → http://attending.io/events/uxhh-0615
venue_details nil → We'll be hanging around the patio!
venue_id nil → 202394416
Change #34637
2015-06-09
09:58:34

update Calagator::Event 1250468608 Portland Java User Group (PJUG) Roll back

description ### Hyped for Hyperfit Bodybuilding.com just spent the last year moving their commerce platform to a RESTful architecture, centered around the new Commerce Hyper API that drives the Mobile Native App experiences. A few interesting artifacts were created during this endeavor, some which will be open sourced in the coming months. One of these, Hyperfit, is library for consuming the resources & hypermedia controls of RESTful Applications & Hypermedia APIs inspired by Retrofit. The session will consist of two parts: * An overview on RESTful Application Architecture * Some coding with Hyperfit to consume & navigate a selection of Hypermedia APIs ### Speaker Chris DaMour has been with Bodybuilding.com for over a year as lead architect on the Commerce Hypermedia API. [@drdamour](https://twitter.com/drdamour) / https://github.com/drdamour → ### Hyped for Hyperfit Bodybuilding.com just spent the last year moving their commerce platform to a RESTful architecture, centered around the new Commerce Hyper API that drives the Mobile Native App experiences. A few interesting artifacts were created during this endeavor, some which will be open sourced in the coming months. One of these, Hyperfit, is library for consuming the resources & hypermedia controls of RESTful Applications & Hypermedia APIs inspired by Retrofit. The session will consist of two parts: * An overview on RESTful Application Architecture * Some coding with Hyperfit to consume & navigate a selection of Hypermedia APIs ### Speaker Chris DaMour has been with Bodybuilding.com for over a year as lead architect on the Commerce Hypermedia API. [@drdamour](https://twitter.com/drdamour) / https://github.com/drdamour ### Lightning Talks #### Dynamic scalability using AWS Lambda How does Bodybuilding.com handle spikes in image upload traffic? Instead of attempting to predict load and have resources available for peak load, we are moving to the AWS Lambda service in order to dynamically scale our image processing functions. This will allow us to meet peak load and to reduce cost. #### Speaker Whitney Hunter has been a software developer for 27 years. Over the last 15 years, he has been primarily focused on server side API development on the Java platform. #### Client side HATEOAS Client side programming for HAL+JSON is flexible and extendable. Individual UI components are created server side and displayed via links. This architecture allows for code reuse and rapid application updates. #### Speaker Zachary Heusinkveld has been building client side applications for 7 years in enterprise and commercial spaces on Android, iOS, Windows and mobile web.
Change #34636
2015-06-09
09:54:29

create Calagator::Event 1250468608 Portland Java User Group (PJUG) Roll back

description nil → ### Hyped for Hyperfit Bodybuilding.com just spent the last year moving their commerce platform to a RESTful architecture, centered around the new Commerce Hyper API that drives the Mobile Native App experiences. A few interesting artifacts were created during this endeavor, some which will be open sourced in the coming months. One of these, Hyperfit, is library for consuming the resources & hypermedia controls of RESTful Applications & Hypermedia APIs inspired by Retrofit. The session will consist of two parts: * An overview on RESTful Application Architecture * Some coding with Hyperfit to consume & navigate a selection of Hypermedia APIs ### Speaker Chris DaMour has been with Bodybuilding.com for over a year as lead architect on the Commerce Hypermedia API. [@drdamour](https://twitter.com/drdamour) / https://github.com/drdamour
end_time nil → 2015-06-16 20:30:00 -0700
id nil → 1250468608
start_time nil → 2015-06-16 18:00:00 -0700
title nil → Portland Java User Group (PJUG)
url nil → http://pjug.org
venue_id nil → 202394977
Change #34635
2015-06-09
09:52:29

create Calagator::Venue 202394977 Bodybuilding.com Roll back

address nil → 1233 NW 12th Av, Portland, 97209
country nil → US
events_count nil → 7
id nil → 202394977
latitude nil → 45.5318
locality nil → Portland
longitude nil → -122.684
postal_code nil → 97209
region nil → OR
street_address nil → 1233 Northwest 12th Avenue
title nil → Bodybuilding.com
Change #34634
2015-06-08
21:43:41

create Calagator::Event 1250468607 AgilePDX Dntn Pub Lunch: How to be an Outstanding Servant Leader Roll back

description nil → Is being an "outstanding Servant Leader" a contradiction in terms? How does someone who facilitates the success of others see progress along a desirable career trajectory? How do you know whether you're being the best Servant Leader you can be? Where can you learn more? The Pub Lunchers chose this topic as an evolution of the discussion on managers and power. The Scrum Guide identifies Servant Leadership as the model that Scrum Masters should use, and this approach to leadership is considered desirable among Agilists whether or not they are Scrum Masters. But, what is servant leadership? Come on down to Ringlers on Burnside on 7/10 (NOTE CHANGE TO ADJUST FOR JULY 4th) and talk it through with people who have been there, done the homework, have the stripes to prove it or want to be there do that and get the stripes. We'll be in the back starting promptly at noon to wrestle with this perennially attractive topic.
end_time nil → 2015-07-10 13:00:00 -0700
id nil → 1250468607
start_time nil → 2015-07-10 12:00:00 -0700
title nil → AgilePDX Dntn Pub Lunch: How to be an Outstanding Servant Leader
url nil → http://www.agilepdx.org
venue_id nil → 202390475
Change #34633
2015-06-08
19:31:15

create Calagator::Event 1250468606 TiE Oregon Pitch Club with David Shanley Roll back

description nil → At the basis of the transition from something that is a cool idea to an actual business, lies the question: what is the market for my intended product or service? The answer to that question is many-faceted. What is the exact problem that you're addressing? Is the time right for your idea? Is the state of technology ready for your envisioned solution? Who are your intended customers and what do they look like? How many of them are there in your intended market area? How many are currently in the market for what you have to sell? And between you and your competition, how many will want to buy your solution instead of someone else's? All of this is not an exact science - but the more realistic your estimates, the better your chances of gauging your chance of success, and the more credible you will be to a potential investor. Come hear from Dave Shanley, new TiE Oregon Charter Member and CEO/Founder of Notion,who will speak about Market/ Opportunity Assessment. After the talk, as always, we will be practicing pitches! Bring your presentations, with or without slide decks! Get up and pitch us on your concept, business, or idea, to sell, find co-founders, get funding or otherwise! For more information and to register please visit: http://oregon.tie.org/event/tie-oregon-pitch-club-june-2015/?instance_id=403
end_time nil → 2015-06-18 20:30:00 -0700
id nil → 1250468606
start_time nil → 2015-06-18 17:30:00 -0700
title nil → TiE Oregon Pitch Club with David Shanley
url nil → http://oregon.tie.org/event/tie-oregon-pitch-club-june-2015/?instance_id=403
venue_id nil → 202393394
Change #34632
2015-06-08
18:06:23

update Calagator::Event 1250468605 MaptimePDX - Hand-Drawn Maps Roll back

description ### Hand-drawn maps! Leave the laptops at home because [@MaptimePDX](https://twitter.com/maptimepdx) is going analog - AKA it's arts & crafts time! We will be providing paper, maps, crayons and way to create map tiles from our drawings. Feel free to bring the kids! Pizza and drinks will be provided! ![PortlandonOpenStreetMap](http://www.hemispheresmagazine.com/images/2010/jul/08.jpg) ###Beginning & Experienced Mappers Welcome! - Thursday, June 11th, 2015 - 6 PM - 8 PM - Esri R&D Center, [ - 309 SW 6t St #600, Portland, OR 97204 - [RSVP](http://www.eventbrite.com/e/june-maptimepdx-tickets-17247433538) → ### Hand-drawn maps! Leave the laptops at home because [@MaptimePDX](https://twitter.com/maptimepdx) is going analog - AKA it's arts & crafts time! We will be providing paper, maps, crayons and way to create map tiles from our drawings. Feel free to bring the kids! Pizza and drinks will be provided! ![PortlandonOpenStreetMap](http://www.hemispheresmagazine.com/images/2010/jul/08.jpg) ###Beginning & Experienced Mappers Welcome! - Thursday, June 11th, 2015 - 6 PM - 8 PM - Esri R&D Center - 309 SW 6t St #600, Portland, OR 97204 - [RSVP](http://www.eventbrite.com/e/june-maptimepdx-tickets-17247433538)
Change #34631
2015-06-08
18:04:18

create Calagator::Event 1250468605 MaptimePDX - Hand-Drawn Maps Roll back

description nil → ### Hand-drawn maps! Leave the laptops at home because [@MaptimePDX](https://twitter.com/maptimepdx) is going analog - AKA it's arts & crafts time! We will be providing paper, maps, crayons and way to create map tiles from our drawings. Feel free to bring the kids! Pizza and drinks will be provided! ![PortlandonOpenStreetMap](http://www.hemispheresmagazine.com/images/2010/jul/08.jpg) ###Beginning & Experienced Mappers Welcome! - Thursday, June 11th, 2015 - 6 PM - 8 PM - Esri R&D Center, [ - 309 SW 6t St #600, Portland, OR 97204 - [RSVP](http://www.eventbrite.com/e/june-maptimepdx-tickets-17247433538)
end_time nil → 2015-06-11 19:00:00 -0700
id nil → 1250468605
start_time nil → 2015-06-11 18:00:00 -0700
title nil → MaptimePDX - Hand-Drawn Maps
url nil → http://maptime.io/portland/
venue_id nil → 202394942
Change #34630
2015-06-08
17:49:46

update Calagator::Event 1250468583 Functional Programming Study Group Roll back

description Levant Erkok will be giving an informal talk on the SBV library that he's been working on for quite some time now (https://hackage.haskell.org/package/sbv), and a possible brief intro to SAT/SMT solving. → Levent Erkok will be giving an informal talk on the SBV library that he's been working on for quite some time now (https://hackage.haskell.org/package/sbv), and a possible brief intro to SAT/SMT solving.
Change #34629
2015-06-08
17:43:24

update Calagator::Event 1250468583 Functional Programming Study Group Roll back

description → Levant Erkok will be giving an informal talk on the SBV library that he's been working on for quite some time now (https://hackage.haskell.org/package/sbv), and a possible brief intro to SAT/SMT solving.
venue_details → Buzz "200" when you arrive. The phone rings once or twice, then you'll be buzzed up. Elevator access available. Indoor bike parking available upstairs. Located on the Green and Yellow MAX lines. Car parking within a few blocks. The meeting room will be on your left.
Change #34628
2015-06-08
17:31:28

update Calagator::Event 1250468553 Single Board Computer/Low Power Computing Initial Meetup Roll back

venue_details ~~We will be in the outside space at the far end of the picnic tables closest to Morrison St~~ **EDIT** Since its 93 degrees out we are instead inside at the double picnic tables in the back of the main room → **EDIT** Previously this said we would be outside, but since its 93 degrees out we are instead inside at the double picnic tables in the back of the main room
Change #34627
2015-06-08
17:31:03

update Calagator::Event 1250468553 Single Board Computer/Low Power Computing Initial Meetup Roll back

venue_details We will be in the outside space at the far end of the picnic tables closest to Morrison St → ~~We will be in the outside space at the far end of the picnic tables closest to Morrison St~~ **EDIT** Since its 93 degrees out we are instead inside at the double picnic tables in the back of the main room
Change #34626
2015-06-08
17:21:02

update Calagator::Event 1250468594 PDXbyte users group (C/C++/Assembly) Roll back

description # Preventing Memory Leaks With Smart Pointers # Ian Dees Possibly a second talk. The meeting host for June is [Crowd Compass](http://www.crowdcompass.com/home.shtml) The leading mobile app provider for conferences and meetings. Talk begins at 7, get there early for socializing. Join our mailing list! https://groups.google.com/forum/#!forum/pdxbyte → Ian Dees: Preventing Memory Leaks With Smart Pointers David Turnbull: Introduction to Operating Systems for Embedded Systems (and the Internet of Things). The meeting host for June is [Crowd Compass](http://www.crowdcompass.com/home.shtml) The leading mobile app provider for conferences and meetings. Talk begins at 7, get there early for socializing. Join our mailing list! https://groups.google.com/forum/#!forum/pdxbyte
Change #34625
2015-06-08
16:51:59

update Calagator::Event 1250468594 PDXbyte users group (C/C++/Assembly) Roll back

description # Preventing Memory Leaks With Smart Pointers # Ian Dees Possibly a second talk. The meeting host for May is [Crowd Compass](http://www.crowdcompass.com/home.shtml) The leading mobile app provider for conferences and meetings. Talk begins at 7, get there early for socializing. Join our mailing list! https://groups.google.com/forum/#!forum/pdxbyte → # Preventing Memory Leaks With Smart Pointers # Ian Dees Possibly a second talk. The meeting host for June is [Crowd Compass](http://www.crowdcompass.com/home.shtml) The leading mobile app provider for conferences and meetings. Talk begins at 7, get there early for socializing. Join our mailing list! https://groups.google.com/forum/#!forum/pdxbyte
Change #34624
2015-06-08
13:59:17

create Calagator::Event 1250468604 Science on Tap - Blood Secrets Roll back

description nil → Science on Tap is a science lecture series where you can sit back, enjoy a pint, and laugh while you learn. You don’t have to be a science geek to have fun—all you need is a thirst for knowledge! Date: Wednesday, July 15, 2015 Location: Kiggins Theatre, 1011 Main Street, Vancouver, Wash. Cost: $8 online advance tickets, $10* suggested cover at the door. This is an all-ages event. Full Title: Crime Scene Reconstruction: The Devil Is In The Details Have you ever wondered how crime scene investigations actually work? At this Science on Tap, join Rod Englert of Englert Forensic Consultants as he takes you behind the scenes and explains how homicide investigations can test the limits of an investigator’s power of observation, intuitive thinking, and creative ability. Chief Deputy (Retired) Rod Englert, a 50-year veteran of law enforcement, retired as Commander of the Operations Division, Multnomah County Sheriff’s Office, Portland, Oregon, in 1995. He is also is the author of Blood Secrets: Chronicles of a Crime Scene Reconstructionist. Books will be available for sale and signing. _________ *A note on the suggested cover at the door: Science on Tap is largely supported by money collected at the door. We are committed to offering educational opportunities to adults who want to learn, so if $10 is a hardship for you, please come anyway and donate what you can.
end_time nil → 2015-07-15 21:00:00 -0700
id nil → 1250468604
start_time nil → 2015-07-15 19:00:00 -0700
title nil → Science on Tap - Blood Secrets
url nil → http://www.viaproductions.org/events/kiggins_july_15_crime/
venue_details nil → Time: Doors at 6 p.m. event at 7 p.m. Food & Drink: Beer, wine, pizza slices, popcorn and snacks available.
venue_id nil → 202394687
Change #34623
2015-06-08
11:41:22

create Calagator::Event 1250468603 Galois tech talk: The CH2O project: making sense of the C standard Roll back

description nil → abstract: CH2O is the PhD project of Robbert Krebbers and has as its goal a formal version of the ISO standard of the C programming language. A problem with this is that the C standard is fundamentally inconsistent. There are three versions of the CH2O semantics: a (small step) operational semantics, an executable semantics, and an axiomatic semantics (a separation logic for C). The most important properties — soundness and completeness results, subject reduction and progress, correctness of the type checker — have all been proved. All definitions and proofs have been fully formalized in Coq, without any axioms and on top of a non-trivial support library. The CH2O project has two abstract C-like languages. A significant subset of C called “CH2O abstract C” is translated into a simplified language called “CH2O core C”. This translation is written in Coq and implicitly gives a semantics to CH2O abstract C. The rest of the formalization is all about CH2O core C. The executable CH2O semantics has been extracted to OCaml and combined with the CIL parser to a standalone “interpreter”. This tool can be used to explore all behaviors of a program according to the C standard. Although the CH2O semantics does not yet support I/O (nor the exit function), a small hack allows the CH2O interpreter to still explore programs that call printf. The CH2O semantics has been specifically designed to be compatible with the CompCert semantics for C. Significant differences between CompCert and CH2O are that the CH2O semantics has explicit typing judgments for everything, and that CH2O applies to any ISO compliant compiler. bio: I have a master degree in mathematics (my thesis was about conformal supergravity), and a PhD in computer science, both from the University of Amsterdam. I also worked as a system administrator at the University of Utrecht. Currently I’m an assistant professor of computer science at the Radboud University Nijmegen. My research has been mainly about formalization of mathematics using interactive theorem provers, but recently I have been getting interested in practical program verification, where interactive proof is used when automation doesn’t cut it. At the moment I am an alternate member of WG14, and I won a price in the IOCCC twice. And my favorite project is the CakeML/verified-HOL Light project.
end_time nil → 2015-06-18 11:00:00 -0700
id nil → 1250468603
start_time nil → 2015-06-18 10:00:00 -0700
title nil → Galois tech talk: The CH2O project: making sense of the C standard
url nil → http://galois.com/blog/2015/06/tech-talk-ch2o-project-making-sense-c-standard/
venue_id nil → 202390439
Change #34622
2015-06-08
11:38:21

create Calagator::Event 1250468602 Galois tech talk: Differential Privacy – A Toolkit for Stability, Robustness, and Statistical Validity Roll back

description nil → abstract: In this talk, I’ll give an introduction to differential privacy with an emphasis on its relationship to machine learning, and its usefulness outside of privacy. Along the way, I’ll give a taste for the mathematical tools that can be used to achieve differential privacy. My thesis is that anyone who cares about data should care about the tools that the differential privacy literature offers. bio: Katrina Ligett is an assistant professor of computer science and economics at Caltech. Before joining Caltech in 2011, she did postdoctoral work at Cornell, and she received her PhD in computer science from Carnegie Mellon in 2009. Her primary research interests are in mathematical foundations for data privacy, and in game theory. She has received an NSF Career Award, a Microsoft Research Faculty Fellowship, a Google Faculty Research Award, and an Okawa Foundation Research Grant.
end_time nil → 2015-06-16 12:00:00 -0700
id nil → 1250468602
start_time nil → 2015-06-16 11:00:00 -0700
title nil → Galois tech talk: Differential Privacy – A Toolkit for Stability, Robustness, and Statistical Validity
url nil → http://galois.com/blog/2015/06/tech-talk-differential-privacy-toolkit-stability-robustness-statistical-validity/
venue_id nil → 202390439
Change #34621
2015-06-08
10:51:15

create Calagator::Event 1250468601 PDXGo Talk Night Roll back

description nil → Learn about Go and join other Gophers for a night of learning and discussion. Welcome to all skill levels! Hang out and chat with other Gophers until about 6:30 Bring your questions and ask the whole group in an open discussion format! Talk: Go-Bootstrap [Didip Kerabat](https://twitter.com/didip) will be talking about his new skeleton web project [Go-Bootstrap!](https://github.com/go-bootstrap/go-bootstrap) A curated and composable set of Go libraries to get your web project running quickly! Thank you to Esri for the location, and Culture Foundry for continuing to provide refreshments! Please RSVP if intend to come!
end_time nil → 2015-06-09 20:00:00 -0700
id nil → 1250468601
start_time nil → 2015-06-09 18:00:00 -0700
title nil → PDXGo Talk Night
url nil → http://www.meetup.com/PDX-Go/events/222199496/
venue_details nil → Check for signage at the entrance for directions if no one is there to let you in.
venue_id nil → 202394387
Change #34620
2015-06-08
08:24:19

update Calagator::Event 1250468361 Free Cloud Computing Educational/ Job Program Roll back

end_time 2015-06-26 17:00:00 -0700 → 2015-06-01 17:00:00 -0700