|
Change #38333
2016-03-23
16:46:47
|
update
Calagator::Venue
202393569
Altsource 2407 SE 10th Ave, Portland, OR
Roll back
| access_notes |
nil |
→ |
|
| address |
nil |
→ |
2407 SE 10th Ave |
| country |
nil |
→ |
US |
| description |
nil |
→ |
|
| email |
nil |
→ |
|
| events_count |
1 |
→ |
20 |
| id |
202395222 |
→ |
202393569 |
| latitude |
nil |
→ |
45.5057 |
| locality |
nil |
→ |
Portland |
| longitude |
nil |
→ |
-122.6561 |
| postal_code |
nil |
→ |
97214 |
| region |
nil |
→ |
Oregon |
| street_address |
nil |
→ |
2407 SE 10th Ave |
| telephone |
nil |
→ |
|
| title |
Altsource 2407 SE 10th Ave, Portland, OR |
→ |
AltSource |
| url |
nil |
→ |
|
|
|
Change #38332
2016-03-23
16:44:38
|
create
Calagator::Event
1250470005
PDX Tech + Pong
Roll back
| description |
nil |
→ |
How it works:
Come have a beer and (if you want to) play some pong:
Do you work for a tech company in any way, shape, or form (start-up, developer, marketing, design, admin, tech student, etc.)? Do you want to be more involved in the Portland tech community? Come by and play some Ping-Pong! Or, just come by for some good conversation and a beer. Headbands, wristbands, and other such attire are encouraged.
Please RSVP so we can get a head count.
Location:
AltSource is on the ground level and has plenty of parking spaces nearby.
AltSource is a driven software development team focused on delivering custom applications of exceptional quality across any enterprise. Located in SE Portland, AltSource will be opening their doors and their kegerator to the PDX tech community. Looking for a job with a kegerator? http://www.altsrc.net/Careers
Sponsor:
The Dyrt - Love camping and outdoor adventures? Come work for a fun start-up http://blog.thedyrt.com/category/jobs/ |
| end_time |
nil |
→ |
2016-03-30 20:15:00 -0700 |
| id |
nil |
→ |
1250470005 |
| start_time |
nil |
→ |
2016-03-30 18:15:00 -0700 |
| title |
nil |
→ |
PDX Tech + Pong |
| url |
nil |
→ |
http://www.meetup.com/PDX-Tech-Pong/events/228608138/ |
| venue_details |
nil |
→ |
First Floor in the Altsource back ping pong kegerator room Altsource 2407 SE 10th Ave |
| venue_id |
nil |
→ |
202395222 |
|
|
Change #38331
2016-03-23
16:44:38
|
create
Calagator::Venue
202393569
Altsource 2407 SE 10th Ave, Portland, OR
Roll back
| events_count |
nil |
→ |
1 |
| id |
nil |
→ |
202395222 |
| title |
nil |
→ |
Altsource 2407 SE 10th Ave, Portland, OR |
|
|
Change #38330
2016-03-23
14:21:31
|
update
Calagator::Event
1250470004
Portland Startup Weekend Education
Roll back
| venue_details |
2811 NE Holman St.
Portland, Oregon 97211 |
→ |
|
|
|
Change #38329
2016-03-23
14:21:15
|
update
Calagator::Venue
202395221
Concordia University
Roll back
| access_notes |
nil |
→ |
|
| address |
nil |
→ |
|
| country |
nil |
→ |
US |
| description |
nil |
→ |
|
| email |
nil |
→ |
|
| events_count |
1 |
→ |
2 |
| latitude |
nil |
→ |
45.5697 |
| locality |
nil |
→ |
Portland |
| longitude |
nil |
→ |
-122.637 |
| postal_code |
nil |
→ |
97211 |
| region |
nil |
→ |
OR |
| street_address |
nil |
→ |
2811 NE Holman St |
| telephone |
nil |
→ |
|
| url |
nil |
→ |
|
|
|
Change #38328
2016-03-23
14:20:41
|
create
Calagator::Event
1250470004
Portland Startup Weekend Education
Roll back
| description |
nil |
→ |
Have you ever had an idea for improving education? Here's your opportunity to transform your education ideas into action in 54 hours. Find the right people with complimentary skills and passion to work and learn with along the way. No tech skills required! Pitch your idea (or even better a problem/solution), then test it with real potential customers and receive coaching from industry experts in technology and education from the Portland Metro area. Join a community ready to help you take your concept to the next level!
We're looking for passionate educators, parents, students, developers, designers and business/non-profit professionals who want to make a difference in education now. Come learn the basics of founding and launching a successful education venture while solving real problems being experienced in Portland today.
<b>Schedule</b>
In 54 hours, participants share ideas, form teams, build products and launch education ventures. Startup Weekend EDU begins with open-mic, 60-second pitches Friday night that result in the formation of small teams around the best, most viable concepts. Teams spend Saturday and Sunday morning focusing on customer development, validating their ideas and building prototypes with the help of experienced coaches. On Sunday afternoon, teams demo their education solutions and receive valuable feedback from a panel of expert judges. All of the pitches on Friday and companies demoed on Sunday will be educator approved and designed to solve problems in the education space, broadly defined (not restricted to K-12 or other “formal” education).
|
| end_time |
nil |
→ |
2016-04-10 19:00:00 -0700 |
| id |
nil |
→ |
1250470004 |
| start_time |
nil |
→ |
2016-04-08 17:00:00 -0700 |
| title |
nil |
→ |
Portland Startup Weekend Education |
| url |
nil |
→ |
http://www.up.co/communities/usa/portland/startup-weekend/8168 |
| venue_details |
nil |
→ |
2811 NE Holman St.
Portland, Oregon 97211 |
| venue_id |
nil |
→ |
202395221 |
|
|
Change #38327
2016-03-23
14:20:41
|
create
Calagator::Venue
202395221
Concordia University
Roll back
| events_count |
nil |
→ |
1 |
| id |
nil |
→ |
202395221 |
| title |
nil |
→ |
Concordia University |
|
|
Change #38326
2016-03-23
11:44:44
|
update
Calagator::Venue
202395140
Renew Financial
Roll back
| access_notes |
|
→ |
Renew Financial has offices on the 8th and 9th floors of the same building. Be sure to check the listing to know which one you're going to as access is limited after hours. |
| address |
400 SW 6th Ave., 8th floor, Portland, OR 97202 |
→ |
400 SW 6th Ave. #902, Portland, OR 97202 |
| events_count |
9 |
→ |
7 |
| street_address |
402 SW 6th Ave., 8th floor |
→ |
402 SW 6th Ave. #902 |
|
|
Change #38325
2016-03-23
11:43:08
|
update
Calagator::Event
1250469999
Test Ruby PDX Monthly Meeting
Roll back
| venue_details |
Test Ruby PDX is held at the Renew Financial office on the 9th floor of 402 SW 6th Ave. When you arrive, take the elevator to the 9th floor, turn left, and it will be right in front of you. If you need help getting in text 503.720.6147. |
→ |
Test Ruby PDX is held at the Renew Financial office on the 9th floor of 400 SW 6th Ave., <b>9th floor</b>. When you arrive, take the elevator to the 9th floor, turn left, and it will be right in front of you. If you need help getting in text 503.720.6147. |
|
|
Change #38324
2016-03-23
11:40:00
|
create
Calagator::Event
1250470003
Test Ruby PDX Monthly Meeting
Roll back
| description |
nil |
→ |
Portland's testing user group for Ruby developers! Conversation and peer mentoring starting at 6, presentations at 7. For more information, follow @TestRubyPDX on Twitter or join the #testrubypdx Slack channel (under the pdxruby team). We are still looking for speakers, so if you're interested, visit <a href="http://testrubypdx.org/speak">testrubypdx.org/speak</a> for details and suggested topics! |
| end_time |
nil |
→ |
2016-08-08 21:00:00 -0700 |
| id |
nil |
→ |
1250470003 |
| start_time |
nil |
→ |
2016-08-08 18:00:00 -0700 |
| title |
nil |
→ |
Test Ruby PDX Monthly Meeting |
| url |
nil |
→ |
http://testrubypdx.org |
| venue_details |
nil |
→ |
Test Ruby PDX is held at the Renew Financial office on the 9th floor of 402 SW 6th Ave. When you arrive, take the elevator to the 9th floor, turn left, and it will be right in front of you. If you need help getting in text 503.720.6147. |
| venue_id |
nil |
→ |
202395140 |
|
|
Change #38323
2016-03-23
11:39:48
|
create
Calagator::Event
1250470002
Test Ruby PDX Monthly Meeting
Roll back
| description |
nil |
→ |
Portland's testing user group for Ruby developers! Conversation and peer mentoring starting at 6, presentations at 7. For more information, follow @TestRubyPDX on Twitter or join the #testrubypdx Slack channel (under the pdxruby team). We are still looking for speakers, so if you're interested, visit <a href="http://testrubypdx.org/speak">testrubypdx.org/speak</a> for details and suggested topics! |
| end_time |
nil |
→ |
2016-07-11 21:00:00 -0700 |
| id |
nil |
→ |
1250470002 |
| start_time |
nil |
→ |
2016-07-11 18:00:00 -0700 |
| title |
nil |
→ |
Test Ruby PDX Monthly Meeting |
| url |
nil |
→ |
http://testrubypdx.org |
| venue_details |
nil |
→ |
Test Ruby PDX is held at the Renew Financial office on the 9th floor of 402 SW 6th Ave. When you arrive, take the elevator to the 9th floor, turn left, and it will be right in front of you. If you need help getting in text 503.720.6147. |
| venue_id |
nil |
→ |
202395140 |
|
|
Change #38322
2016-03-23
11:39:35
|
create
Calagator::Event
1250470001
Test Ruby PDX Monthly Meeting
Roll back
| description |
nil |
→ |
Portland's testing user group for Ruby developers! Conversation and peer mentoring starting at 6, presentations at 7. For more information, follow @TestRubyPDX on Twitter or join the #testrubypdx Slack channel (under the pdxruby team). We are still looking for speakers, so if you're interested, visit <a href="http://testrubypdx.org/speak">testrubypdx.org/speak</a> for details and suggested topics! |
| end_time |
nil |
→ |
2016-06-13 21:00:00 -0700 |
| id |
nil |
→ |
1250470001 |
| start_time |
nil |
→ |
2016-06-13 18:00:00 -0700 |
| title |
nil |
→ |
Test Ruby PDX Monthly Meeting |
| url |
nil |
→ |
http://testrubypdx.org |
| venue_details |
nil |
→ |
Test Ruby PDX is held at the Renew Financial office on the 9th floor of 402 SW 6th Ave. When you arrive, take the elevator to the 9th floor, turn left, and it will be right in front of you. If you need help getting in text 503.720.6147. |
| venue_id |
nil |
→ |
202395140 |
|
|
Change #38321
2016-03-23
11:39:20
|
create
Calagator::Event
1250470000
Test Ruby PDX Monthly Meeting
Roll back
| description |
nil |
→ |
Portland's testing user group for Ruby developers! Conversation and peer mentoring starting at 6, presentations at 7. For more information, follow @TestRubyPDX on Twitter or join the #testrubypdx Slack channel (under the pdxruby team). We are still looking for speakers, so if you're interested, visit <a href="http://testrubypdx.org/speak">testrubypdx.org/speak</a> for details and suggested topics! |
| end_time |
nil |
→ |
2016-05-09 21:00:00 -0700 |
| id |
nil |
→ |
1250470000 |
| start_time |
nil |
→ |
2016-05-09 18:00:00 -0700 |
| title |
nil |
→ |
Test Ruby PDX Monthly Meeting |
| url |
nil |
→ |
http://testrubypdx.org |
| venue_details |
nil |
→ |
Test Ruby PDX is held at the Renew Financial office on the 9th floor of 402 SW 6th Ave. When you arrive, take the elevator to the 9th floor, turn left, and it will be right in front of you. If you need help getting in text 503.720.6147. |
| venue_id |
nil |
→ |
202395140 |
|
|
Change #38320
2016-03-23
11:39:08
|
update
Calagator::Event
1250469999
Test Ruby PDX Monthly Meeting
Roll back
| end_time |
2016-03-23 21:00:00 -0700 |
→ |
2016-04-11 21:00:00 -0700 |
| start_time |
2016-03-23 18:00:00 -0700 |
→ |
2016-04-11 18:00:00 -0700 |
|
|
Change #38319
2016-03-23
11:38:55
|
create
Calagator::Event
1250469999
Test Ruby PDX Monthly Meeting
Roll back
| description |
nil |
→ |
Portland's testing user group for Ruby developers! Conversation and peer mentoring starting at 6, presentations at 7. For more information, follow @TestRubyPDX on Twitter or join the #testrubypdx Slack channel (under the pdxruby team). We are still looking for speakers, so if you're interested, visit <a href="http://testrubypdx.org/speak">testrubypdx.org/speak</a> for details and suggested topics! |
| end_time |
nil |
→ |
2016-03-23 21:00:00 -0700 |
| id |
nil |
→ |
1250469999 |
| start_time |
nil |
→ |
2016-03-23 18:00:00 -0700 |
| title |
nil |
→ |
Test Ruby PDX Monthly Meeting |
| url |
nil |
→ |
http://testrubypdx.org |
| venue_details |
nil |
→ |
Test Ruby PDX is held at the Renew Financial office on the 9th floor of 402 SW 6th Ave. When you arrive, take the elevator to the 9th floor, turn left, and it will be right in front of you. If you need help getting in text 503.720.6147. |
| venue_id |
nil |
→ |
202395140 |
|
|
Change #38318
2016-03-23
09:33:26
|
create
Calagator::Event
1250469998
Coding and career help
Roll back
| description |
nil |
→ |
<p>Join us for coffee and code as we help each other progress our careers. We'll meet in the lobby at 10:00am. The doors will be locked, so call Dan if you need entry later. Bring your computers!</p> |
| id |
nil |
→ |
1250469998 |
| source_id |
nil |
→ |
996335625 |
| start_time |
nil |
→ |
2016-04-02 10:00:00 -0700 |
| title |
nil |
→ |
Coding and career help |
| url |
nil |
→ |
http://www.meetup.com/Mentorship-Saturdays/events/227996605/ |
| venue_id |
nil |
→ |
202395166 |
|
|
Change #38317
2016-03-23
09:33:26
|
update
Calagator::Source
996335625
http://www.meetup.com/Mentorship-Saturdays/events/227996605/
Roll back
|
|
Change #38316
2016-03-23
09:33:26
|
create
Calagator::Source
996335625
http://www.meetup.com/Mentorship-Saturdays/events/227996605/
Roll back
| id |
nil |
→ |
996335625 |
| url |
nil |
→ |
http://www.meetup.com/Mentorship-Saturdays/events/227996605/ |
|
|
Change #38315
2016-03-23
05:35:51
|
create
Calagator::Event
1250469997
PDX LIT-Lab / Legal Hackers Happy Hour
Roll back
| description |
nil |
→ |
<p>Hey everyone, </p> <p><br>No speaker this week, so we thought we'd turn this into more of a social meetup. Still lots to talk about, including accelerating applications of AI in legal.</p> <p>Come join us at Raven & Rose, upstairs in the bar, at 6:00 on Thursday 3/24. Hope to see you there!</p> <p>--John & Jason</p> |
| id |
nil |
→ |
1250469997 |
| source_id |
nil |
→ |
996335624 |
| start_time |
nil |
→ |
2016-03-24 18:00:00 -0700 |
| title |
nil |
→ |
PDX LIT-Lab / Legal Hackers Happy Hour |
| url |
nil |
→ |
http://www.meetup.com/PDX-Legal-Hackers/events/229118586/ |
| venue_id |
nil |
→ |
202395220 |
|
|
Change #38314
2016-03-23
05:35:50
|
create
Calagator::Venue
202395220
Raven & Rose
Roll back
| country |
nil |
→ |
us |
| events_count |
nil |
→ |
1 |
| id |
nil |
→ |
202395220 |
| latitude |
nil |
→ |
45.5149 |
| locality |
nil |
→ |
Portland |
| longitude |
nil |
→ |
-122.6823 |
| postal_code |
nil |
→ |
97201 |
| region |
nil |
→ |
Or |
| source_id |
nil |
→ |
996335624 |
| street_address |
nil |
→ |
1331 SW Broadway |
| title |
nil |
→ |
Raven & Rose |
|
|
Change #38313
2016-03-23
05:35:50
|
update
Calagator::Source
996335624
http://www.meetup.com/PDX-Legal-Hackers/events/229118586/?eventId=229118586
Roll back
|
|
Change #38312
2016-03-23
05:35:50
|
create
Calagator::Source
996335624
http://www.meetup.com/PDX-Legal-Hackers/events/229118586/?eventId=229118586
Roll back
| id |
nil |
→ |
996335624 |
| url |
nil |
→ |
http://www.meetup.com/PDX-Legal-Hackers/events/229118586/?eventId=229118586 |
|
|
Change #38311
2016-03-23
05:35:36
|
update
Calagator::Source
996335623
http://meetu.ps/2W2SkZ
Roll back
|
|
Change #38310
2016-03-23
05:35:36
|
create
Calagator::Source
996335623
http://meetu.ps/2W2SkZ
Roll back
| id |
nil |
→ |
996335623 |
| url |
nil |
→ |
http://meetu.ps/2W2SkZ |
|
|
Change #38309
2016-03-22
10:31:30
|
create
Calagator::Event
1250469996
Open Source Bridge Planning Meeting / Work Sprint
Roll back
| description |
nil |
→ |
Come join us to work on Open Source Bridge 2016! We've got just over three months til the conference! |
| end_time |
nil |
→ |
2016-03-26 16:00:00 -0700 |
| id |
nil |
→ |
1250469996 |
| start_time |
nil |
→ |
2016-03-26 13:00:00 -0700 |
| title |
nil |
→ |
Open Source Bridge Planning Meeting / Work Sprint |
| venue_id |
nil |
→ |
202394572 |
|
|
Change #38308
2016-03-21
18:29:59
|
update
Calagator::Venue
202395219
Pad Thai Kitchen
Roll back
| access_notes |
nil |
→ |
|
| address |
nil |
→ |
2309 SE Belmont St Portland, OR 97215 |
| country |
nil |
→ |
USA |
| description |
nil |
→ |
|
| email |
nil |
→ |
|
| latitude |
nil |
→ |
45.5167 |
| locality |
nil |
→ |
Portland |
| longitude |
nil |
→ |
-122.6422 |
| postal_code |
nil |
→ |
97215 |
| region |
nil |
→ |
OR |
| street_address |
nil |
→ |
2309 SE Belmont St |
| telephone |
nil |
→ |
(503) 232-8766 |
| url |
nil |
→ |
http://www.yelp.com/biz/pad-thai-kitchen-portland |
|
|
Change #38307
2016-03-21
18:26:59
|
create
Calagator::Event
1250469995
BSD -Pizza- Thai Night
Roll back
| description |
nil |
→ |
A meeting of folks interested in Copy Free licenses, primarily BSD operating systems. We get together eat pizza, drink beer, and talk about what interesting things have been going on. |
| end_time |
nil |
→ |
2016-03-31 21:00:00 -0700 |
| id |
nil |
→ |
1250469995 |
| start_time |
nil |
→ |
2016-03-31 19:00:00 -0700 |
| title |
nil |
→ |
BSD -Pizza- Thai Night |
| venue_details |
nil |
→ |
Due to demand, we're going to deviate from the normal plan of meeting at a new pizza place and are going to try out some Thai food while talking about BSD stuff. |
| venue_id |
nil |
→ |
202395219 |
|
|
Change #38306
2016-03-21
18:26:59
|
create
Calagator::Venue
202395219
Pad Thai Kitchen
Roll back
| events_count |
nil |
→ |
1 |
| id |
nil |
→ |
202395219 |
| title |
nil |
→ |
Pad Thai Kitchen |
|
|
Change #38305
2016-03-21
16:22:14
|
create
Calagator::Event
1250469994
Nike Tech Talks
Roll back
| description |
nil |
→ |
Nike Consumer Digital Tech is hosting tech talks for the PDX tech community on Apr. 14th. We're bringing two great speakers to the Nike campus and there will be time to network and enjoy snacks and drinks.
SCHEDULE
4:00-4:30pm Check-In, Networking, and Food/Drinks
4:30-6:30pm Talks - Snap by Intel (Nicholas Weaver) and Keen on Scaling Distributed Systems (Ryan Spraetz)
6:30-7:30pm Networking and Food/Drinks
Learn more and sign up at: https://niketechtalks-apr2016.splashthat.com. Questions? Email [email protected].
|
| end_time |
nil |
→ |
2016-04-14 19:30:00 -0700 |
| id |
nil |
→ |
1250469994 |
| start_time |
nil |
→ |
2016-04-14 16:00:00 -0700 |
| title |
nil |
→ |
Nike Tech Talks |
| url |
nil |
→ |
https://niketechtalks-apr2016.splashthat.com |
| venue_id |
nil |
→ |
202394785 |
|
|
Change #38304
2016-03-21
11:47:18
|
create
Calagator::Event
1250469993
Galois tech talk: Adversarial Machine Learning, Privacy, and Cybersecurity in the Age of Data Science
Roll back
| description |
nil |
→ |
abstract:
Due to the exponential growth of our ability to collect, centralize, and share data in recent years we have been able tackle problems previously assumed to be insurmountable. Ubiquitous sensors, fast and efficient machine learning, and affordable commercial-off-the-shelf technologies have not only deepened our understanding of our world, but also democratized these capabilities. As a direct result of this shift, we are facing a rapidly evolving host of challenges centered around our new data-driven world. In this talk we will discuss efforts from the Trustworthy Data Engineering Laboratory (TRUST Lab) in conjunction with our partners at the World Bank, the Federal Bureau of Investigation (FBI), the Environmental Protection Agency (EPA), and the City of Cincinnati to identify and solve problems in Adversarial Machine Learning and Data Science. We will examine real case studies in debarrment and corruption in international procurement with the World Bank, cases of violations of the Resource Conservation and Recovery Act with the EPA, and human rights abuses of low income citizens by corporate slum-lords in the city of Cincinnati. In each of these cases we will show how malicious actors manipulated the data collection and data analytics process either through misinformation, abuse of regional corporate legal structures, collusion with state actors, or knowledge of underlying predictive analytics algorithms to damage the integrity of data used by machine learning and predictive analytic processes, or the outcomes derived from these processes, to avoid regulatory oversite, sanctions, and investigations launched by national and multi-national authorities. This new type of attack is growing increasingly common, and we will motivate and encourage increased research on counter measures and safe guards in information systems.
Additionally we will discuss our efforts to combat problems in data privacy and availability in modern systems, highlighting the tradeoffs involved between data availability and privacy, and introduce a new formal logic for privacy preserving data operations, and demonstrate their performability and correctness, along with metrics for their improved privacy and suitability for high-assurance areas of data science.
bio:
Dr. Eric Rozier is an Assistant Professor of Electrical Engineering and Computing Systems and head of the Trustworthy Data Engineering Laboratory at the University of Cincinnati in Cincinnati, Ohio. He has previously been named a Frontier’s of Engineering Education Faculty member by the National Academy of Engineering, a two time Eric and Wendy Schmidt Data Science for Social Good Faculty Fellow at the University of Chicago, and an IBM Research Fellow. Dr. Rozier’s research interests revolve around the intersection of Data Science and Engineering with Cybersecurity, Reliability, and Performability Engineering, with a focus on dependable computing for critial infrastructures. His work in Adversarial Machine Learning was recently featured as one of the inaugural talks for the USENIX Engima conference on emerging threats and novel attacks. Before joining the University of Cincinnati, Dr. Rozier was the founding director of the Fortinet Cybersecurity Laboratory at the University of Miami where he worked to develop and commercialize new technologies in homomorphic encryption for cloud-based systems. He earned his Ph.D. from the University of Illinois at Urbana-Champaign where he worked on applications in fault-tolerance and security with the National Center for Supercomputing Applications, and the Information Trust Institute. |
| end_time |
nil |
→ |
2016-03-25 11:30:00 -0700 |
| id |
nil |
→ |
1250469993 |
| start_time |
nil |
→ |
2016-03-25 10:30:00 -0700 |
| title |
nil |
→ |
Galois tech talk: Adversarial Machine Learning, Privacy, and Cybersecurity in the Age of Data Science |
| url |
nil |
→ |
http://galois.com/blog/2016/03/tech-talk-adversarial-machine-learning-privacy-and-cybersecurity-in-the-age-of-data-science/ |
| venue_id |
nil |
→ |
202394717 |
|
|
Change #38303
2016-03-21
11:45:35
|
create
Calagator::Event
1250469992
Galois tech talk: Design-Time Formal Verification for Full-Scale Automated Air Traffic Control
Roll back
| description |
nil |
→ |
abstract:
We are at the dawn of a new age in air traffic control. The airspace is full in the sense that demand for flights exceeds our capacity to add new air traffic. The time-tested current method of air traffic control has hit its scalability limit and must be replaced with a new system that is more scalable while also proving at least as safe. Now that we have the chance to redefine air traffic control from scratch, the question arises: how do we do it safely?
We explore new frontiers in symbolic model checking to scalably answer the functional allocation question: instead of analyzing one design, or comparing a pair of designs, we now need to take into account a large number of permutations and combinations of functions that comprise a large set of possible designs. We introduce a compositional, modular, parameterized approach to model generation. We comparatively analyze the design space with regard to safety on multiple levels, considering the set of possible system designs both in nominal conditions and in the presence of faults. Our analysis helps NASA narrow the possible design space, saving time and cost of later-phase evaluations, identifying both novel and known problematic design configurations. Our methods pave the way for the complexities demanded by future analysis, as the question of how to reason about adding Unmanned Aerial Systems into the national air traffic management system looms on the horizon.
bio:
NSF CAREER Award winner and recipient of the Inaugural Initiative-Inspiration-Impact Award from Women in Aerospace, Kristin Yvonne Rozier joined the faculty of the Aerospace Engineering and Computer Science Departments in Spring, 2015. Previous to that, she spent 14 years as a Research Scientist at NASA, holding civil service positions at NASA Ames Research Center (2008-2014) and NASA Langley Research Center (2001-2008).
Rozier earned her PhD in Computer Science from Rice University and MS and BS degrees from the College of William and Mary. During her tenure at NASA, she contributed research to the Aeroacoustics, and Safety-Critial Avionics groups at NASA Langley and to the Robust Software Engineering, and Discovery and Systems Health groups in the Intelligent Systems Division at NASA Ames. She has served on the NASA Formal Methods Symposium Steering Committee since working to found that conference in 2008.
Most recently, Rozier was a primary contributing researcher to the Next Generation Air Transportation System (NextGen) Air Traffic Management project of the Airspace Systems Program at NASA. She also served as Principal Investigator of an ARMD Seedling project advancing System and Safety Health Management for Unmanned Aerial Systems (UAS). Rozier is an Associate Fellow of AIAA and a Senior Member of IEEE and SWE. |
| end_time |
nil |
→ |
2016-03-24 14:30:00 -0700 |
| id |
nil |
→ |
1250469992 |
| start_time |
nil |
→ |
2016-03-24 13:30:00 -0700 |
| title |
nil |
→ |
Galois tech talk: Design-Time Formal Verification for Full-Scale Automated Air Traffic Control |
| url |
nil |
→ |
http://galois.com/blog/2016/03/tech-talk-design-time-formal-verification-for-full-scale-automated-air-traffic-control/ |
| venue_id |
nil |
→ |
202394717 |
|
|
Change #38302
2016-03-21
11:13:03
|
create
Calagator::Event
1250469991
Celebration Tabernacle Easter Sunday Service
Roll back
| description |
nil |
→ |
CELEBRATION TABERNACLE CHURCH INVITES TO THE COMMUNITY TO HAVE FREE PANCAKES AS THEY CELEBRATE EASTER
Celebration Tabernacle Church is inviting the community to join them for Easter. There will be a special Sunrise service serving FREE Pancakes at 6AM Easter morning (Sunday, March 27th). Celebration encourages the community to bring their appetite. This is located at Poshines Cafe De La Soul at 8139 N. Denver.
At 11AM There’s an Easter Service at Celebration Tabernacle church, 8131 N. Denver. Performances will be from the rare gathering of the Celebration Tabernacle Choir! Pastor Tamara Tolbert and Minister Elbert Mondaine III will be singing lead on the choir songs, and these guys will bring it.
There will also be an awesome Easter skit put on by the ever hilarious Jam Night Sketch Comedy Crew! The community’s encouraged to come as they never cease to make me laugh. |
| end_time |
nil |
→ |
2016-03-27 07:00:00 -0700 |
| id |
nil |
→ |
1250469991 |
| start_time |
nil |
→ |
2016-03-27 06:00:00 -0700 |
| title |
nil |
→ |
Celebration Tabernacle Easter Sunday Service |
| url |
nil |
→ |
http://www.ctoregon.org |
| venue_id |
nil |
→ |
202395127 |
|
|
Change #38301
2016-03-21
09:23:44
|
create
Calagator::Event
1250469990
Angular Portland Presentation Night
Roll back
| id |
nil |
→ |
1250469990 |
| source_id |
nil |
→ |
996335622 |
| start_time |
nil |
→ |
2016-05-11 18:00:00 -0700 |
| title |
nil |
→ |
Angular Portland Presentation Night |
| url |
nil |
→ |
http://www.meetup.com/ngpdxers/events/228776565/ |
| venue_id |
nil |
→ |
202395166 |
|
|
Change #38300
2016-03-21
09:23:43
|
update
Calagator::Source
996335622
http://www.meetup.com/ngpdxers/events/228776565/
Roll back
|
|
Change #38299
2016-03-21
09:23:43
|
create
Calagator::Source
996335622
http://www.meetup.com/ngpdxers/events/228776565/
Roll back
| id |
nil |
→ |
996335622 |
| url |
nil |
→ |
http://www.meetup.com/ngpdxers/events/228776565/ |
|
|
Change #38298
2016-03-21
09:23:23
|
create
Calagator::Event
1250469989
Angular Portland Presentation Night
Roll back
| id |
nil |
→ |
1250469989 |
| source_id |
nil |
→ |
996335621 |
| start_time |
nil |
→ |
2016-04-13 18:00:00 -0700 |
| title |
nil |
→ |
Angular Portland Presentation Night |
| url |
nil |
→ |
http://www.meetup.com/ngpdxers/events/228637748/ |
| venue_id |
nil |
→ |
202395166 |
|
|
Change #38297
2016-03-21
09:23:23
|
update
Calagator::Source
996335621
http://www.meetup.com/ngpdxers/events/228637748/
Roll back
|
|
Change #38296
2016-03-21
09:23:23
|
create
Calagator::Source
996335621
http://www.meetup.com/ngpdxers/events/228637748/
Roll back
| id |
nil |
→ |
996335621 |
| url |
nil |
→ |
http://www.meetup.com/ngpdxers/events/228637748/ |
|
|
Change #38295
2016-03-21
08:40:10
|
create
Calagator::Event
1250469988
Elixir Games PDX - Get in the Zone
Roll back
| description |
nil |
→ |
We parted ways from the normal format of this meetup last time, and instead of working on the problem stated, we ended up working on trying to get a relatively complex Erlang project (erl-dns) to build using only Elixir's build chain as well as added an Elixir module to the project to ensure that we could attempt to extend the project using only Elixir code.
This month we'll continue the games format, but instead of a contrived problem we'll continue down this path of modifying and contributing to an open source project.
For the newcomers, the "Games" format is designed to create a bit of friendly competition and is accessible for all ranges of experience; beginners and pros alike.
If you'd like to take a look at the previous sessions' exercises feel free to check them out here: https://github.com/elixir-pdx/, some submitted solutions are available on non-master branches.
Early in this series we'll be focusing mostly on solving problems in a functional paradigm, and as the series continues over time we'll move more and more toward Elixir's differentiators; Erlang interop, hygienic macros, & OTP patterns.
If all that read like gibberish to you, don't worry you don't have to know any of that jargon, and by the time you do everything will already make sense. Because we'll introduce ideas and concepts in a way that will help you understand those things conceptually before you ever need a weird name for them.
Food and drinks will be provided. There will also be small desk fodder prizes for the winning team.
Please make sure you come with a computer to work on and have Elixir pre-installed locally or in a VM and ready to go.
http://elixir-lang.org/install.html
Special thanks to my friend Jeff Weiss and Puppet Labs, ‘the leader in IT automation’, for hosting us. |
| end_time |
nil |
→ |
2016-03-23 20:30:00 -0700 |
| id |
nil |
→ |
1250469988 |
| start_time |
nil |
→ |
2016-03-23 18:00:00 -0700 |
| title |
nil |
→ |
Elixir Games PDX - Get in the Zone |
| url |
nil |
→ |
http://www.meetup.com/elixir-pdx/events/229761804/ |
| venue_details |
nil |
→ |
Exterior doors will lock at 6:00 PM. Attendees will need to use the bank of elevators (there are two) in the lobby going to floors 2-6 in order to get to floor 5. Elevators to the 5th floor will be unlocked for the event times. |
| venue_id |
nil |
→ |
202393539 |
|
|
Change #38294
2016-03-21
02:40:37
|
create
Calagator::Event
1250469987
DevOpsDays Portland 2016
Roll back
| description |
nil |
→ |
DevopsDays Portland is a two day event with a combination of presentations and open spaces designed to bring development and operations together at one conference.
Register to attend ($100 registration fee): http://devopsdays.org/events/2016-portland/registration/
|
| end_time |
nil |
→ |
2016-08-10 00:00:00 -0700 |
| id |
nil |
→ |
1250469987 |
| start_time |
nil |
→ |
2016-08-09 00:00:00 -0700 |
| title |
nil |
→ |
DevOpsDays Portland 2016 |
| url |
nil |
→ |
http://www.devopsdays.org/events/2016-portland/ |
| venue_id |
nil |
→ |
202389921 |
|
|
Change #38293
2016-03-19
09:55:25
|
create
Calagator::Event
1250469986
Dorkbot Meetup
Roll back
| description |
nil |
→ |
<p>Part hackathon, part geek social, these biweekly meetings are a time for you to come join others for insight, inspiration or just insanity. </p> <p>Bring your toys for others to see, or come see what others have been painstakingly chipping away at in their spare time. </p> <p>Whether it's code or chips, hacking of all sorts is encouraged. But we also like to hear your crazy ideas, so please come join us and bring your willingness to share your brilliance. </p> <p>We'll be the kids with all the coolest stuff on the table. Hope to see you there.</p> <p>
p.s. This event is open to everyone, dork or robot. No ^H membership is required to attend.</p> |
| id |
nil |
→ |
1250469986 |
| source_id |
nil |
→ |
996335620 |
| start_time |
nil |
→ |
2016-05-02 19:00:00 -0700 |
| title |
nil |
→ |
Dorkbot Meetup |
| url |
nil |
→ |
http://www.meetup.com/CTRL-H/events/229715188/ |
|
|
Change #38292
2016-03-19
09:55:25
|
update
Calagator::Source
996335620
http://www.meetup.com/CTRL-H/events/ptrvhlyvhbdb/
Roll back
|
|
Change #38291
2016-03-19
09:55:25
|
create
Calagator::Source
996335620
http://www.meetup.com/CTRL-H/events/ptrvhlyvhbdb/
Roll back
| id |
nil |
→ |
996335620 |
| url |
nil |
→ |
http://www.meetup.com/CTRL-H/events/ptrvhlyvhbdb/ |
|
|
Change #38290
2016-03-19
09:55:14
|
create
Calagator::Event
1250469985
Dorkbot Meetup
Roll back
| description |
nil |
→ |
<p>Part hackathon, part geek social, these biweekly meetings are a time for you to come join others for insight, inspiration or just insanity. </p> <p>Bring your toys for others to see, or come see what others have been painstakingly chipping away at in their spare time. </p> <p>Whether it's code or chips, hacking of all sorts is encouraged. But we also like to hear your crazy ideas, so please come join us and bring your willingness to share your brilliance. </p> <p>We'll be the kids with all the coolest stuff on the table. Hope to see you there.</p> <p>
p.s. This event is open to everyone, dork or robot. No ^H membership is required to attend.</p> |
| id |
nil |
→ |
1250469985 |
| source_id |
nil |
→ |
996335619 |
| start_time |
nil |
→ |
2016-04-18 19:00:00 -0700 |
| title |
nil |
→ |
Dorkbot Meetup |
| url |
nil |
→ |
http://www.meetup.com/CTRL-H/events/229596041/ |
| venue_id |
nil |
→ |
202394867 |
|
|
Change #38289
2016-03-19
09:55:14
|
update
Calagator::Source
996335619
http://www.meetup.com/CTRL-H/events/229596041/
Roll back
|
|
Change #38288
2016-03-19
09:55:14
|
create
Calagator::Source
996335619
http://www.meetup.com/CTRL-H/events/229596041/
Roll back
| id |
nil |
→ |
996335619 |
| url |
nil |
→ |
http://www.meetup.com/CTRL-H/events/229596041/ |
|
|
Change #38287
2016-03-19
09:54:55
|
create
Calagator::Event
1250469984
Dorkbot Meetup
Roll back
| description |
nil |
→ |
<p>Part hackathon, part geek social, these biweekly meetings are a time for you to come join others for insight, inspiration or just insanity. </p> <p>Bring your toys for others to see, or come see what others have been painstakingly chipping away at in their spare time. </p> <p>Whether it's code or chips, hacking of all sorts is encouraged. But we also like to hear your crazy ideas, so please come join us and bring your willingness to share your brilliance. </p> <p>We'll be the kids with all the coolest stuff on the table. Hope to see you there.</p> <p>
p.s. This event is open to everyone, dork or robot. No ^H membership is required to attend.</p> |
| id |
nil |
→ |
1250469984 |
| source_id |
nil |
→ |
996335618 |
| start_time |
nil |
→ |
2016-04-04 19:00:00 -0700 |
| title |
nil |
→ |
Dorkbot Meetup |
| url |
nil |
→ |
http://www.meetup.com/CTRL-H/events/229715175/ |
|
|
Change #38286
2016-03-19
09:54:55
|
update
Calagator::Source
996335618
http://www.meetup.com/CTRL-H/events/ptrvhlyvgbgb/
Roll back
|
|
Change #38285
2016-03-19
09:54:55
|
create
Calagator::Source
996335618
http://www.meetup.com/CTRL-H/events/ptrvhlyvgbgb/
Roll back
| id |
nil |
→ |
996335618 |
| url |
nil |
→ |
http://www.meetup.com/CTRL-H/events/ptrvhlyvgbgb/ |
|
|
Change #38284
2016-03-19
09:53:47
|
create
Calagator::Event
1250469983
Dorkbot Meetup
Roll back
| description |
nil |
→ |
<p>Part hackathon, part geek social, these biweekly meetings are a time for you to come join others for insight, inspiration or just insanity. </p> <p>Bring your toys for others to see, or come see what others have been painstakingly chipping away at in their spare time. </p> <p>Whether it's code or chips, hacking of all sorts is encouraged. But we also like to hear your crazy ideas, so please come join us and bring your willingness to share your brilliance. </p> <p>We'll be the kids with all the coolest stuff on the table. Hope to see you there.</p> <p>
p.s. This event is open to everyone, dork or robot. No ^H membership is required to attend.</p> |
| id |
nil |
→ |
1250469983 |
| source_id |
nil |
→ |
996335617 |
| start_time |
nil |
→ |
2016-03-21 19:00:00 -0700 |
| title |
nil |
→ |
Dorkbot Meetup |
| url |
nil |
→ |
http://www.meetup.com/CTRL-H/events/229438873/ |
| venue_id |
nil |
→ |
202394867 |
|