|
Change #9283
2011-07-15
13:56:00
|
update
Calagator::Event
1250459851
Dorkbot Workshop -- Arduino Cult Induction
Roll back
| description |
FEE: $35
Please join us on the last Sunday of the month for one or more of these opportunities to learn. This may change somewhat given schedule conflicts withe PNCA which has graciously hosted these classes for the last 3 years. I will be at the open lab Sunday and would like to discuss what could be done to make the workshops and workshop schedule better serve the community.
The PNCA workshops are at the Pacific Nortwest College of Art (1241 NW Johnson St.) from 1-5 in the afternoon, usually in room 205. |
→ |
FEE: $35
Please join us on the last Sunday of the month for one or more of these opportunities to learn. This may change somewhat given schedule conflicts withe PNCA which has graciously hosted these classes for the last 3 years.
The PNCA workshops are at the Pacific Nortwest College of Art (1241 NW Johnson St.) from 1-5 in the afternoon, usually in room 205. |
|
|
Change #9282
2011-07-15
13:20:57
|
update
Calagator::Venue
202390999
To be decided
Roll back
| country |
nil |
→ |
US |
| events_count |
nil |
→ |
-2 |
| id |
202392810 |
→ |
202390999 |
| latitude |
nil |
→ |
45.5239 |
| locality |
nil |
→ |
Portland |
| longitude |
nil |
→ |
-122.6704 |
| region |
nil |
→ |
Oregon |
| source_id |
nil |
→ |
996333351 |
| street_address |
nil |
→ |
Portland |
| title |
To be decided |
→ |
TBD - Portland |
|
|
Change #9281
2011-07-15
13:20:38
|
update
Calagator::Event
1250460833
Jelly in Portland
Roll back
| venue_id |
202390081 |
→ |
202392810 |
|
|
Change #9280
2011-07-15
13:20:38
|
create
Calagator::Venue
202390999
To be decided
Roll back
| id |
nil |
→ |
202392810 |
| title |
nil |
→ |
To be decided |
|
|
Change #9279
2011-07-15
13:20:03
|
create
Calagator::Event
1250460833
Jelly in Portland
Roll back
| description |
nil |
→ |
Jelly in Portland continues, every Monday. You're invited. Work alongside others. Bring friends.
Open to people who are friendly and doing some kind of work they care about, no matter what kind of work it is. Most people are usually working on website-related work or writing.
Come by anytime (before 12pm is best, before most of us get lunch together) and stay as long as you like. 9am-5pm, maybe later.
Info on Jelly coworking: http://workatjelly.com
Info on "Collective Agency" community mission and happenings: http://CollectiveAgency.co
Logistics: Wi-fi, Stumptown coffee, beautiful workspace.
Expect to get as much work done as you want to, and to ask and give advice as much as you and others want to. "What are you working on?" and "What do you think of this?" (while showing a screen) are favorite questions. |
| end_time |
nil |
→ |
2011-08-01 17:00:00 -0700 |
| id |
nil |
→ |
1250460833 |
| start_time |
nil |
→ |
2011-08-01 09:00:00 -0700 |
| title |
nil |
→ |
Jelly in Portland |
| url |
nil |
→ |
http://WorkAtJelly.com |
| venue_details |
nil |
→ |
TBD |
| venue_id |
nil |
→ |
202390081 |
|
|
Change #9278
2011-07-15
13:18:58
|
create
Calagator::Event
1250460832
Jelly in Portland
Roll back
| description |
nil |
→ |
Jelly in Portland continues, every Monday, starting July 18. You're invited. Work alongside others. Bring friends.
Open to people who are friendly and doing some kind of work they care about, no matter what kind of work it is. Most people are usually working on website-related work or writing.
Come by anytime (before 12pm is best, before most of us get lunch together) and stay as long as you like. 9am-5pm, maybe later.
Info on Jelly coworking: http://workatjelly.com
Info on "Collective Agency" community mission and happenings: http://CollectiveAgency.co
Logistics: Wi-fi, Stumptown coffee, beautiful workspace.
Expect to get as much work done as you want to, and to ask and give advice as much as you and others want to. "What are you working on?" and "What do you think of this?" (while showing a screen) are favorite questions.
Please share this with your Portland networks.
RSVP, or just come by. |
| end_time |
nil |
→ |
2011-07-25 17:00:00 -0700 |
| id |
nil |
→ |
1250460832 |
| start_time |
nil |
→ |
2011-07-25 09:00:00 -0700 |
| title |
nil |
→ |
Jelly in Portland |
| url |
nil |
→ |
http://WorkAtJelly.com |
| venue_details |
nil |
→ |
*Where? 322 NW Sixth Ave (between Everett and Flanders), Portland Oregon 97209. Buzz â200â³ when you arrive. Come on in: weâre on the second floor. Walk on back to the main space and weâll welcome you. *When is the venue regularly open? Mon-Fri, 9am-5pm. *What else? You can call (503) 517-6900, email [email protected] or tweet @alexlinsker for general info. |
| venue_id |
nil |
→ |
202391536 |
|
|
Change #9277
2011-07-15
13:16:05
|
update
Calagator::Event
1250460808
Jelly in Portland
Roll back
| description |
Jelly in Portland continues. You're invited. Work alongside others. Bring friends.
Open to people who are friendly and doing some kind of work they care about, no matter what kind of work it is. Most people are usually working on website-related work or writing.
Come by anytime (before 12pm is best, before most of us get lunch together) and stay as long as you like.
Info on Jelly coworking: http://workatjelly.com
Info on "Collective Agency" community mission and happenings: http://CollectiveAgency.co
Logistics: Wi-fi, Stumptown coffee, beautiful workspace.
Expect to get as much work done as you want to, and to ask and give advice as much as you and others want to. "What are you working on?" and "What do you think of this?" (while showing a screen) are favorite questions.
Please share this with your Portland networks.
RSVP with Plancast (see below), comment on the http://CollectiveAgency.co calendar, or somehow.
Questions/suggestions: [email protected] or @alexlinsker or (503) 517-6900. |
→ |
Jelly in Portland continues, every Monday, starting July 18. You're invited. Work alongside others. Bring friends.
Open to people who are friendly and doing some kind of work they care about, no matter what kind of work it is. Most people are usually working on website-related work or writing.
Come by anytime (before 12pm is best, before most of us get lunch together) and stay as long as you like.
Info on Jelly coworking: http://workatjelly.com
Info on "Collective Agency" community mission and happenings: http://CollectiveAgency.co
Logistics: Wi-fi, Stumptown coffee, beautiful workspace.
Expect to get as much work done as you want to, and to ask and give advice as much as you and others want to. "What are you working on?" and "What do you think of this?" (while showing a screen) are favorite questions.
Please share this with your Portland networks.
RSVP with Plancast (see below), comment on the http://CollectiveAgency.co calendar, or somehow. Or just come by.
Questions/suggestions: [email protected] or @alexlinsker or (503) 517-6900. |
| locked |
nil |
→ |
false |
|
|
Change #9276
2011-07-15
12:12:22
|
update
Calagator::Event
1250460831
WhereCampPDX Planning Kickoff
Roll back
| title |
WhereCampPDX Planning Kickoff |
→ |
WhereCampPDX Planning Meeting |
|
|
Change #9275
2011-07-15
10:30:55
|
create
Calagator::Event
1250460831
WhereCampPDX Planning Kickoff
Roll back
| description |
nil |
→ |
Come help plan this year's WhereCampPDX!
WhereCampPDX is an annual, free unconference on geography and technology. |
| end_time |
nil |
→ |
2011-07-21 20:30:00 -0700 |
| id |
nil |
→ |
1250460831 |
| start_time |
nil |
→ |
2011-07-21 18:30:00 -0700 |
| title |
nil |
→ |
WhereCampPDX Planning Kickoff |
| url |
nil |
→ |
http://wherecamppdx.org |
| venue_id |
nil |
→ |
202392105 |
|
|
Change #9274
2011-07-15
07:36:39
|
create
Calagator::Event
1250460830
PDXPUG
Roll back
| description |
nil |
→ |
This month's topic is "Data Visualization and Exploration Techniques Using R and Postgres" with PSU's Dr Christopher Monsere.
Full details:
http://pugs.postgresql.org/node/1669
|
| end_time |
nil |
→ |
2011-07-21 21:00:00 -0700 |
| id |
nil |
→ |
1250460830 |
| start_time |
nil |
→ |
2011-07-21 19:00:00 -0700 |
| title |
nil |
→ |
PDXPUG |
| url |
nil |
→ |
http://pugs.postgresql.org/pdx |
| venue_id |
nil |
→ |
202389965 |
|
|
Change #9273
2011-07-14
16:54:08
|
update
Calagator::Event
1250460795
Lunch 2.0 at OpenSesame
Roll back
| description |
OpenSesame wants to have you over for lunch and good conversation. Did you know they took the <a href="http://siliconflorist.com/2011/03/17/shazam-voila-alakazam-opensesame-wins-oen-angel-oregon-2011-4tell-walks-crowd-favorite/">top prize at OEN Angel Oregon back in March</a>?
Now you do, so you have a conversation starter.
Update: Iâm told Google Maps and GPS directions are a bit flakey for the address, especially if youâre coming from the West. So, for clarification, OpenSesame is in the Portland State Business Accelerator, which is at the intersection of SW Corbett and SW Meade. Need more help? Here are <a href="http://www.psba.pdx.edu/drivingdirections">driving directions from the PSBA</a>.
Are you vegan or vegetarian? Please leave a comment so we can plan food accordingly. Thanks.
Wondering what <a href="http://lunch20.com/">Lunch 2.0</a> is?
Lunch 2.0 is a phenomenon that began in Silicon Valley. You can read about their current events and the history behind Lunch 2.0 at lunch20.com.
We imported the concept to Portland in 2007, and you can follow all things Portland Lunch 2.0 at the <a href="http://siliconflorist.com/tags/lunch20/">Silicon Florist</a>. |
→ |
OpenSesame wants to have you over for lunch and good conversation. Did you know they took the <a href="http://siliconflorist.com/2011/03/17/shazam-voila-alakazam-opensesame-wins-oen-angel-oregon-2011-4tell-walks-crowd-favorite/">top prize at OEN Angel Oregon back in March</a>?
Now you do, so you have a conversation starter.
Update: I’m told Google Maps and GPS directions are a bit flakey for the address, especially if you’re coming from the West. So, for clarification, OpenSesame is in the Portland State Business Accelerator, which is at the intersection of SW Corbett and SW Meade. Need more help? Here are <a href="http://www.psba.pdx.edu/drivingdirections">driving directions from the PSBA</a>.
Are you vegan or vegetarian? Please leave a comment so we can plan food accordingly. Thanks.
Wondering what <a href="http://lunch20.com/">Lunch 2.0</a> is?
Lunch 2.0 is a phenomenon that began in Silicon Valley. You can read about their current events and the history behind Lunch 2.0 at lunch20.com.
We imported the concept to Portland in 2007, and you can follow all things Portland Lunch 2.0 at the <a href="http://siliconflorist.com/tags/lunch20/">Silicon Florist</a>. |
| end_time |
2011-07-27 15:00:00 -0700 |
→ |
2011-07-27 14:00:00 -0700 |
| locked |
nil |
→ |
false |
|
|
Change #9272
2011-07-14
16:53:54
|
update
Calagator::Event
1250460795
Lunch 2.0 at OpenSesame
Roll back
| description |
OpenSesame wants to have you over for lunch and good conversation. Did you know they took the <a href="http://siliconflorist.com/2011/03/17/shazam-voila-alakazam-opensesame-wins-oen-angel-oregon-2011-4tell-walks-crowd-favorite/">top prize at OEN Angel Oregon back in March</a>?
Now you do, so you have a conversation starter.
Are you vegan or vegetarian? Please leave a comment so we can plan food accordingly. Thanks.
Wondering what <a href="http://lunch20.com/">Lunch 2.0</a> is?
Lunch 2.0 is a phenomenon that began in Silicon Valley. You can read about their current events and the history behind Lunch 2.0 at lunch20.com.
We imported the concept to Portland in 2007, and you can follow all things Portland Lunch 2.0 at the <a href="http://siliconflorist.com/tags/lunch20/">Silicon Florist</a>. |
→ |
OpenSesame wants to have you over for lunch and good conversation. Did you know they took the <a href="http://siliconflorist.com/2011/03/17/shazam-voila-alakazam-opensesame-wins-oen-angel-oregon-2011-4tell-walks-crowd-favorite/">top prize at OEN Angel Oregon back in March</a>?
Now you do, so you have a conversation starter.
Update: Iâm told Google Maps and GPS directions are a bit flakey for the address, especially if youâre coming from the West. So, for clarification, OpenSesame is in the Portland State Business Accelerator, which is at the intersection of SW Corbett and SW Meade. Need more help? Here are <a href="http://www.psba.pdx.edu/drivingdirections">driving directions from the PSBA</a>.
Are you vegan or vegetarian? Please leave a comment so we can plan food accordingly. Thanks.
Wondering what <a href="http://lunch20.com/">Lunch 2.0</a> is?
Lunch 2.0 is a phenomenon that began in Silicon Valley. You can read about their current events and the history behind Lunch 2.0 at lunch20.com.
We imported the concept to Portland in 2007, and you can follow all things Portland Lunch 2.0 at the <a href="http://siliconflorist.com/tags/lunch20/">Silicon Florist</a>. |
| venue_details |
nil |
→ |
|
|
|
Change #9271
2011-07-14
15:41:31
|
update
Calagator::Event
1250460537
pdxdevops: Portland DevOps -- Virtualized dev environments with Vagrant, and more
Roll back
| description |
TOPICS:
* Igal Koshevoy will talk about using Vagrant to manage virtualized development environments. Using this open source tool, you'll be able to give developers fully configured virtual machines containing all the services, libraries and dependencies. They'll be able to get to work immediately and use the same environment as your production stack. The virtual machines are provisioned using Chef, Puppet or shell.
<i>ABOUT THE GROUP: pdxdevops is a Portland, Oregon user group that explores the glorious intersection of software development and systems operations, and shares practical advice on working effectively in an era of agile infrastructure, server automation and cloud computing. Meetings are usually on the third Monday of the month. Website: http://pdxdevops.org/ && Twitter: <a href=
"http://twitter.com/pdxdevops/">@pdxdevops</a></i> |
→ |
TOPICS:
* Igal Koshevoy will talk about using Vagrant to manage virtualized development environments. Using this open source tool, you'll be able to give developers fully configured virtual machines containing all the services, libraries and dependencies they need to get started immediately. These virtual machines are provisioned using Chef, Puppet or shell, letting you give devs the same stack as the one you're using for your production environment.
<i>ABOUT THE GROUP: pdxdevops is a Portland, Oregon user group that explores the glorious intersection of software development and systems operations, and shares practical advice on working effectively in an era of agile infrastructure, server automation and cloud computing. Meetings are usually on the third Monday of the month. Website: http://pdxdevops.org/ && Twitter: <a href=
"http://twitter.com/pdxdevops/">@pdxdevops</a></i> |
| locked |
nil |
→ |
false |
|
|
Change #9270
2011-07-14
15:34:55
|
update
Calagator::Event
1250460537
pdxdevops: Portland DevOps -- Virtualized dev environments with Vagrant, and more
Roll back
| description |
TOPICS:
* Igal Koshevoy will talk about using Vagrant to manage virtualized development environments. Using this open source tool, you'll be able to give developers fully configured virtual machines containing all the services, libraries and dependencies. They'll be able to get to work immediately and use the same environment as your production stack. The
virtual machines are provisioned using Chef, Puppet or shell.
<i>ABOUT THE GROUP: pdxdevops is a Portland, Oregon user group that explores the glorious intersection of software development and systems operations, and shares practical advice on working effectively in an era of agile infrastructure, server automation and cloud computing. Meetings are usually on the third Monday of the month. Website: http://pdxdevops.org/ && Twitter: <a href=
"http://twitter.com/pdxdevops/">@pdxdevops</a></i> |
→ |
TOPICS:
* Igal Koshevoy will talk about using Vagrant to manage virtualized development environments. Using this open source tool, you'll be able to give developers fully configured virtual machines containing all the services, libraries and dependencies. They'll be able to get to work immediately and use the same environment as your production stack. The virtual machines are provisioned using Chef, Puppet or shell.
<i>ABOUT THE GROUP: pdxdevops is a Portland, Oregon user group that explores the glorious intersection of software development and systems operations, and shares practical advice on working effectively in an era of agile infrastructure, server automation and cloud computing. Meetings are usually on the third Monday of the month. Website: http://pdxdevops.org/ && Twitter: <a href=
"http://twitter.com/pdxdevops/">@pdxdevops</a></i> |
|
|
Change #9269
2011-07-14
15:34:32
|
update
Calagator::Event
1250460537
pdxdevops: Portland DevOps user group meeting
Roll back
| description |
<i>ABOUT THE GROUP: pdxdevops is a Portland, Oregon user group that explores the glorious intersection of software development and systems operations, and shares practical advice on working effectively in an era of agile infrastructure, server automation and cloud computing. Meetings are usually on the third Monday of the month. Website: http://pdxdevops.org/ && Twitter: <a href=
"http://twitter.com/pdxdevops/">@pdxdevops</a></i> |
→ |
TOPICS:
* Igal Koshevoy will talk about using Vagrant to manage virtualized development environments. Using this open source tool, you'll be able to give developers fully configured virtual machines containing all the services, libraries and dependencies. They'll be able to get to work immediately and use the same environment as your production stack. The
virtual machines are provisioned using Chef, Puppet or shell.
<i>ABOUT THE GROUP: pdxdevops is a Portland, Oregon user group that explores the glorious intersection of software development and systems operations, and shares practical advice on working effectively in an era of agile infrastructure, server automation and cloud computing. Meetings are usually on the third Monday of the month. Website: http://pdxdevops.org/ && Twitter: <a href=
"http://twitter.com/pdxdevops/">@pdxdevops</a></i> |
| title |
pdxdevops: Portland DevOps user group meeting |
→ |
pdxdevops: Portland DevOps -- Virtualized dev environments with Vagrant, and more |
| venue_details |
nil |
→ |
|
|
|
Change #9268
2011-07-14
15:29:52
|
create
Calagator::Event
1250460829
Scale-Out CloudCamp PDX
Roll back
| description |
nil |
→ |
IMPORTANT: PLEASE RSVP AT THE URL ABOVE, IT'S FREE!
CloudCamp is an unconference where early adopters of Cloud Computing technologies exchange ideas. With the rapid change occurring in the industry, we need a place where we can meet to share our experiences, challenges and solutions. At CloudCamp, you are encouraged to share your thoughts in several open discussions, as we strive for the advancement of Cloud Computing. End users, IT professionals and vendors are all encouraged to participate. |
| end_time |
nil |
→ |
2011-07-25 22:00:00 -0700 |
| id |
nil |
→ |
1250460829 |
| start_time |
nil |
→ |
2011-07-25 19:00:00 -0700 |
| title |
nil |
→ |
Scale-Out CloudCamp PDX |
| url |
nil |
→ |
http://cloudcamp.org/pdx/2011-07-25 |
| venue_id |
nil |
→ |
202389921 |
|
|
Change #9267
2011-07-14
14:46:02
|
create
Calagator::Event
1250460828
Summer Coder's Social
Roll back
| description |
nil |
→ |
Picnic Area A.
This event is for local software developer User Groups to get together and have a <a href="http://www.flickr.com/search/?q=pdxcoderssocial&w=all">BBQ</a> (instead of the regular meetings).
This will be a very casual geek event with outdoor activities, games and BBQ so be sure to bring the whole family.
MORE INFO RE POTLUCK TO COME SHORTLY |
| end_time |
nil |
→ |
2011-08-21 19:00:00 -0700 |
| id |
nil |
→ |
1250460828 |
| start_time |
nil |
→ |
2011-08-21 13:00:00 -0700 |
| title |
nil |
→ |
Summer Coder's Social |
| venue_id |
nil |
→ |
202390266 |
|
|
Change #9266
2011-07-14
14:34:20
|
create
Calagator::Event
1250460827
Using the Cloud- PDXTech4Good Meetup
Roll back
| description |
nil |
→ |
Join the PDXTech4Good crowd as we cover the basics of what "The Cloud" actually is! Steven Skoczen, Co-Founder of GoodCloud, a cloud-based service for nonprofits, will present on the opportunity of the Cloud, with a full Q&A after. Delicious complementary snacks and beverages provided by Foster & Dobbs.
|
| end_time |
nil |
→ |
2011-07-26 19:30:00 -0700 |
| id |
nil |
→ |
1250460827 |
| start_time |
nil |
→ |
2011-07-26 17:30:00 -0700 |
| title |
nil |
→ |
Using the Cloud- PDXTech4Good Meetup |
| url |
nil |
→ |
http://www.meetup.com/netsquared-13/events/23819621 |
| venue_id |
nil |
→ |
202391730 |
|
|
Change #9265
2011-07-14
13:22:48
|
update
Calagator::Venue
202393031
Discover-e
Roll back
| access_notes |
nil |
→ |
|
| address |
nil |
→ |
610 SW Alder St #1111, Portland, Or |
| country |
United States |
→ |
US |
| description |
nil |
→ |
|
| email |
nil |
→ |
|
| events_count |
1 |
→ |
5 |
| id |
202392809 |
→ |
202393031 |
| latitude |
45.5236 |
→ |
45.5202 |
| longitude |
-122.675 |
→ |
-122.6794 |
| postal_code |
nil |
→ |
97205 |
| region |
Oregon |
→ |
OR |
| source_id |
996334628 |
→ |
nil |
| street_address |
610 SW Alder St. |
→ |
610 SW Alder St #1111 |
| telephone |
nil |
→ |
|
| title |
Discover-e |
→ |
discover-e Legal, LLC |
| url |
nil |
→ |
|
|
|
Change #9264
2011-07-14
13:22:48
|
update
Calagator::Event
1250460826
PDX ALT.NET Meeting 2011/07/14
Roll back
| venue_id |
202392809 |
→ |
202392786 |
|
|
Change #9263
2011-07-14
13:06:21
|
update
Calagator::Source
996334628
http://www.facebook.com/event.php?eid=164554820279402
Roll back
| imported_at |
nil |
→ |
2011-07-14 13:06:21 -0700 |
|
|
Change #9262
2011-07-14
13:06:21
|
create
Calagator::Event
1250460826
PDX ALT.NET Meeting 2011/07/14
Roll back
| description |
nil |
→ |
Topics:
Jason Mauer will give a presentation on F#.
http://research.microsoft.com/en-us/um/cambridge/projects/fsharp/
Justin Collum and Ben Jones will discuss obfuscation and time/productivity tracking tools.
Obfuscation Tools
http://www.preemptive.com/products/dotfuscator/overview
http://www.xenocode.com/
Time Tracking Tools
http://www.timesnapper.com/
http://lifehacker.com/5154090/manictime-tracks-your-work-day
http://www.rescuetime.com/
https://www.toggl.com/
There may be some discussion of Quartz.Net, NewSQL and possibly Dryad.
http://quartznet.sourceforge.net/
http://research.microsoft.com/en-us/projects/dryad/
... AND potluck snacks and beer!!
Detailed Directions:
From SW Alder, you'll see a Moonstruck Chocolate store that is in the building's lobby. Go to the 11th floor, and around the stairs, then to the right.
The front door may be locked, but you can ring Troy's mobile and he will let you in. There will be a sign on the door with information.
|
| end_time |
nil |
→ |
2011-07-14 21:30:00 -0700 |
| id |
nil |
→ |
1250460826 |
| source_id |
nil |
→ |
996334628 |
| start_time |
nil |
→ |
2011-07-14 18:30:00 -0700 |
| title |
nil |
→ |
PDX ALT.NET Meeting 2011/07/14 |
| url |
nil |
→ |
http://www.facebook.com/event.php?eid=164554820279402 |
| venue_id |
nil |
→ |
202392809 |
|
|
Change #9261
2011-07-14
13:06:21
|
create
Calagator::Venue
202393031
Discover-e
Roll back
| country |
nil |
→ |
United States |
| events_count |
nil |
→ |
1 |
| id |
nil |
→ |
202392809 |
| latitude |
nil |
→ |
45.5236 |
| locality |
nil |
→ |
Portland |
| longitude |
nil |
→ |
-122.675 |
| region |
nil |
→ |
Oregon |
| source_id |
nil |
→ |
996334628 |
| street_address |
nil |
→ |
610 SW Alder St. |
| title |
nil |
→ |
Discover-e |
|
|
Change #9260
2011-07-14
13:06:21
|
create
Calagator::Source
996334628
http://www.facebook.com/event.php?eid=164554820279402
Roll back
| id |
nil |
→ |
996334628 |
| url |
nil |
→ |
http://www.facebook.com/event.php?eid=164554820279402 |
|
|
Change #9259
2011-07-14
13:02:47
|
create
Calagator::Event
1250460825
Galois tech talk: Combining Denotational and Operational Semantics for Scalable Proof Development
Roll back
| description |
nil |
→ |
Presented by Adam Foltzer.
Interpreters offer a convenient and intuitive way for programmers to reason about language behavior through denotational semantics. However in a setting like Coq, where all recursive functions must provably terminate, it is impossible to write interpreters for non-terminating languages. The standard alternative is to inductively define operational semantics, but this can yield proofs that are difficult to automate, particularly in the presence of changing language features.
This talk presents a combined approach, where an interpreter is used in combination with operational semantics to prove type preservation of a small functional language. To demonstrate the scalability of the Coq development, let expressions and a pair types will be added and preservation will be proved again with only one extra line of proof script.
This technique and development are adapted from Greg Morrisett's lectures at the 2011 Oregon Programming Languages Summer School, and are available at his web site. |
| end_time |
nil |
→ |
2011-07-19 11:30:00 -0700 |
| id |
nil |
→ |
1250460825 |
| start_time |
nil |
→ |
2011-07-19 10:30:00 -0700 |
| title |
nil |
→ |
Galois tech talk: Combining Denotational and Operational Semantics for Scalable Proof Development |
| url |
nil |
→ |
http://corp.galois.com/blog/2011/7/14/tech-talk-combining-denotational-and-operational-semantics-f.html |
| venue_id |
nil |
→ |
202390439 |
|
|
Change #9258
2011-07-14
11:21:40
|
create
Calagator::Event
1250460824
PLUG Advanced Topics: IPv6 Networking Part 3
Roll back
| description |
nil |
→ |
PLUG Advanced Topics July Meeting
IPv6 Networking with Ted Mittelstaedt: Part 3
This is the third part of a multi-part series on IPv6 networking by Ted
Mittelstaedt, the author of The FreeBSD Corporate Networker's Guide.
How to setup webservers and such to offer content over IPv6 and how to setup clients to access such content.
Ted will plan to offer a live demonstration of an IPv6-enabled web server.
Where: Free Geek, 1731 SE 10th Avenue
When: TUESDAY, June 21st, 7PM
BYO Food and Beverages
REMINDER: OSCON is just around the corner and there is a MIND NUMBING amount of FREE ACTIVITIES going on during it including the Community Leadership Summit:
http://www.oscon.com/oscon2011/public/content/free
http://www.communityleadershipsummit.com/
Michael
|
| end_time |
nil |
→ |
2011-07-19 21:00:00 -0700 |
| id |
nil |
→ |
1250460824 |
| start_time |
nil |
→ |
2011-07-19 19:00:00 -0700 |
| title |
nil |
→ |
PLUG Advanced Topics: IPv6 Networking Part 3 |
| url |
nil |
→ |
http://pdxlinux.org/ |
| venue_id |
nil |
→ |
202389965 |
|
|
Change #9257
2011-07-14
02:39:47
|
update
Calagator::Venue
202392807
NedSpace Downtown
Roll back
| duplicate_of_id |
nil |
→ |
202391264 |
| events_count |
1 |
→ |
0 |
|
|
Change #9256
2011-07-14
02:39:47
|
update
Calagator::Event
1250460822
Portland WordPress User Group, July Meeting
Roll back
| description |
<p>After the announcements (including info about WordCamp Portland), we'll be splitting into two groups for this meeting -- one on WordPress basics, and how to find basic information and tutorials, and the other for developers who want to talk code 'n stuff!</p>
|
→ |
<p>After the announcements (including info about WordCamp Portland), we'll be splitting into two groups for this meeting -- one on WordPress basics, and how to find basic information and tutorials, and the other for developers who want to talk code 'n stuff!</p>
|
| locked |
nil |
→ |
false |
| venue_id |
202392807 |
→ |
202391264 |
|
|
Change #9255
2011-07-14
02:39:47
|
update
Calagator::Venue
202392806
NedSpace
Roll back
| duplicate_of_id |
nil |
→ |
202391264 |
| events_count |
1 |
→ |
0 |
|
|
Change #9254
2011-07-14
02:39:47
|
update
Calagator::Event
1250460821
Portland WordPress User Group
Roll back
| locked |
nil |
→ |
false |
| venue_id |
202392806 |
→ |
202391264 |
|
|
Change #9253
2011-07-14
02:39:17
|
destroy
Calagator::Venue
202392808
preston
Roll back
|
|
Change #9252
2011-07-14
02:39:12
|
destroy
Calagator::Event
1250460823
actos 30 mg
Roll back
|
|
Change #9251
2011-07-13
23:20:03
|
create
Calagator::Event
1250460823
actos 30 mg
Roll back
| description |
nil |
→ |
<a href= http:// |
| end_time |
nil |
→ |
2011-07-13 23:20:03 -0700 |
| id |
nil |
→ |
1250460823 |
| start_time |
nil |
→ |
2011-07-13 23:20:03 -0700 |
| title |
nil |
→ |
actos 30 mg |
| url |
nil |
→ |
http://www.footylounge.com/forums/index.php?showuser=6736&tab=aboutme |
| venue_id |
nil |
→ |
202392808 |
|
|
Change #9250
2011-07-13
23:20:03
|
create
Calagator::Venue
202392808
preston
Roll back
| events_count |
nil |
→ |
0 |
| id |
nil |
→ |
202392808 |
| title |
nil |
→ |
preston |
|
|
Change #9249
2011-07-13
22:28:05
|
update
Calagator::Event
1250460822
July Meeting
Roll back
| end_time |
nil |
→ |
2011-07-25 19:30:00 -0700 |
| title |
July Meeting |
→ |
Portland WordPress User Group, July Meeting |
| venue_details |
nil |
→ |
|
|
|
Change #9248
2011-07-13
22:27:10
|
update
Calagator::Source
996334627
http://www.meetup.com/pdx-wp/events/25100561/
Roll back
| imported_at |
nil |
→ |
2011-07-13 22:27:09 -0700 |
|
|
Change #9247
2011-07-13
22:27:10
|
create
Calagator::Event
1250460822
July Meeting
Roll back
| description |
nil |
→ |
<p>After the announcements (including info about WordCamp Portland), we'll be splitting into two groups for this meeting -- one on WordPress basics, and how to find basic information and tutorials, and the other for developers who want to talk code 'n stuff!</p>
|
| id |
nil |
→ |
1250460822 |
| source_id |
nil |
→ |
996334627 |
| start_time |
nil |
→ |
2011-07-25 18:00:00 -0700 |
| title |
nil |
→ |
July Meeting |
| url |
nil |
→ |
http://www.meetup.com/pdx-wp/events/25100561/ |
| venue_id |
nil |
→ |
202392807 |
|
|
Change #9246
2011-07-13
22:27:10
|
create
Calagator::Venue
202391264
NedSpace
Roll back
| country |
nil |
→ |
US |
| description |
nil |
→ |
(between Taylor & Salmon) |
| events_count |
nil |
→ |
31 |
| id |
nil |
→ |
202391264 |
| latitude |
nil |
→ |
45.5164 |
| locality |
nil |
→ |
Portland |
| longitude |
nil |
→ |
-122.6761 |
| postal_code |
nil |
→ |
97204 |
| region |
nil |
→ |
Oregon |
| source_id |
nil |
→ |
996333518 |
| street_address |
nil |
→ |
920 SW Third |
| telephone |
nil |
→ |
503.334.1860 |
| title |
nil |
→ |
NedSpace |
| url |
nil |
→ |
http://www.nedspace.com |
| wifi |
nil |
→ |
true |
|
|
Change #9245
2011-07-13
22:27:09
|
create
Calagator::Source
996334627
http://www.meetup.com/pdx-wp/events/25100561/
Roll back
| id |
nil |
→ |
996334627 |
| url |
nil |
→ |
http://www.meetup.com/pdx-wp/events/25100561/ |
|
|
Change #9244
2011-07-13
22:26:54
|
update
Calagator::Source
996334532
http://www.meetup.com/pdx-wp/
Roll back
| imported_at |
2011-04-19 22:19:43 -0700 |
→ |
2011-07-13 22:26:54 -0700 |
|
|
Change #9243
2011-07-13
22:26:05
|
update
Calagator::Source
996334626
http://upcoming.yahoo.com/event/8142156/OR/Portland/Portland-WordPress-User-Group/NedSpace/
Roll back
| imported_at |
nil |
→ |
2011-07-13 22:26:03 -0700 |
|
|
Change #9242
2011-07-13
22:26:05
|
create
Calagator::Event
1250460821
Portland WordPress User Group
Roll back
| description |
nil |
→ |
Join us to discuss all things WordPress! |
| end_time |
nil |
→ |
2011-06-27 21:00:00 -0700 |
| id |
nil |
→ |
1250460821 |
| source_id |
nil |
→ |
996334626 |
| start_time |
nil |
→ |
2011-06-27 18:00:00 -0700 |
| title |
nil |
→ |
Portland WordPress User Group |
| url |
nil |
→ |
http://pdxwp.com |
| venue_id |
nil |
→ |
202392806 |
|
|
Change #9241
2011-07-13
22:26:05
|
create
Calagator::Venue
202391264
NedSpace
Roll back
| country |
nil |
→ |
US |
| description |
nil |
→ |
(between Taylor & Salmon) |
| events_count |
nil |
→ |
43 |
| id |
nil |
→ |
202391264 |
| latitude |
nil |
→ |
45.5164 |
| locality |
nil |
→ |
Portland |
| longitude |
nil |
→ |
-122.6761 |
| postal_code |
nil |
→ |
97204 |
| region |
nil |
→ |
Oregon |
| source_id |
nil |
→ |
996333518 |
| street_address |
nil |
→ |
920 SW Third |
| telephone |
nil |
→ |
503.334.1860 |
| title |
nil |
→ |
NedSpace |
| url |
nil |
→ |
http://www.nedspace.com |
| wifi |
nil |
→ |
true |
|
|
Change #9240
2011-07-13
22:26:03
|
create
Calagator::Source
996334626
http://upcoming.yahoo.com/event/8142156/OR/Portland/Portland-WordPress-User-Group/NedSpace/
Roll back
| id |
nil |
→ |
996334626 |
| url |
nil |
→ |
http://upcoming.yahoo.com/event/8142156/OR/Portland/Portland-WordPress-User-Group/NedSpace/ |
|
|
Change #9239
2011-07-13
12:54:01
|
update
Calagator::Event
1250460820
FREE Seminar: 7 Proven Tactics to Promote Your Business in Portland
Roll back
| description |
Do you own a business in Portland? In this seminar Iâll show you 7 simple ways to increase your revenue.
<a href="http://www.theoutsourcingcompany.com/blog/wp-content/uploads/2011/07/beer.jpg"><img class="size-medium wp-image-3258 alignleft" title="beer" src="http://www.theoutsourcingcompany.com/blog/wp-content/uploads/2011/07/beer-300x207.jpg" alt="" width="216" height="149" /></a>This is what youâll learn:
<ul>
<li>How to <strong>rank your website #1 on Google Places</strong>, Yahoo Local and Bing Local.</li>
<li>A <strong>proven tactic</strong> to promote your business on Facebook Places (youâre going to love this one!)</li>
<li>The <strong>best LinkedIn tactic for service professionals</strong> in Portland (this tactic has helped one of our clients double their revenue in 4 months.)</li>
<li>How to use FourSquare, Yelp and Groupon to get a ton of new business (Iâll show you how to <strong>get people to start spreading the word about your company</strong>.)</li>
<li>An extremely effective tactic to <strong>get your customers to come back more often</strong>, spend more per transaction and send their friends your way.</li>
<li>The <strong>exclusive package Google offers Portland businesses</strong> but almost nobody in town knows about (This is absolutely FREE!)</li>
<li>Mobile marketing: how you can help your customers find you on their iPhones, Androids and BlackBerries (So <strong>they find you when theyâre ready to buy!</strong>)</li>
</ul>
After this 45-minute presentation, weâll have some time for networking over local beer and great snacks.
And finally, Nicole Weber, from <a href="http://spotcolorstudio.com/">SpotColorStudio.com</a>, will be doing the second and last presentation of the evening: <strong>How to Increase the Effectiveness of Your Website</strong>. Sheâll show you:
<ul>
<li>How to tweak your website so <strong>more people buy your products and hire your services</strong>.</li>
<li>How to achieve a âlook and feelâ that will <strong>engage your visitors</strong>.</li>
<li>How to create effective calls to action so <strong>your visitors become customers</strong>.</li>
<li>How to integrate Twitter and Facebook on your site so your visitors <strong>share your content with their friends</strong>.</li>
<li>The top <strong>2011-2012 design trends</strong>.</li>
<li>The most effective way to redesign your site so <strong>it gets done faster, your save money and avoid headaches</strong>.</li>
</ul>
<strong>Where Is It?</strong>
PCC CLIMB Center
1626 S.E. Water Ave.
Portland, OR 97214
<strong>When Is It?</strong>
August 11 at 6:00-8:00pm
|
→ |
Do you own a business in Portland? In this seminar Iâll show you 7 simple ways to increase your revenue.
<a href="http://www.theoutsourcingcompany.com/blog/wp-content/uploads/2011/07/beer.jpg"><img class="size-medium wp-image-3258 alignleft" title="beer" src="http://www.theoutsourcingcompany.com/blog/wp-content/uploads/2011/07/beer-300x207.jpg" alt="" width="216" height="149" /></a>This is what youâll learn:
<ul>
<li>How to <strong>rank your website #1 on Google Places</strong>, Yahoo Local and Bing Local.</li>
<li>A <strong>proven tactic</strong> to promote your business on Facebook Places (youâre going to love this one!)</li>
<li>The <strong>best LinkedIn tactic for service professionals</strong> in Portland (this tactic has helped one of our clients double their revenue in 4 months.)</li>
<li>How to use FourSquare, Yelp and Groupon to get a ton of new business (Iâll show you how to <strong>get people to start spreading the word about your company</strong>.)</li>
<li>An extremely effective tactic to <strong>get your customers to come back more often</strong>, spend more per transaction and send their friends your way.</li>
<li>The <strong>exclusive package Google offers Portland businesses</strong> but almost nobody in town knows about (This is absolutely FREE!)</li>
<li>Mobile marketing: how you can help your customers find you on their iPhones, Androids and BlackBerries (So <strong>they find you when theyâre ready to buy!</strong>)</li>
</ul>
After this 45-minute presentation, weâll have some time for networking over local beer and great snacks.
And finally, Nicole Weber, from <a href="http://spotcolorstudio.com/">SpotColorStudio.com</a>, will be doing the second and last presentation of the evening: <strong>How to Increase the Effectiveness of Your Website</strong>. Sheâll show you:
<ul>
<li>How to tweak your website so <strong>more people buy your products and hire your services</strong>.</li>
<li>How to achieve a âlook and feelâ that will <strong>engage your visitors</strong>.</li>
<li>How to create effective calls to action so <strong>your visitors become customers</strong>.</li>
<li>How to integrate Twitter and Facebook on your site so your visitors <strong>share your content with their friends</strong>.</li>
<li>The top <strong>2011-2012 design trends</strong>.</li>
<li>The most effective way to redesign your site so <strong>it gets done faster, your save money and avoid headaches</strong>.</li>
</ul>
<strong>Where Is It?</strong>
PCC CLIMB Center
1626 S.E. Water Ave.
Portland, OR 97214
<strong>When Is It?</strong>
August 11 at 6:00-8:00pm
Space is limited, so RSVP now!
http://www.theoutsourcingcompany.com/blog/internet-marketing-events/free-seminar-7-proven-tactics-to-promote-your-portland-business/ |
| end_time |
2011-07-13 14:00:00 -0700 |
→ |
2011-08-11 20:00:00 -0700 |
| start_time |
2011-07-13 13:00:00 -0700 |
→ |
2011-08-11 18:00:00 -0700 |
| venue_details |
|
→ |
We'll be in the main auditorium. |
|
|
Change #9238
2011-07-13
12:52:13
|
create
Calagator::Event
1250460820
FREE Seminar: 7 Proven Tactics to Promote Your Business in Portland
Roll back
| description |
nil |
→ |
Do you own a business in Portland? In this seminar Iâll show you 7 simple ways to increase your revenue.
<a href="http://www.theoutsourcingcompany.com/blog/wp-content/uploads/2011/07/beer.jpg"><img class="size-medium wp-image-3258 alignleft" title="beer" src="http://www.theoutsourcingcompany.com/blog/wp-content/uploads/2011/07/beer-300x207.jpg" alt="" width="216" height="149" /></a>This is what youâll learn:
<ul>
<li>How to <strong>rank your website #1 on Google Places</strong>, Yahoo Local and Bing Local.</li>
<li>A <strong>proven tactic</strong> to promote your business on Facebook Places (youâre going to love this one!)</li>
<li>The <strong>best LinkedIn tactic for service professionals</strong> in Portland (this tactic has helped one of our clients double their revenue in 4 months.)</li>
<li>How to use FourSquare, Yelp and Groupon to get a ton of new business (Iâll show you how to <strong>get people to start spreading the word about your company</strong>.)</li>
<li>An extremely effective tactic to <strong>get your customers to come back more often</strong>, spend more per transaction and send their friends your way.</li>
<li>The <strong>exclusive package Google offers Portland businesses</strong> but almost nobody in town knows about (This is absolutely FREE!)</li>
<li>Mobile marketing: how you can help your customers find you on their iPhones, Androids and BlackBerries (So <strong>they find you when theyâre ready to buy!</strong>)</li>
</ul>
After this 45-minute presentation, weâll have some time for networking over local beer and great snacks.
And finally, Nicole Weber, from <a href="http://spotcolorstudio.com/">SpotColorStudio.com</a>, will be doing the second and last presentation of the evening: <strong>How to Increase the Effectiveness of Your Website</strong>. Sheâll show you:
<ul>
<li>How to tweak your website so <strong>more people buy your products and hire your services</strong>.</li>
<li>How to achieve a âlook and feelâ that will <strong>engage your visitors</strong>.</li>
<li>How to create effective calls to action so <strong>your visitors become customers</strong>.</li>
<li>How to integrate Twitter and Facebook on your site so your visitors <strong>share your content with their friends</strong>.</li>
<li>The top <strong>2011-2012 design trends</strong>.</li>
<li>The most effective way to redesign your site so <strong>it gets done faster, your save money and avoid headaches</strong>.</li>
</ul>
<strong>Where Is It?</strong>
PCC CLIMB Center
1626 S.E. Water Ave.
Portland, OR 97214
<strong>When Is It?</strong>
August 11 at 6:00-8:00pm
|
| end_time |
nil |
→ |
2011-07-13 14:00:00 -0700 |
| id |
nil |
→ |
1250460820 |
| start_time |
nil |
→ |
2011-07-13 13:00:00 -0700 |
| title |
nil |
→ |
FREE Seminar: 7 Proven Tactics to Promote Your Business in Portland |
| url |
nil |
→ |
http://www.theoutsourcingcompany.com/blog/internet-marketing-events/free-seminar-7-proven-tactics-to-promote-your-portland-business/ |
| venue_id |
nil |
→ |
202392404 |
|
|
Change #9237
2011-07-13
11:30:10
|
destroy
Calagator::Event
1250459811
Agile Experience Lightning Talks + Agile Tune-Up - Agile PDX monthly meeting
Roll back
|
|
Change #9236
2011-07-13
01:12:45
|
destroy
Calagator::Event
1250460684
Search Engine Marketing Tips and Tactics â a free event
Roll back
|
|
Change #9235
2011-07-13
01:12:33
|
update
Calagator::Venue
202392728
8305 SW Creekside Place, Suite C Beaverton, OR 97008
Roll back
| duplicate_of_id |
nil |
→ |
202392234 |
|
|
Change #9234
2011-07-13
01:12:33
|
update
Calagator::Venue
202392805
Oregon Technology Business Center
Roll back
| duplicate_of_id |
nil |
→ |
202392234 |
| events_count |
1 |
→ |
0 |
|