Changes

Changes feed

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

Time Attribute with previous and current values
Change #1420
2010-01-04
13:47:44

destroy Calagator::Event 1250458121 Introduction to Social Media Roll back

Change #1419
2010-01-04
13:47:28

destroy Calagator::Event 1250458122 How do I use Facebook for my Business? Roll back

Change #1418
2010-01-04
13:27:44

create Calagator::Event 1250458122 How do I use Facebook for my Business? Roll back

description nil → Upcoming Imagine Your Reality Social Media Classes Introduction to Social Media Feeling overwhelmed by Social Media and not sure why you should be using it? In this class you'll learn what social media is, why you need it, and develop your strategy for getting involved in using it. * What social media is: It isn't just Twitter or Facebook. * Why social Media isn't going away and why you need to adopt it. * How to create a solid social media strategy. * When: Jan 20th 2pm to 3pm PST, 5pm to 6pm EST From the comfort of your office or home Cost: $30. To register, click the paypal button Social Media Webinar: How do I use Facebook for my Business? Puzzled by Facebook and all the raving about it as a way to get business? In this class I'll discuss how to use Facebook for your business, as well as what your strategy needs to be if you want to succeed in using Facebook for your business. * Learn what a Fan page is and how to use it to promote your business * Discover if your business should really be on Facebook or on other sites * Come away with an understanding of how to use Facebook and what the do's and don'ts are for it. * When: Jan 27, 2pm to 3pm PST, 5pm to 6pm EST From the comfort of your office or home Cost: $45. Please register at http://www.imagineyourreality.com/Events.html
end_time nil → 2010-01-27 17:00:00 -0800
id nil → 1250458122
source_id nil → 996333949
start_time nil → 2010-01-27 14:00:00 -0800
title nil → How do I use Facebook for my Business?
url nil → http://www.imagineyourreality.com/Events.html
venue_id nil → 202391883
Change #1417
2010-01-04
13:25:49

create Calagator::Event 1250458121 Introduction to Social Media Roll back

description nil → Feeling overwhelmed by Social Media and not sure why you should be using it? In this class you'll learn what social media is, why you need it, and develop your strategy for getting involved in using it. * What social media is: It isn't just Twitter or Facebook. * Why social Media isn't going away and why you need to adopt it. * How to create a solid social media strategy. * When: Jan 20th 2pm to 3pm PST, 5pm to 6pm EST From the comfort of your office or home Cost: $30 To register go to http://www.imagineyourreality.com/Events.html
end_time nil → 2010-01-20 17:00:00 -0800
id nil → 1250458121
source_id nil → 996333948
start_time nil → 2010-01-20 14:00:00 -0800
title nil → Introduction to Social Media
url nil → http://www.imagineyourreality.com/Events.html
venue_id nil → 202391883
Change #1416
2010-01-04
13:25:48

create Calagator::Venue 202391113 Webinar Roll back

address nil → placeholder for online events
description nil → Please do not edit.
id nil → 202391113
title nil → Webinar
Change #1415
2010-01-04
13:02:38

update Calagator::Event 1250458120 SPIN Seminar: Lessons Learned from Architecture Reviews presented by Rebecca Wirfs-Brock Roll back

end_time 2010-01-14 21:00:00 -0800 → 2010-01-14 20:00:00 -0800
Change #1414
2010-01-04
13:00:20

update Calagator::Venue 202392116 Beaverton City Library Meeting Room A Roll back

access_notes nil →
address nil → 12375 SW 5th St, Beaverton OR 97005 US
closed nil → false
country nil → US
description nil →
email nil →
events_count nil → 6
id 202391882 → 202392116
latitude nil → 45.4841
locality nil → Beaverton
longitude nil → -122.8041
postal_code nil → 97005
region nil → OR
street_address nil → 12375 SW 5th St
telephone nil →
title Beaverton City Library Meeting Room A → Beaverton Public Library - Conference Room
url nil →
wifi nil → true
Change #1413
2010-01-04
12:55:17

create Calagator::Event 1250458120 SPIN Seminar: Lessons Learned from Architecture Reviews presented by Rebecca Wirfs-Brock Roll back

description nil → This Rose City Software Process Improvement (SPIN) event is free and open to the public. Networking @ 6:00 PM; Seminar 7:00-8:00 PM Location: Beaverton City Library, Meeting Room A, 12375 SW 5th Street, Beaverton, OR 97005 <strong>Abstract</strong> This talk reflects on lessons learned from preparing for, presenting, and conducting architecture reviews. Complex software projects often have quality problems and don't deliver all that was promised. Often such problems are the result of inadequate or inappropriate software architecture. Sometimes the biggest issues are technical ones. Other times, the biggest issue is that too much attention has been placed on the technical architecture to the exclusion of other essential factors. A software architecture review is one tool that helps reveal architectural risks and strengths as well as uncover unidentified issues that need addressing. A software architect needs to compellingly present the software architecture and build confidence that key architectural decisions have been thoughtfully made. An effective reviewer needs to be skilled at quickly interpreting complex information, asking probing questions, and effectively giving advice. Both architects and reviewers can benefit from being aware of biases that get in the way of people interpreting information and tactics for overcoming these biases <strong>Presenter Bio</strong> Rebecca Wirfs-Brock, president of Wirfs-Brock Associates and IEEE Software's Design Columnist, is a well-known and respected software practitioner. She invented the way of thinking about objects known as Responsibility-Driven Design and is the lead author of Object Design: Roles, Responsibilities, and Collaborations (2003) and the classic Designing Object-Oriented Software (1990). Through her writing, teaching, consulting, and speaking she popularizes the use of informal techniques and thinking tools for architects, designers, and analysts. Rebecca is a past board member of the Agile Alliance and one of the co-founders of the Agile Open Northwest conference. Most recently she reviewed enterprise architectures and major designs, developed courses on agile use cases, enterprise application design and developing and communicating software architecture. She mentors teams on agile design, object modeling, architecture, agile use case writing, meshing usage scenarios with use cases and agile user stories, and managing incremental, iterative projects. She practices what she teaches! <strong>About the Rose City SPIN:</strong> The Rose City Software Process Improvement Network (SPIN) is a monthly forum for networking, mutual support, and promotion of effective software practices. We exchange practical experiences, ideas, knowledge, wisdom, and war stories about the technical, business, and human facets of software process improvement. The Rose City SPIN serves the software development community of the Portland/Vancouver metro area. Whether you work for a large company or a small one, corporate or self-employed, industrial or academic setting, you are welcome at the Rose City SPIN.
end_time nil → 2010-01-14 21:00:00 -0800
id nil → 1250458120
start_time nil → 2010-01-14 18:00:00 -0800
title nil → SPIN Seminar: Lessons Learned from Architecture Reviews presented by Rebecca Wirfs-Brock
venue_id nil → 202391882
Change #1412
2010-01-04
12:55:09

create Calagator::Venue 202392116 Beaverton City Library Meeting Room A Roll back

id nil → 202391882
title nil → Beaverton City Library Meeting Room A
Change #1411
2010-01-04
00:49:40

create Calagator::Event 1250458119 Portland Linux/Unix Group: Drupal! What is it good for? Roll back

description nil → PRESENTATION Drupal What is it Good For? by Lev Tsypin Drupal is growing leaps and bounds these days, powering everything from ma and pa brochure sites to Obama’s recovery.gov. Does this mean it’s a great fit for any website? Not exactly. Drupal has been defined as many things, including a content management system, a web application framework, and community plumbing. In some ways, this is both a blessing and a curse; there’s so much you can do, in so many different ways, that new users are crushed under the weight of the options and lack of clarity. In addition, all of that flexibility does come with a cost, in terms of performance and conciseness. This presentation will cover some Drupal basics including history, core concepts, and system structure. From there, we will dig into Drupal’s strengths and weaknesses, finishing off by discussing the types of projects Drupal is best suited for, including specific examples for each case. My hope is that developers new to the platform will gain a better understanding of when to approach a new project with Drupal, more experienced developers will gain a bit of insight on when not to use it, and non-techies will have some help in choosing a platform for their projects along with an understanding why developers they work with select a given platform. Please note that this talk will not delve deeply into the technical details of Drupal.
end_time nil → 2010-01-07 21:00:00 -0800
id nil → 1250458119
start_time nil → 2010-01-07 19:00:00 -0800
title nil → Portland Linux/Unix Group: Drupal! What is it good for?
url nil → http://pdxLinux.org
venue_id nil → 202391198
Change #1410
2010-01-03
21:36:52

update Calagator::Event 1250457975 Portland Ruby Brigade monthly meeting Roll back

description <i>The Portland Ruby Brigade is a user group for Ruby programmers in the Portland Oregon, area. Join other developers for presentations and discussions about Ruby and its uses. VENUE: This meeting’s space is kindly provided by Robert Half Technology at their 2nd Floor Conference Room. Enter the KOIN Tower from SW Columbia between 2nd and 3rd Avenue, take the back elevators to the 2nd floor, and then follow the pdxruby signs.</i> → <i>ABOUT: The Portland Ruby Brigade is a user group for Ruby programmers in the Portland Oregon, area. Join other developers for presentations and discussions about Ruby and its uses. VENUE: This meeting’s space is kindly provided by Robert Half Technology at their 2nd Floor Conference Room. Enter the KOIN Tower from SW Columbia between 2nd and 3rd Avenue, take the back elevators to the 2nd floor, and then follow the pdxruby signs.</i>
locked nil → false
Change #1409
2010-01-03
21:34:31

create Calagator::Event 1250458118 Portland Ruby Brigade monthly meeting Roll back

description nil → <i>The Portland Ruby Brigade is a user group for Ruby programmers in the Portland Oregon, area. Join other developers for presentations and discussions about Ruby and its uses. VENUE: This meeting’s space is kindly provided by Robert Half Technology at their 2nd Floor Conference Room. Enter the KOIN Tower from SW Columbia between 2nd and 3rd Avenue, take the back elevators to the 2nd floor, and then follow the pdxruby signs.</i>
end_time nil → 2010-02-02 21:00:00 -0800
id nil → 1250458118
start_time nil → 2010-02-02 19:00:00 -0800
title nil → Portland Ruby Brigade monthly meeting
url nil → http://pdxruby.org/
venue_id nil → 202391576
Change #1408
2010-01-03
03:01:52

update Calagator::Event 1250458104 Applications due for Saturday Academy's ASE Program Roll back

start_time 2009-12-23 21:00:00 -0800 → 2010-01-15 21:00:00 -0800
title Applications due for Saturday Academy's ASE Program → Deadline for Saturday Academy's ASE Program
venue_id 202391876 → nil
Change #1407
2010-01-02
22:18:08

update Calagator::Venue 202391881 PDX Hackerspace Roll back

closed nil → false
events_count nil → 2
latitude 45.5388 → 45.5383
wifi nil → false
Change #1406
2010-01-02
22:16:43

update Calagator::Venue 202391881 PDX Hackerspace Roll back

address nil →
description nil →
email nil →
latitude 45.5378 → 45.5388
longitude -122.672 → -122.6723
telephone nil →
url nil → http://www.pdxhackerspace.com
Change #1405
2010-01-02
22:14:47

create Calagator::Event 1250458117 PDX Hackerspace First Meeting/Walkthrough Roll back

description nil → The first walkthrough and meeting for the PDX Hackerspace - taking place in our brand new location (finally)! The space is secured, I have keys, and we are good to go! The goal is to show the space, and have discussions on where to go from here, now that we have space. Anyone and everyone is welcome to come, so come on down, and bring your friend. Be aware, it is completely raw right now - bare cement, wires hangingdown, etc - it will need a lot of work. Also, we have no furniture at all right now, so if you have to sit, bring a chair, or sit on the floor.
end_time nil → 2010-01-03 18:00:00 -0800
id nil → 1250458117
source_id nil → 996333945
start_time nil → 2010-01-03 15:00:00 -0800
title nil → PDX Hackerspace First Meeting/Walkthrough
url nil → http://www.pdxhackerspace.com/
venue_id nil → 202391881
Change #1404
2010-01-02
22:14:46

create Calagator::Venue 202391881 PDX Hackerspace Roll back

country nil → United States
id nil → 202391881
latitude nil → 45.5378
locality nil → Portland
longitude nil → -122.672
postal_code nil → 97227
region nil → Oregon
source_id nil → 996333945
street_address nil → 611 N Tillamook
title nil → PDX Hackerspace
Change #1403
2010-01-02
20:55:35

update Calagator::Venue 202391880 AboutUs.org Roll back

closed nil → false
duplicate_of_id nil → 202389972
events_count nil → 0
wifi nil → false
Change #1402
2010-01-02
20:55:33

update Calagator::Event 1250458116 CyborgCamp '10 Planning Meeting Roll back

locked nil → false
venue_id 202391880 → 202389972
Change #1401
2010-01-02
16:52:29

create Calagator::Event 1250458116 CyborgCamp '10 Planning Meeting Roll back

description nil → It's that time again! The CyborgCamp conference date will be in early May of 2010. That means its time to start planning! This meeting is your chance to brainstorm on location ideas, sponsors and speakers. What kinds of topics are of interest to you? How has the idea of Cyborg evolved over the year? We'll discuss volunteers and the wiki too. Come along, especially if you helped make CyborgCamp PDX '08 so excellent in the first place. Bring snacks and drinks to share with others. This planning meeting will most likely be followed by general networking and fun at a local haunt. --- Why May 2010? In March 2010, CyborgCamp will make its way to Brazil and back before landing again in Portland, Oregon for its second year. Questions? Contact Amber Case @caseorganic or MJ @mama_j. You can also follow @cyborgcamp on Twitter for updates.
end_time nil → 2010-01-19 22:00:00 -0800
id nil → 1250458116
source_id nil → 996333944
start_time nil → 2010-01-19 19:00:00 -0800
title nil → CyborgCamp '10 Planning Meeting
url nil → http://cyborgcamp.com/
venue_id nil → 202391880
Change #1400
2010-01-02
16:52:28

create Calagator::Venue 202389972 AboutUs Roll back

country nil → US
email nil → info@AboutUs.org
events_count nil → 72
id nil → 202389972
latitude nil → 45.5187
locality nil → Portland
longitude nil → -122.6647
postal_code nil → 97214
region nil → Oregon
street_address nil → 107 SE Washington St., Suite 520
telephone nil → 503.488.5763
title nil → AboutUs
url nil → http://www.aboutus.org
Change #1399
2010-01-02
16:51:10

update Calagator::Event 1250458115 Portland JavaScript Admirers' January Meeting Roll back

Change #1398
2010-01-02
16:49:55

create Calagator::Event 1250458115 Portland JavaScript Admirers' January Meeting Roll back

description nil → The January Meeting of Portland's first JavaScript and ECMAscript users' group. We discuss topics ranging from client-side web frameworks, to functional and prototypal programming theory. At this meeting we will be discussing two of the hottest new pieces of JavaScript technology: <a href="http://nodejs.org/">node.js</a> and <a href="http://code.google.com/closure">Google Closure</a>. This will also be the JavaScript Admirers first birthday. Come join us to celebrate the occasion. Feel free to join our mailing list at http://groups.google.com/group/pdxjs if you too are a JavaScript admirer. Or visit our web site for more information at http://pdxjs.com/.
end_time nil → 2010-01-27 22:00:00 -0800
id nil → 1250458115
source_id nil → 996333943
start_time nil → 2010-01-27 19:00:00 -0800
title nil → Portland JavaScript Admirers' January Meeting
url nil → http://pdxjs.com/
venue_id nil → 202391809
Change #1397
2009-12-31
16:24:07

destroy Calagator::Venue 202391849 sonar Roll back

Change #1396
2009-12-31
16:23:21

destroy Calagator::Venue 202391872 Seattle Center NW rooms, Seattle WA Roll back

Change #1395
2009-12-31
16:22:25

update Calagator::Venue 202391835 SAO Offices Roll back

closed nil → false
duplicate_of_id nil → 202390090
events_count nil → 0
wifi nil → false
Change #1394
2009-12-31
16:22:24

update Calagator::Event 1250457982 SAOpdx: Software-Cluster Roundtable with PDC (Session 4) Roll back

description Please join us at software Industry Roundtable discussion! As a leader in the software industry, your perspective on Portland’s strengths and challenges, specifically for this industry, are of critical interest to the city of Portland and its partners as we begin the implementation of the city’s newly-adopted Economic Development Strategy. The Strategy, which was approved by City Council in July 2009, emphasizes job creation and business competitiveness as the path to a sustainable economy, and identifies four industry clusters where the Portland Development Commission (PDC) will concentrate time, talent and resources to meet the Strategy’s goal of 10,000 net new jobs in the city of Portland in the next five years. We are in the process of gathering intelligence on Portland’s software sector and trying to identify opportunities for growing the cluster. The PDC and the Software Association of Oregon (SAO) are collaborating on a series of software industry round tables to help guide the development of this important industry cluster. Your participation in one of these discussions would be invaluable in advancing the understanding of industry needs. → Please join us at software Industry Roundtable discussion! As a leader in the software industry, your perspective on Portland’s strengths and challenges, specifically for this industry, are of critical interest to the city of Portland and its partners as we begin the implementation of the city’s newly-adopted Economic Development Strategy. The Strategy, which was approved by City Council in July 2009, emphasizes job creation and business competitiveness as the path to a sustainable economy, and identifies four industry clusters where the Portland Development Commission (PDC) will concentrate time, talent and resources to meet the Strategy’s goal of 10,000 net new jobs in the city of Portland in the next five years. We are in the process of gathering intelligence on Portland’s software sector and trying to identify opportunities for growing the cluster. The PDC and the Software Association of Oregon (SAO) are collaborating on a series of software industry round tables to help guide the development of this important industry cluster. Your participation in one of these discussions would be invaluable in advancing the understanding of industry needs.
locked nil → false
venue_id 202391835 → 202390090
Change #1393
2009-12-31
16:18:21

update Calagator::Event 1250458077 Stumptown Monthly Meeting Roll back

locked nil → false
title Stumptown Monthly Meeting → Stumptown Disc Golf Monthly Meeting
url nil → http://stumptowndg.com
Change #1392
2009-12-31
16:14:50

update Calagator::Venue 202391867 Next Adventure Roll back

address nil → 426 Southeast Grand Avenue, Portland, OR 97214
closed nil → false
country nil → US
description nil →
email nil →
events_count nil → 1
latitude nil → 45.5195
locality nil → Portland
longitude nil → -122.6606
postal_code nil → 97214
region nil → OR
street_address nil → 426 Se Grand Ave
telephone nil → (503) 233-0706
url nil → http://nextadventure.net/
wifi nil → false
Change #1391
2009-12-31
16:06:52

destroy Calagator::Event 1250453850 Customs: What are the risks? AEA and Ernst & Young Roll back

Change #1390
2009-12-31
16:05:27

update Calagator::Venue 202391778 Days Inn Gresham @ 24124 S.E. Stark Street, Gresham, Oregon 97030 US Roll back

address nil → 24124 S.E. Stark Street, Gresham, Oregon 97030 US
closed nil → false
country nil → US
description nil →
email nil →
events_count nil → 1
latitude nil → 45.5185
locality nil → Gresham
longitude nil → -122.4136
postal_code nil → 97030
region nil → OR
street_address nil → 24124 Se Stark St
telephone nil →
title Days Inn Gresham @ 24124 S.E. Stark Street, Gresham, Oregon 97030 US → Days Inn Gresham
url nil →
wifi nil → false
Change #1389
2009-12-31
16:04:03

update Calagator::Venue 202391869 Center Space,420 Southeast 6th Avenue, Portland, OR Roll back

address nil → 420 Southeast 6th Avenue, Portland, OR
closed nil → false
country nil → US
description nil →
email nil →
events_count nil → 1
latitude nil → 45.5196
locality nil → Portland
longitude nil → -122.6597
postal_code nil → 97214
region nil → OR
street_address nil → 420 Se 6th Ave
telephone nil →
title Center Space,420 Southeast 6th Avenue, Portland, OR → Center Space
url nil →
wifi nil → false
Change #1388
2009-12-31
16:03:17

destroy Calagator::Venue 202391868 Center Space Roll back

Change #1387
2009-12-31
16:02:07

update Calagator::Venue 202391853 Stoel Rives Roll back

closed nil → false
duplicate_of_id nil → 202390557
events_count nil → 0
wifi nil → false
Change #1386
2009-12-31
16:02:05

update Calagator::Event 1250458035 Chat with Allen Alley Roll back

description Over 30 years Allen Alley has built an experience base that spans multiple disciplines from engineering to marketing, venture capital, entrepreneurship and most recently, public service. In January 1997 he co-founded Pixelworks where he still serves as Chairman of the Board. Pixelworks (NASDAQ:PXLW), a fabless semiconductor company, is a leading provider of system-on-chip ICs for the advanced display industry. Pixelworks' solutions provide the intelligence for advanced televisions, multimedia projectors and flat panel monitors by processing and optimizing video and computer graphics signals to produce high quality images. Many of the world's leading manufacturers of consumer electronics and computer display products utilize our technology to enhance image quality and ease of use of their products. Under Allen’s leadership as President, CEO and Chairman for 10 years, Pixelworks has achieved many major accomplishments, including: • Growing Pixelworks into a global company with approximately 250 employees at offices in Portland, San Jose, Tokyo, Taipei and Shanghai. •Leading a successful initial public offering in May 2000 raising $66.1 million which was the top semiconductor IPO of 2000. • Exceeding $1 billion in cumulative revenue since founding in 1997 and $171 million in annual revenue in 2005. Join us on Dec 2nd to hear about Allen Alley’s entrepreneurial journey. → Over 30 years Allen Alley has built an experience base that spans multiple disciplines from engineering to marketing, venture capital, entrepreneurship and most recently, public service. In January 1997 he co-founded Pixelworks where he still serves as Chairman of the Board. Pixelworks (NASDAQ:PXLW), a fabless semiconductor company, is a leading provider of system-on-chip ICs for the advanced display industry. Pixelworks' solutions provide the intelligence for advanced televisions, multimedia projectors and flat panel monitors by processing and optimizing video and computer graphics signals to produce high quality images. Many of the world's leading manufacturers of consumer electronics and computer display products utilize our technology to enhance image quality and ease of use of their products. Under Allen’s leadership as President, CEO and Chairman for 10 years, Pixelworks has achieved many major accomplishments, including: • Growing Pixelworks into a global company with approximately 250 employees at offices in Portland, San Jose, Tokyo, Taipei and Shanghai. •Leading a successful initial public offering in May 2000 raising $66.1 million which was the top semiconductor IPO of 2000. • Exceeding $1 billion in cumulative revenue since founding in 1997 and $171 million in annual revenue in 2005. Join us on Dec 2nd to hear about Allen Alley’s entrepreneurial journey.
locked nil → false
venue_id 202391853 → 202390557
Change #1385
2009-12-31
14:12:46

create Calagator::Event 1250458114 PDX.pm How to Lie Like a Geek [Michael Schwern] Roll back

description nil → How to Lie Like a Geek speaker: Michael Schwern Geeks have a special relationship with The Truth. Nothing is more important than correcting a falsehood, no matter how small, and nothing is more odious than not telling The Truth. Unfortunately, in speaking The Whole Truth and Nothing But The Truth, the meaning is often mangled and the end result is the opposite, a lie. We’ll examine some ways geeks lie while telling The Truth, to themselves and to others, and hopefully achieve better communications, easier to understand interfaces and maybe some personal enlightenment. Some examples include: Lies by omission, lies by precision, lies by irrelevancy, lies by design, lies with statistics and that most dangerous of words “should” as in “the user should have realized”. There will be cake. http://tinyurl.com/mermtx As always, the meeting will be followed by social hour at the LuckyLab
end_time nil → 2010-01-13 20:00:00 -0800
id nil → 1250458114
start_time nil → 2010-01-13 18:53:00 -0800
title nil → PDX.pm How to Lie Like a Geek [Michael Schwern]
url nil → http://pdx.pm.org/kwiki/index.cgi?January2010Meeting
venue_id nil → 202389965
Change #1384
2009-12-30
17:50:06

update Calagator::Event 1250458113 Galois Tech Seminar Roll back

description The next Galois Tech Talk will be delivered by Amit Goel. Come kick off 2010 with us! Title: Ground Interpolation for Combined Theories Abstract: We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof tree obtained from an unsatifiability run of the solver into a proof tree without occurrences of troublesome “uncolorable” literals. An interpolant can then be readily generated using existing procedures. The principal advantage of our method is that it places few restrictions (none for convex theories) on the search strategy of the solver. Consequently, it is straightforward to implement and enables more efficient interpolating SMT solvers. In the presence of non-convex theories our method is incomplete, but still more general than previous methods. * Date: Tuesday, 10:30am, 05 Jan 2010 * Time: 10:30am – 11:30am * Location: Galois, Inc. 421 SW 6th Ave. Suite 300 (3rd floor of the Commonwealth Building) Portland, OR 97204 Bio: Amit Goel is a member of Intel’s Strategic CAD Labs. → The next Galois Tech Talk will be delivered by Amit Goel. Come kick off 2010 with us! Title: Ground Interpolation for Combined Theories Abstract: We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof tree obtained from an unsatifiability run of the solver into a proof tree without occurrences of troublesome “uncolorable” literals. An interpolant can then be readily generated using existing procedures. The principal advantage of our method is that it places few restrictions (none for convex theories) on the search strategy of the solver. Consequently, it is straightforward to implement and enables more efficient interpolating SMT solvers. In the presence of non-convex theories our method is incomplete, but still more general than previous methods. * Date: Tuesday, 10:30am, 05 Jan 2010 * Time: 10:30am – 11:30am * Location: Galois, Inc. 421 SW 6th Ave. Suite 300 (3rd floor of the Commonwealth Building) Portland, OR 97204 Bio: Amit Goel is a member of Intel’s Strategic CAD Labs.
locked nil → false
venue_id nil → 202390439
Change #1383
2009-12-30
17:49:38

destroy Calagator::Venue 202391879 Galois, Inc. Roll back

Change #1382
2009-12-30
17:48:50

update Calagator::Event 1250458113 Galois Tech Seminar Roll back

Change #1381
2009-12-30
17:48:50

create Calagator::Venue 202391879 Galois, Inc. Roll back

id nil → 202391879
title nil → Galois, Inc.
Change #1380
2009-12-30
17:48:36

destroy Calagator::Venue 202391878 Galois Inc Roll back

Change #1379
2009-12-30
17:48:21

update Calagator::Venue 202391878 Galois, Inc. Roll back

address nil →
description nil →
email nil →
locality nil →
postal_code nil →
region nil →
street_address nil →
telephone nil →
title Galois, Inc. → Galois Inc
url nil →
Change #1378
2009-12-30
17:47:33

update Calagator::Event 1250458113 Galois Tech Seminar Roll back

Change #1377
2009-12-30
17:47:32

create Calagator::Venue 202391878 Galois, Inc. Roll back

id nil → 202391878
title nil → Galois, Inc.
Change #1376
2009-12-30
17:46:26

destroy Calagator::Venue 202391877 Galois, Inc. Roll back

Change #1375
2009-12-30
17:45:27

update Calagator::Venue 202391877 Galois, Inc. 421 SW 6th Ave. Suite 300 Roll back

address nil → 421 SW 6th Ave., Suite 300
country nil → US
description nil →
email nil →
latitude nil → 45.5325
locality nil → Portland
longitude nil → -122.6864
postal_code nil → 97209
region nil → OR
telephone nil →
title Galois, Inc. 421 SW 6th Ave. Suite 300 → Galois, Inc.
url nil → http://www.galois.com
Change #1374
2009-12-30
17:44:23

create Calagator::Event 1250458113 Galois Tech Seminar Roll back

description nil → The next Galois Tech Talk will be delivered by Amit Goel. Come kick off 2010 with us! Title: Ground Interpolation for Combined Theories Abstract: We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof tree obtained from an unsatifiability run of the solver into a proof tree without occurrences of troublesome “uncolorable” literals. An interpolant can then be readily generated using existing procedures. The principal advantage of our method is that it places few restrictions (none for convex theories) on the search strategy of the solver. Consequently, it is straightforward to implement and enables more efficient interpolating SMT solvers. In the presence of non-convex theories our method is incomplete, but still more general than previous methods. * Date: Tuesday, 10:30am, 05 Jan 2010 * Time: 10:30am – 11:30am * Location: Galois, Inc. 421 SW 6th Ave. Suite 300 (3rd floor of the Commonwealth Building) Portland, OR 97204 Bio: Amit Goel is a member of Intel’s Strategic CAD Labs.
end_time nil → 2010-01-05 11:30:00 -0800
id nil → 1250458113
start_time nil → 2010-01-05 10:30:00 -0800
title nil → Galois Tech Seminar
url nil → http://www.galois.com/blog/2009/12/30/tech-talk-ground-interpolation-for-combined-theories/
Change #1373
2009-12-30
17:44:23

create Calagator::Venue 202391877 Galois, Inc. 421 SW 6th Ave. Suite 300 Roll back

id nil → 202391877
title nil → Galois, Inc. 421 SW 6th Ave. Suite 300
Change #1372
2009-12-30
15:40:56

update Calagator::Venue 202391228 Agency Ultra Sport Lounge Roll back

latitude 45.5226 → 45.5223
longitude -122.6917 → -122.6908
Change #1371
2009-12-30
12:41:12

create Calagator::Event 1250458112 ABPMP: Process Governance: What Roles Do I Need to Support My Process-Centric Organization? Roll back

description nil → At its core, BPM is a management discipline. While the vendor landscape is dominated by fancy methodologies and flashy technologies, it's the people inside an organization which really make or break process management. This discussion will introduce the set of specialized process roles found on the Org Charts of companies most successful in implementing and sustaining BPM. Denis Lee is an independent Business Architect and Business Process Management Consultant. He serves on the board of both ABPMP International and ABPMP Portland. Association of Business Process Management Professionals (ABPMP.org) The Association of Business Process Management Professionals is a non-profit, vendor independent professional organization dedicated to the advancement of business process management concepts and its practices. ABPMP is practitioner-oriented and practitioner-led. The mission of the ABPMP is to engage in activities that promote the practice of business process management, has developed a Common Body of Knowledge in this field, and to contribute to the advancement and skill development of professionals who work in this discipline. Enter on Couch Street. Parking available on the street, or there is a SMART PARK on Davis and Naito. UO White Stag Block does not validate parking. Cost: Free, but please RSVP so that we can have enough light snacks for everyone. Please RSVP: Linked-in (http://bit.ly/6ZEkYd) or by e-mail: nechamakatan@gmail.com Hosted by: University of Oregon Applied Information Management Masters Degree Program. http://aim.uoregon.edu
end_time nil → 2010-01-28 20:00:00 -0800
id nil → 1250458112
start_time nil → 2010-01-28 17:30:00 -0800
title nil → ABPMP: Process Governance: What Roles Do I Need to Support My Process-Centric Organization?
url nil → http://www.abpmp.org/displaycommon.cfm?an=1&subarticlenbr=5
venue_id nil → 202391320