Changes

Changes feed

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

Time Attribute with previous and current values
Change #5689
2011-02-03
17:08:23

create Calagator::Venue 202392350 <a href="/bars/andypoolhall">Andy Poolhall</a> Roll back

id nil → 202392350
source_id nil → 996334486
title nil → <a href="/bars/andypoolhall">Andy Poolhall</a>
Change #5688
2011-02-03
17:08:16

create Calagator::Event 1250459743 Diva Fridays @ Luxy | 200 Buses! | 100 Bottles! | Ladies Free B4 12! Roll back

end_time nil → 2011-02-04 00:00:00 -0800
id nil → 1250459743
source_id nil → 996334486
start_time nil → 2011-02-04 00:00:00 -0800
title nil → Diva Fridays @ Luxy | 200 Buses! | 100 Bottles! | Ladies Free B4 12!
venue_id nil → 202392349
Change #5687
2011-02-03
17:08:13

create Calagator::Venue 202392349 Luxy Entertainment Complex Roll back

id nil → 202392349
source_id nil → 996334486
title nil → Luxy Entertainment Complex
Change #5686
2011-02-03
17:08:07

create Calagator::Event 1250459742 Legal Issues in Interactive Media: Presentation by Mary Barroll B.A. / LLB. Roll back

end_time nil → 2011-02-09 00:00:00 -0800
id nil → 1250459742
source_id nil → 996334486
start_time nil → 2011-02-09 00:00:00 -0800
title nil → Legal Issues in Interactive Media: Presentation by Mary Barroll B.A. / LLB.
venue_id nil → 202392348
Change #5685
2011-02-03
17:08:05

create Calagator::Venue 202392348 NFB Mediatheque, 2nd Floor Atelier Roll back

id nil → 202392348
source_id nil → 996334486
title nil → NFB Mediatheque, 2nd Floor Atelier
Change #5684
2011-02-03
17:07:59

create Calagator::Event 1250459741 Let the storm out and bring the fun in! Roll back

end_time nil → 2011-02-02 00:00:00 -0800
id nil → 1250459741
source_id nil → 996334486
start_time nil → 2011-02-02 00:00:00 -0800
title nil → Let the storm out and bring the fun in!
venue_id nil → 202392347
Change #5683
2011-02-03
17:07:57

create Calagator::Venue 202392347 Assembly Room C, Harbourfront Community Centre, 627 Queens Quay West, Toronto (Queens Quay &amp; Bathurs Roll back

id nil → 202392347
source_id nil → 996334486
title nil → Assembly Room C, Harbourfront Community Centre, 627 Queens Quay West, Toronto (Queens Quay &amp; Bathurs
Change #5682
2011-02-03
17:07:50

create Calagator::Event 1250459740 douglas september @ Mitzi's Sister (with Stephen Keeping) Roll back

end_time nil → 2011-02-10 00:00:00 -0800
id nil → 1250459740
source_id nil → 996334486
start_time nil → 2011-02-10 00:00:00 -0800
title nil → douglas september @ Mitzi's Sister (with Stephen Keeping)
venue_id nil → 202392346
Change #5681
2011-02-03
17:07:47

create Calagator::Venue 202392346 <a href="/bars/mitzissister">Mitzi's Sister</a> Roll back

id nil → 202392346
source_id nil → 996334486
title nil → <a href="/bars/mitzissister">Mitzi's Sister</a>
Change #5680
2011-02-03
17:07:41

create Calagator::Event 1250459739 A Night of Art and Romance at the Micro-winery Roll back

end_time nil → 2011-02-14 00:00:00 -0800
id nil → 1250459739
source_id nil → 996334486
start_time nil → 2011-02-14 00:00:00 -0800
title nil → A Night of Art and Romance at the Micro-winery
venue_id nil → 202392345
Change #5679
2011-02-03
17:07:38

create Calagator::Venue 202392345 Olivia's At Fifty-Three | Restaurant &amp; Micro-winery Roll back

id nil → 202392345
source_id nil → 996334486
title nil → Olivia's At Fifty-Three | Restaurant &amp; Micro-winery
Change #5678
2011-02-03
17:07:31

create Calagator::Event 1250459738 Venus Williams - Women of Influence Luncheon Roll back

end_time nil → 2011-03-02 00:00:00 -0800
id nil → 1250459738
source_id nil → 996334486
start_time nil → 2011-03-02 00:00:00 -0800
title nil → Venus Williams - Women of Influence Luncheon
venue_id nil → 202392344
Change #5677
2011-02-03
17:07:29

create Calagator::Venue 202392344 Metro Toronto Convention Centre Roll back

id nil → 202392344
source_id nil → 996334486
title nil → Metro Toronto Convention Centre
Change #5676
2011-02-03
17:07:22

create Calagator::Event 1250459737 CinéFranco Roll back

end_time nil → 2011-03-25 00:00:00 -0700
id nil → 1250459737
source_id nil → 996334486
start_time nil → 2011-03-25 00:00:00 -0700
title nil → CinéFranco
venue_id nil → 202392343
Change #5675
2011-02-03
17:07:19

create Calagator::Venue 202392343 The TIFF Bell Light Box Roll back

id nil → 202392343
source_id nil → 996334486
title nil → The TIFF Bell Light Box
Change #5674
2011-02-03
17:07:13

create Calagator::Event 1250459736 Good Saturdays | w/ Special Guest DJ, P-Plus (FLOW 93.5) Roll back

end_time nil → 2011-02-05 00:00:00 -0800
id nil → 1250459736
source_id nil → 996334486
start_time nil → 2011-02-05 00:00:00 -0800
title nil → Good Saturdays | w/ Special Guest DJ, P-Plus (FLOW 93.5)
venue_id nil → 202392342
Change #5673
2011-02-03
17:07:11

create Calagator::Venue 202392342 WOO Lounge Roll back

id nil → 202392342
source_id nil → 996334486
title nil → WOO Lounge
Change #5672
2011-02-03
17:07:06

create Calagator::Event 1250459735 Toronto Classical Singers present Lauridsen's Lux Aeterna / Mozart's Requiem Roll back

end_time nil → 2011-02-27 00:00:00 -0800
id nil → 1250459735
source_id nil → 996334486
start_time nil → 2011-02-27 00:00:00 -0800
title nil → Toronto Classical Singers present Lauridsen's Lux Aeterna / Mozart's Requiem
venue_id nil → 202392341
Change #5671
2011-02-03
17:07:03

create Calagator::Venue 202392341 Christ Church Deer Park Roll back

id nil → 202392341
source_id nil → 996334486
title nil → Christ Church Deer Park
Change #5670
2011-02-03
17:06:57

create Calagator::Event 1250459734 Unefemme du robe peuple en longue Roll back

end_time nil → 2011-02-03 00:00:00 -0800
id nil → 1250459734
source_id nil → 996334486
start_time nil → 2011-02-03 00:00:00 -0800
title nil → Unefemme du robe peuple en longue
venue_id nil → 202392340
Change #5669
2011-02-03
17:06:55

create Calagator::Venue 202392340 <a href="/gallery/1313">Gallery 1313</a> Roll back

id nil → 202392340
source_id nil → 996334486
title nil → <a href="/gallery/1313">Gallery 1313</a>
Change #5668
2011-02-03
17:06:48

create Calagator::Event 1250459733 BOSS TRIAD NETWORKING - 5th Annual International Networking Day GTA Roll back

end_time nil → 2011-02-08 00:00:00 -0800
id nil → 1250459733
source_id nil → 996334486
start_time nil → 2011-02-08 00:00:00 -0800
title nil → BOSS TRIAD NETWORKING - 5th Annual International Networking Day GTA
venue_id nil → 202392339
Change #5667
2011-02-03
17:06:45

create Calagator::Venue 202392339 Columbus Convention Centre Roll back

id nil → 202392339
source_id nil → 996334486
title nil → Columbus Convention Centre
Change #5666
2011-02-03
17:06:37

create Calagator::Event 1250459732 CINSSU Presents: Black Book Free Friday Film Roll back

end_time nil → 2011-02-04 00:00:00 -0800
id nil → 1250459732
source_id nil → 996334486
start_time nil → 2011-02-04 00:00:00 -0800
title nil → CINSSU Presents: Black Book Free Friday Film
venue_id nil → 202392338
Change #5665
2011-02-03
17:06:35

create Calagator::Venue 202392338 Innis Town Hall Roll back

id nil → 202392338
source_id nil → 996334486
title nil → Innis Town Hall
Change #5664
2011-02-03
17:06:29

create Calagator::Event 1250459731 First Thursdays Roll back

end_time nil → 2011-02-03 00:00:00 -0800
id nil → 1250459731
source_id nil → 996334486
start_time nil → 2011-02-03 00:00:00 -0800
title nil → First Thursdays
venue_id nil → 202392337
Change #5663
2011-02-03
17:06:26

create Calagator::Venue 202392337 Queen St. Bathurst to Gladstone Roll back

id nil → 202392337
source_id nil → 996334486
title nil → Queen St. Bathurst to Gladstone
Change #5662
2011-02-03
17:06:21

create Calagator::Event 1250459730 Un-Valentine's Valentine's Day Shindig Roll back

end_time nil → 2011-02-11 00:00:00 -0800
id nil → 1250459730
source_id nil → 996334486
start_time nil → 2011-02-11 00:00:00 -0800
title nil → Un-Valentine's Valentine's Day Shindig
venue_id nil → 202392336
Change #5661
2011-02-03
17:06:18

create Calagator::Venue 202392336 Nyood Roll back

id nil → 202392336
source_id nil → 996334486
title nil → Nyood
Change #5660
2011-02-03
17:06:13

create Calagator::Event 1250459729 Free Treatment Day at Beaches Community Acupuncture Roll back

end_time nil → 2011-02-12 00:00:00 -0800
id nil → 1250459729
source_id nil → 996334486
start_time nil → 2011-02-12 00:00:00 -0800
title nil → Free Treatment Day at Beaches Community Acupuncture
venue_id nil → 202392335
Change #5659
2011-02-03
17:06:10

create Calagator::Venue 202392335 Beaches Community Acupuncture Roll back

id nil → 202392335
source_id nil → 996334486
title nil → Beaches Community Acupuncture
Change #5658
2011-02-03
15:57:21

update Calagator::Event 1250459727 Dan Colish on Redis and Michel Pellitier on Xapian at Idealist.or<img class="brImage" src="http://img1.meetupstatic.com/img/clear.gif" alt="" width="0" />g Roll back

description nil → The second monthly Update Portland meetup. Come here Dan Colish's plans for using Redis and how Michel Pellitier is using Xapian at <a href="http://idealist.org">Idealist.org</a> for full-text search. Free beer provided by <a href="http://urbanairship.com/">Urban Airship</a>. Please RSVP on the meetup site and <a href="http://groups.google.com/group/update-pdx">sign up for the mailing list</a>.
end_time nil → 2011-02-24 20:00:00 -0800
venue_id nil → 202392011
Change #5657
2011-02-03
15:53:52

create Calagator::Event 1250459728 Jason Kirtland on AMQP at Idealist Roll back

id nil → 1250459728
source_id nil → 996334484
start_time nil → 2011-03-24 18:00:00 -0700
title nil → Jason Kirtland on AMQP at Idealist
url nil → http://www.meetup.com/updatepdx/events/16416694/
Change #5656
2011-02-03
15:53:49

create Calagator::Event 1250459727 Dan Colish on Redis and Michel Pellitier on Xapian at Idealist.or<img class="brImage" src="http://img1.meetupstatic.com/img/clear.gif" alt="" width="0" />g Roll back

id nil → 1250459727
source_id nil → 996334484
start_time nil → 2011-02-24 18:00:00 -0800
title nil → Dan Colish on Redis and Michel Pellitier on Xapian at Idealist.or<img class="brImage" src="http://img1.meetupstatic.com/img/clear.gif" alt="" width="0" />g
url nil → http://www.meetup.com/updatepdx/events/16387558/
Change #5655
2011-02-03
13:27:50

destroy Calagator::Venue 202392334 Naivahita Roll back

Change #5654
2011-02-03
13:27:27

destroy Calagator::Event 1250459726 parmacologies testings 3 Roll back

Change #5653
2011-02-03
13:18:39

create Calagator::Event 1250459726 parmacologies testings 3 Roll back

description nil → Nice site <a href=http://google.com>....)</a>
end_time nil → 2011-02-03 15:00:00 -0800
id nil → 1250459726
start_time nil → 2011-02-03 14:00:00 -0800
title nil → parmacologies testings 3
url nil → http://google.com
venue_id nil → 202392334
Change #5652
2011-02-03
13:18:36

create Calagator::Venue 202392334 Naivahita Roll back

id nil → 202392334
title nil → Naivahita
Change #5651
2011-02-03
12:51:55

create Calagator::Event 1250459725 CEO & CIO Executive Coaching Preview Roll back

description nil → In this powerful three-hour session, you will learn and practice a new way to coach your own direct reports, a method you can put to use immediately — while getting a preview into the upcoming “CEO and CIO Group Coaching Programs” from the Portland Transformational Leadership Initiative (PTLI) and Oregon Training Network (OTN). A recent <b>Portland Development Commission</b> (PDC) survey of the Portland technology community found that the single greatest need is for more effective mentoring opportunities. We are responding to this need by adapting our already successful C-level six-month coaching program – now focused exclusively on CEOs and CIOs. In this three-hour preview session, you will get a taste of the full six-month program while experiencing a highly effective and structured approach to executive and peer coaching. You will walk away from this first session having new insights into how you work with your direct reports and you will have a stronger sense of areas you’d like to improve in, related to your ongoing work as a CEO or CIO. We do this through illuminating blind spots, building up weak areas, and amplifying your strengths. <b>Find out if “CEO or CIO Group Coaching” is right for you</b>, and walk out with new tools in this dynamic stand-alone session for coaching your team and helping them coach their direct reports.
end_time nil → 2011-03-15 11:00:00 -0700
id nil → 1250459725
start_time nil → 2011-03-15 08:00:00 -0700
title nil → CEO & CIO Executive Coaching Preview
url nil → http://oregontrainingnetwork.com/cio-executive-coaching-preview/
venue_id nil → 202390263
Change #5650
2011-02-03
12:09:46

update Calagator::Event 1250459608 Certified Scrum Product Owner Training Roll back

venue_id 202390263 → 202392221
Change #5649
2011-02-03
12:00:40

create Calagator::Event 1250459724 CEO Group Coaching Program Roll back

description nil → <b>Do you want to figure out what’s holding you back from greater profitability</b>, revenue growth and fully engaging your employees in your vision for the company? The CEO Coaching Program will unlock your power as a leader to achieve these goals and bring about growth for your company, as a direct result of your contributions. <b>How It Works</b> 1. Pick a game-changing project for the company 2. Work on it intensively for six months with structured support, making huge strides 3. Receive and give coaching among other CEOs from comparable organizations 4. Be pushed out of the comfort zone and into the growth zone, by highly qualified coaches <b>Agenda</b> The SPTLI format involves 12 three-hour group-coaching sessions over a six-month period, meeting bi-weekly. There will also be 30 minute, one-on-one coaching phone calls in the weeks between sessions. <b>Sessions:</b> 1. Introduction to the Process, and Identify each CEO’s Project 2. Refine the Project and Get Feedback 3. Finalize Project and Create Action Plan 4. Metrics and Performance Management 5. Uncover Blind Spots, Receive Coaching, Advance the Project 6. How a CEO can Coach Direct Reports, Advance the Project, Trouble Shoot 7. More on CEO as Coach, Advanced Delegation Skills, Advance the Project 8. At least one CEO has a major setback by now; we all use it as a learning tool as we get that CEO back on track – everyone learns from this experience; remaining sessions are highly customized to what emerges in the group 9. From Breakdown to Breakthrough – using the setback to illuminate problems and create growth 10. Begin to wrap up the project, Delegation trouble-shooting, Empowered work teams 11. Further wrap-up and trouble shooting 12. Celebration and planning for how to keep up the momentum As the CEO, you will be asked to bring in a challenge – some burning need, chronic problem or stalled initiative that, if improved, would break you and your company out to the next level. In the group sessions, you will receive frank, powerful coaching from our facilitators – a former CEO and a highly experienced business coach. You will also get feedback and support from your peers in the room and guest CEO’s who will participate in some of the sessions. You make commitments for keeping your project on track every week and report on results at each session.
end_time nil → 2011-03-31 11:00:00 -0700
id nil → 1250459724
start_time nil → 2011-03-31 08:00:00 -0700
title nil → CEO Group Coaching Program
url nil → http://oregontrainingnetwork.com/ceo-group-coaching-program/
venue_id nil → 202390263
Change #5648
2011-02-03
12:00:01

create Calagator::Event 1250459723 CEO Group Coaching Program Roll back

description nil → <b>Do you want to figure out what’s holding you back from greater profitability</b>, revenue growth and fully engaging your employees in your vision for the company? The CEO Coaching Program will unlock your power as a leader to achieve these goals and bring about growth for your company, as a direct result of your contributions. <b>How It Works</b> 1. Pick a game-changing project for the company 2. Work on it intensively for six months with structured support, making huge strides 3. Receive and give coaching among other CEOs from comparable organizations 4. Be pushed out of the comfort zone and into the growth zone, by highly qualified coaches <b>Agenda</b> The SPTLI format involves 12 three-hour group-coaching sessions over a six-month period, meeting bi-weekly. There will also be 30 minute, one-on-one coaching phone calls in the weeks between sessions. <b>Sessions:</b> 1. Introduction to the Process, and Identify each CEO’s Project 2. Refine the Project and Get Feedback 3. Finalize Project and Create Action Plan 4. Metrics and Performance Management 5. Uncover Blind Spots, Receive Coaching, Advance the Project 6. How a CEO can Coach Direct Reports, Advance the Project, Trouble Shoot 7. More on CEO as Coach, Advanced Delegation Skills, Advance the Project 8. At least one CEO has a major setback by now; we all use it as a learning tool as we get that CEO back on track – everyone learns from this experience; remaining sessions are highly customized to what emerges in the group 9. From Breakdown to Breakthrough – using the setback to illuminate problems and create growth 10. Begin to wrap up the project, Delegation trouble-shooting, Empowered work teams 11. Further wrap-up and trouble shooting 12. Celebration and planning for how to keep up the momentum As the CEO, you will be asked to bring in a challenge – some burning need, chronic problem or stalled initiative that, if improved, would break you and your company out to the next level. In the group sessions, you will receive frank, powerful coaching from our facilitators – a former CEO and a highly experienced business coach. You will also get feedback and support from your peers in the room and guest CEO’s who will participate in some of the sessions. You make commitments for keeping your project on track every week and report on results at each session.
end_time nil → 2011-03-03 11:00:00 -0800
id nil → 1250459723
start_time nil → 2011-03-03 08:00:00 -0800
title nil → CEO Group Coaching Program
url nil → http://oregontrainingnetwork.com/ceo-group-coaching-program/
venue_id nil → 202390263
Change #5647
2011-02-03
11:56:12

create Calagator::Event 1250459722 CIO Group Coaching Program Roll back

description nil → <b>Do you want to add more value by becoming your company’s new revenue engine</b> and engaging customers in innovative ways? Do you need to figure out how to fund transformative projects and be your CEO’s most powerful ally? The CIO Coaching Program will guide and support you as a leader to achieve these goals and bring about revenue growth for your company, as a direct result of your contributions. <b>How It Works</b> 1. Pick a game-changing project – for the IT department or the entire company 2. Work on it intensively for six months with structured support, making huge strides 3. Receive and give coaching among other CIOs from comparable organizations 4. Be pushed out of the comfort zone and into the growth zone, by highly qualified coaches <b>Agenda</b> The SPTLI format involves 12 three-hour group-coaching sessions over a six-month period, meeting bi-weekly. There will also be 30 minute, one-on-one coaching phone calls in the weeks between sessions. <b>Sessions:</b> 1. Introduction to the Process, and Identify each CIO’s Project 2. Refine the Project and Get Feedback 3. Finalize Project and Create Action Plan 4. Metrics and Performance Management 5. Uncover Blind Spots, Receive Coaching, Advance the Project 6. How a CIO can Coach Direct Reports, Advance the Project, Trouble Shoot 7. More on CIO as Coach, Advanced Delegation Skills, Advance the Project 8. At least one CIO has a major setback by now; we all use it as a learning tool as we get that CIO back on track – everyone learns from this experience; remaining sessions are highly customized to what emerges in the group 9. From Breakdown to Breakthrough – using the setback to illuminate problems and create growth 10. Begin to wrap up the project, Delegation trouble-shooting, Empowered work teams 11. Further wrap-up and trouble shooting 12. Celebration and planning for how to keep up the momentum As the CIO, you will be asked to bring in a challenge – some burning need, chronic problem or stalled initiative that, if improved, would break you and your company out to the next level. In the group sessions, you will receive frank, powerful coaching from our facilitators – a former CEO, a CIO and a highly experienced business coach. You will also get feedback and support from your peers in the room and guest CIO’s who will participate in some of the sessions. You make commitments for keeping your project on track every week and report on results at each session.
end_time nil → 2011-05-05 11:00:00 -0700
id nil → 1250459722
start_time nil → 2011-05-05 08:00:00 -0700
title nil → CIO Group Coaching Program
url nil → http://oregontrainingnetwork.com/cio-group-coaching-program/
venue_id nil → 202390263
Change #5646
2011-02-03
11:48:02

update Calagator::Event 1250459522 Certified ScrumMaster Training Roll back

description <a href="http://www.regonline.com/Register/Checkin.aspx?EventID=900753&trackingcode=otn"><h3>Register here</h3></a> The leading and fastest-growing of the Agile methodologies, Scrum is a simple software project management framework that adheres to a small set of interrelated practices and rules, is not overly prescriptive, and is able to produce productivity gains for software development teams almost immediately. This agile, lightweight process effectively manages and controls software development through iterative, incremental practices. Scrum training will boost the capabilities of your Agile development team and positively impact projects for years to come. Agenda: * Introduction to Agile * Origins of Scrum * The Scrum process * Roles and responsibilities * Product Backlog * Estimating Product Backlog items * Scaling Scrum * Scrum in detail * Sprints * Sprint planning meeting * Daily standup meeting * Burndown charts and project reporting * Sprint review and retrospective * Getting started with Scrum * Graduation and closing → <a href="http://www.regonline.com/Register/Checkin.aspx?EventID=925362&trackingcode=otn"><h3>Register here</h3></a> The leading and fastest-growing of the Agile methodologies, Scrum is a simple software project management framework that adheres to a small set of interrelated practices and rules, is not overly prescriptive, and is able to produce productivity gains for software development teams almost immediately. This agile, lightweight process effectively manages and controls software development through iterative, incremental practices. Scrum training will boost the capabilities of your Agile development team and positively impact projects for years to come. Agenda: * Introduction to Agile * Origins of Scrum * The Scrum process * Roles and responsibilities * Product Backlog * Estimating Product Backlog items * Scaling Scrum * Scrum in detail * Sprints * Sprint planning meeting * Daily standup meeting * Burndown charts and project reporting * Sprint review and retrospective * Getting started with Scrum * Graduation and closing
end_time 2011-02-04 17:00:00 -0800 → 2011-05-10 17:00:00 -0700
locked nil → false
start_time 2011-02-03 09:00:00 -0800 → 2011-05-09 09:00:00 -0700
Change #5645
2011-02-03
11:42:02

update Calagator::Event 1250459608 Certified Scrum Product Owner Training Roll back

end_time 2011-03-18 17:00:00 -0700 → 2011-04-07 17:00:00 -0700
start_time 2011-03-17 09:00:00 -0700 → 2011-04-06 09:00:00 -0700
Change #5644
2011-02-03
11:41:03

update Calagator::Event 1250459632 ITIL V3 Foundations Certification Roll back

end_time 2011-03-16 17:00:00 -0700 → 2011-04-06 17:00:00 -0700
start_time 2011-03-14 09:00:00 -0700 → 2011-04-04 09:00:00 -0700
Change #5643
2011-02-03
11:09:06

create Calagator::Event 1250459721 Galois Tech talk: The Strategy Challenge in Computer Algebra Roll back

description nil → Presented by Grant Passmore. In automated deduction, strategy is a vital ingredient in effective proof search. Strategy comes in many forms, but the key is this: user-specifiable adaptations of general reasoning mechanisms reduce the search space by tailoring its exploration to a particular class of problems. In fully automatic theorem provers, this may happen through formula weights, term orders and quantifier triggers. In interactive proof assistants, one may build strategies by programming tactics and carefully crafting systems of rewrite rules. Given that automated deduction often takes place over undecidable theories, the recognition of a need for strategy is natural and happened early in the field. In computer algebra, the situation is rather different. In computer algebra, the theories one works over are often decidable but inherently infeasible. For instance, the theory of real closed fields (i.e., nonlinear real arithmetic) is decidable, but any full quantifier elimination algorithm for it is guaranteed to have worst-case doubly exponential time complexity. The situation is similar with algebraically closed fields (e.g., through Groebner bases), and many others. Usually, decision procedures arising from computer algebra admit little means for a user to control them. But, when it comes to practical applications, is an infeasible theory really so different from an undecidable one? The Strategy Challenge in Computer Algebra is this: To build theoretical and practical tools allowing users to exert strategic control over the execution of core computer algebra algorithms. In this way, such algorithms may be tailored to specific problem domains. For formal verification efforts, the focus of this challenge upon decision procedures is especially relevant. In this talk, we will motivate this challenge and present two examples from our dissertation: (i) the theory of Abstract Groebner Bases and its use in developing new Groebner basis algorithms tailored to the needs of SMT solvers (joint with Leo de Moura), and (ii) the theory of Abstract Cylindrical Algebraic Decomposition and a family of real quantifier elimination algorithms tailored to the structure of nonlinear real arithmetic problems arising in specific formal verification tool-chains. The former forms the foundation of nonlinear arithmetic in the SMT solver Z3, and the latter forms the basis of our tool RAHD (Real Algebra in High Dimensions).
end_time nil → 2011-02-07 14:30:00 -0800
id nil → 1250459721
start_time nil → 2011-02-07 13:30:00 -0800
title nil → Galois Tech talk: The Strategy Challenge in Computer Algebra
url nil → http://corp.galois.com/blog/2011/2/3/tech-talk-the-strategy-challenge-in-computer-algebra.html
venue_id nil → 202390439
Change #5642
2011-02-01
22:48:12

create Calagator::Venue 202392333 Benson Polytechnic High School Roll back

address nil → 546 NE 12th Ave, Portland, OR
events_count nil → 0
id nil → 202392333
latitude nil → 45.5273
locality nil → Portland
longitude nil → -122.653
postal_code nil → 97232
region nil → OR
street_address nil → 546 NE 12th Ave
telephone nil → (503) 916-5100
title nil → Benson Polytechnic High School
url nil → http://bensonhs.net/
Change #5641
2011-02-01
19:18:38

update Calagator::Event 1250459719 February Meetup: Web Application Architecture Roll back

description Portland Semantic Web Interest Group <p>I've been working on a data model foundation for Web applications that reuses off-the-shelf ontologies to provide the typical authorization architecture. I'll describe the model and we can discuss any benefits or shortcomings you see.</p> Portland, OR 97217 - USA Wednesday, February 2 at 6:30 PM Photo: http://photos2.meetupstatic.com/photos/event/a/8/9/4/event_11983156.jpeg Details: http://www.meetup.com/pdxsemweb/events/16383369/ → Portland Semantic Web Interest Group <p>I've been working on a data model foundation for Web applications that reuses off-the-shelf ontologies to provide the typical authorization architecture. I'll describe the model and we can discuss any benefits or shortcomings you see.</p> Portland, OR 97217 - USA Wednesday, February 2 at 6:30 PM Photo: http://photos2.meetupstatic.com/photos/event/a/8/9/4/event_11983156.jpeg Details: http://www.meetup.com/pdxsemweb/events/16383369/
locked nil → false
title February Meetup: Web Application Architecture → pdxsemweb February Meetup: Web Application Architecture
Change #5640
2011-02-01
16:19:06

update Calagator::Event 1250459720 NoPoCoNi: North Portland Coders Night - Munchkin Monday Roll back

description Come hang out, drink beer, and write code every Monday night. The meetings are extremely informal, and everyone is welcome! Maybe we'll be in the middle room, maybe in the back room, just keep walking until you see a table full of laptops. First Monday of each month is Munchkin Monday, where we play the card game <a href="http://www.worldofmunchkin.com/game/">Munchkin</a>. The game starts at 7pm, and you're welcome to play, spectate, get work done, or ignore us completely. → Come hang out, drink beer, and write code every Monday night. The meetings are extremely informal, and everyone is welcome! Maybe we'll be in the middle room, maybe in the back room, just keep walking until you see a table full of laptops. First Monday of each month is Munchkin Monday, where we play the card game <a href="http://www.worldofmunchkin.com/game/">Munchkin</a>. The game starts at 7pm, and you're welcome to play, spectate, get work done, or ignore us completely.
locked nil → false
title NoPoCoNi: North Portland Coders Night - Munchkin Monday → NoPoCoNi: North Portland Coders Night - Munchkin Monday 2: Electric Boogaloo