This is a new event cloned from an existing one. Please update the fields, like the time and description.

Changes

Changes feed

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

Time Attribute with previous and current values
Change #10356
2011-08-12
23:06:46

destroy Calagator::Event 1250460759 Leveraging LinkedIn, Facebook and Twitter Roll back

Change #10355
2011-08-11
21:08:41

update Calagator::Event 1250461185 Ruby Beginners Meetup, aka Ruby Newbie Brewby Roll back

locked nil → false
venue_id 202390999 → 202390942
Change #10354
2011-08-11
10:19:08

create Calagator::Event 1250461210 Android Workgroup Roll back

description nil → Android Workgroup at the Lucky Lab Brew Pub 915 SE Hawthorne Blvd., Portland, OR 97214 Come and work on your personal Android projects in a workgroup. Share what your doing, ask questions, help others. Agenda: 5:00 - 5:15: Informal Meet and Greet 5:15 - 5:30: Introductions and Discussion 5:30 - 9:00: Coding
end_time nil → 2011-08-16 21:00:00 -0700
id nil → 1250461210
start_time nil → 2011-08-16 17:00:00 -0700
title nil → Android Workgroup
url nil → http://groups.google.com/group/pdx-android-workgroup
venue_id nil → 202390282
Change #10353
2011-08-11
05:22:51

update Calagator::Event 1250461207 PDX Programming Workshops Curriculum Meeting Roll back

end_time 2011-08-11 20:30:00 -0700 → 2011-08-11 21:30:00 -0700
locked nil → false
start_time 2011-08-11 19:00:00 -0700 → 2011-08-11 20:00:00 -0700
Change #10352
2011-08-10
16:59:11

destroy Calagator::Event 1250460820 FREE Seminar: 7 Proven Tactics to Promote Your Business in Portland Roll back

Change #10351
2011-08-10
15:48:45

update Calagator::Source 996334641 http://upcoming.yahoo.com/event/8261577/OR/Portland/Portland-Werewolf-Picnic/Colonel-Summers-Park/?ps=5 Roll back

imported_at nil → 2011-08-10 15:48:44 -0700
Change #10350
2011-08-10
15:48:45

create Calagator::Event 1250461209 Portland Werewolf Picnic Roll back

description nil → For the first time ever we will be playing werewolf in the park. Our August Gathering will be in held in Colonel Summers Park at SE 17th and Taylor. We will provide a small BBQ for hot dogs and hamburgers if you want to grill. Bring a main dish and a side dish with some to share. We will provide provide desert. Come out and play at our monthly game of werewolf. Check out the site for details (http://www.portlandwerewolf.com). Event starts at 6p. Game starts at 7p. If you are planning on coming and want to play please respond with "attending". That way we know who is coming and you are guaranteed to play.
end_time nil → 2011-08-18 21:00:00 -0700
id nil → 1250461209
source_id nil → 996334641
start_time nil → 2011-08-18 18:00:00 -0700
title nil → Portland Werewolf Picnic
venue_id nil → 202392933
Change #10349
2011-08-10
15:48:45

create Calagator::Venue 202392933 Colonel Summers Park Roll back

country nil → United States
events_count nil → 1
id nil → 202392933
latitude nil → 45.515
locality nil → Portland
longitude nil → -122.649
postal_code nil → 97214
region nil → Oregon
source_id nil → 996334641
street_address nil → SE Seventeenth and Taylor
title nil → Colonel Summers Park
Change #10348
2011-08-10
15:48:44

create Calagator::Source 996334641 http://upcoming.yahoo.com/event/8261577/OR/Portland/Portland-Werewolf-Picnic/Colonel-Summers-Park/?ps=5 Roll back

id nil → 996334641
url nil → http://upcoming.yahoo.com/event/8261577/OR/Portland/Portland-Werewolf-Picnic/Colonel-Summers-Park/?ps=5
Change #10347
2011-08-10
15:48:26

update Calagator::Source 996334640 http://tinyurl.com/pdxwwaug11 Roll back

imported_at nil → 2011-08-10 15:48:26 -0700
Change #10346
2011-08-10
15:48:26

create Calagator::Source 996334640 http://tinyurl.com/pdxwwaug11 Roll back

id nil → 996334640
url nil → http://tinyurl.com/pdxwwaug11
Change #10345
2011-08-10
15:20:23

create Calagator::Event 1250461208 Tech Talk: Back-to-back talks on Haskell and Embedded Systems Roll back

description nil → Presented by Sebastian Niller and Nis N. Wegmann #1 title: Translation of Functionally Embedded Domain-specific Languages With Static Type Preservation by using Witnesses abstract: Static type preservation automatically guarantees type-correctness of an embedded domain-specific language (eDSL) by tying its type system to that of the host-language. Not only does this obviate the need for a custom type checker, it also preserves type-correctness during code transformations and optimizations, and simplifies and increases the efficiency of interpreters. When implementing a translator from a source DSL with type preservation to a target DSL, the commonly chosen approach requires the incorporation of extensions in the source DSL specific to the target DSL, which, in cases where multiple back-ends are required, obfuscates the source DSL and decreases the overall modularity. We show that by using witnesses, a technique which facilitates the construction of type-level proofs, we can effectively cope with this issue and implement translators without extending the source DSL. We have applied our approach on Copilot, a Haskell-embedded domain specific language for runtime monitoring of hard real-time distributed systems, and used it for implementing two back-ends targeting the Haskell-embedded languages Atom and SBV. Our approach restrains to the Haskell 2010 Standard except for existentially and universally quantified types. #2 title: From High-Level Languages to Monitoring Fault-Tolerant Hardware: Case-Studies of Runtime Verification Using Copilot abstract: Failures of hard real-time systems can be caused by systematic faults in software and hardware, as well as by random hardware faults, and faults due to wear out of hardware components. Even if monitoring software is proven to comply to its specification, there is no guarantee that failing underlying hardware does not affect the monitors themselves. An application of distributed Copilot monitors to a redundant airspeed measurement system is presented. We show the use of monitors enables the system to withstand benign and Byzantine hardware and software faults. The second part of the talk presents current work using Copilot to monitor the MAVLink protocol in flight of a sub-scale model of an Edge 540T aircraft.
end_time nil → 2011-08-16 11:30:00 -0700
id nil → 1250461208
start_time nil → 2011-08-16 10:30:00 -0700
title nil → Tech Talk: Back-to-back talks on Haskell and Embedded Systems
url nil → http://corp.galois.com/blog/2011/8/10/tech-talks-back-to-back-talks-on-haskell-and-embedded-system.html
venue_id nil → 202390439
Change #10344
2011-08-10
15:04:54

create Calagator::Event 1250461207 PDX Programming Workshops Curriculum Meeting Roll back

description nil → Reviewing pre-existing curriculum for our upcoming programming workshop and finalizing our teaching plans.
end_time nil → 2011-08-11 20:30:00 -0700
id nil → 1250461207
start_time nil → 2011-08-11 19:00:00 -0700
title nil → PDX Programming Workshops Curriculum Meeting
url nil → http://pdxtechworkshops.org/
venue_id nil → 202392302
Change #10343
2011-08-09
16:34:29

update Calagator::Event 1250461202 PDX Python Monthly Meeting Roll back

description PDX Python meetup. Then heading to Bailey's to drink and be social. → On deck tonight is Michel Pelletier himself with Michel's Module of the Month: operator. Next up, Eric Holscher will debut/practice one of his DjangoCon 2011 talks: Safely Deploying on the Cutting Edge. We'll round out the evening with lightning talks, so bring your 5-minute hacks, thoughts and rants to share! After the meeting we'll head over to Bailey's Taproom to grab a beverage and continue the Pythonic parley.
locked nil → false
Change #10342
2011-08-09
16:18:46

update Calagator::Event 1250461202 PDX Python Monthly Meeting Roll back

end_time 2011-08-09 21:00:00 -0700 → 2011-08-09 20:00:00 -0700
Change #10341
2011-08-09
13:05:14

create Calagator::Event 1250461206 OCCA Meeting Notice - August, 2011 Roll back

description nil → 6pm-7pm: Networking and no-host dinner 7pm - 8:30pm: "Stump the Geek", "Gadget Minute" and Presentation: DOs and DON'Ts of Mobile Strategy John Battelle recently wrote, "Mobile. It's on everyone's lips, but no one knows what the hell to do about it." You don't have to look very far to find examples that prove his point. Over the last year, Jason Grigsby has been collecting examples of where companies are making mistakes when it comes to their mobile strategies and desperately seeking examples of those who get it. Learn from both the outstanding success and cringe-worthy failures of others as you begin to formulate your plans for navigating the mobile landscape. Bio: Jason Grigsby was one of the project leads on the Obama iPhone Application and helped design the user interface for the Wall Street Journal's Blackberry application. He founded and organizes Mobile Portland, a local mobile group. Jason is a co-founder of Cloud Four, a small start-up focused on mobile and web development. He blogs at http://CloudFour.com/blog and provides a frequent updates about mobile apps @grigs on Twitter.
end_time nil → 2011-08-30 20:30:00 -0700
id nil → 1250461206
start_time nil → 2011-08-30 18:00:00 -0700
title nil → OCCA Meeting Notice - August, 2011
url nil → http://www.occa.org
venue_id nil → 202390284
Change #10340
2011-08-09
12:34:48

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

description Save 25% (use discount code: OTN300) Scrum increases the emphasis on assessing and driving business value through close collaboration with the delivery team. The Scrum Product Owner establishes the interaction between the business and the delivery team that is so essential to increasing productivity within an Agile organization. Product Owners who assume this crucial role have the ability to guide the team and the process to gain the full benefit of Agile delivery. When the capabilities of the Product Owner are optimized, an Agile team will experience immediate benefits that lead to improved effectiveness and customer satisfaction as well as increased return on investment (ROI). Audience: Product Owners, Product Management, Business Analysts, ScrumMasters, Executive Management, Stakeholders Register and learn more: http://oregontrainingnetwork.com/training-topics/agile-product-owner/ → Save 25% (use discount code: LFL300) Scrum increases the emphasis on assessing and driving business value through close collaboration with the delivery team. The Scrum Product Owner establishes the interaction between the business and the delivery team that is so essential to increasing productivity within an Agile organization. Product Owners who assume this crucial role have the ability to guide the team and the process to gain the full benefit of Agile delivery. When the capabilities of the Product Owner are optimized, an Agile team will experience immediate benefits that lead to improved effectiveness and customer satisfaction as well as increased return on investment (ROI). Audience: Product Owners, Product Management, Business Analysts, ScrumMasters, Executive Management, Stakeholders Register and learn more: http://learningforleverage.com/events/scrum-product-owner-certification/
locked nil → false
url http://oregontrainingnetwork.com/training-topics/agile-product-owner/ → http://learningforleverage.com/events/scrum-product-owner-certification/
Change #10339
2011-08-09
12:33:50

update Calagator::Event 1250460756 Certified ScrumMaster Training Roll back

description Save 25% (use discount code: OTN300) Certified Scrum Master (CSM) Training gives you all the tools and information you need to effectively apply Agile Scrum Project Management principles to your project or program. Students will learn how to: * Maintain and use a burndown chart * Manage Product Backlogs * Plan Releases and Iterations (Sprints) * Conduct Sprint Planning, Daily Scrums, Sprint Reviews & Retrospective meetings * Track and Report progress * Effectively apply the principles of the Agile Manifesto This is an introductory course. Participants should come prepared with basic knowledge of the Scrum framework. Proactive students are encouraged to read the Agile Manifesto & Principles (www. agilemanifesto.org and www.agilemanifesto.org/principles.html), and one of the following: * Agile Software Development with Scrum, by Ken Schwaber and Mike Beedle * Agile Project Management with Scrum, by Ken Schwaber Register and learn more: http://oregontrainingnetwork.com/training-topics/agile-scrum-master/ → Save 25% (use discount code: LFL300) Certified Scrum Master (CSM) Training gives you all the tools and information you need to effectively apply Agile Scrum Project Management principles to your project or program. Students will learn how to: * Maintain and use a burndown chart * Manage Product Backlogs * Plan Releases and Iterations (Sprints) * Conduct Sprint Planning, Daily Scrums, Sprint Reviews & Retrospective meetings * Track and Report progress * Effectively apply the principles of the Agile Manifesto This is an introductory course. Participants should come prepared with basic knowledge of the Scrum framework. Proactive students are encouraged to read the Agile Manifesto & Principles (www. agilemanifesto.org and www.agilemanifesto.org/principles.html), and one of the following: * Agile Software Development with Scrum, by Ken Schwaber and Mike Beedle * Agile Project Management with Scrum, by Ken Schwaber Register and learn more: http://learningforleverage.com/events/agile-scrum-master-training/
locked nil → false
url http://oregontrainingnetwork.com/training-topics/agile-scrum-master/ → http://learningforleverage.com/events/agile-scrum-master-training/
Change #10338
2011-08-09
11:35:00

update Calagator::Venue 202392932 Perkins & Co. 1211 SW Fifth Ave, Suite 1000 Portland, OR 97204 Roll back

duplicate_of_id nil → 202391997
events_count 1 → 0
Change #10337
2011-08-09
11:35:00

update Calagator::Event 1250461205 OEN Workshop: Tax Issues for Startups Roll back

venue_id 202392932 → 202391997
Change #10336
2011-08-09
11:31:19

update Calagator::Venue 202391997 Perkins & Co. 1211 SW Fifth Ave, Suite 1000 Portland, OR 97204 Roll back

address nil →
country nil → US
description nil →
email nil →
events_count 1 → 3
id 202392932 → 202391997
latitude nil → 45.5152
locality nil → Portland
longitude nil → -122.6799
postal_code nil → 97204
region nil → OR
street_address nil → 1211 SW Fifth Ave, Suite 1000
telephone nil → 503-222-2270
title Perkins & Co. 1211 SW Fifth Ave, Suite 1000 Portland, OR 97204 → Perkins & Company
url nil →
Change #10335
2011-08-09
11:30:54

create Calagator::Event 1250461205 OEN Workshop: Tax Issues for Startups Roll back

description nil → Does the word "taxes" have you reacting with a blank, questionable stare? When making a list of priorities, startups tend to list taxes right above, "getting a plant service for the office." As with most startups, there may be a significant period of time before the business becomes profitable. However, there are business decisions you make today that can greatly affect your income tax situation in the future. These decisions include what type of entity your company wants to be, where your company wants to be located or even how your company obtains sales. Also, there are other types of taxes besides income, e. g. sales, payroll and B & O, that can distract you from the beginning. David Uslan will help get you through the startup "tax maze" so that you can more effectively focus on growing your startup and be well positioned for long-term success. For more information and to register, visit: http://www.oen.org/events.aspx?id=226
end_time nil → 2011-10-19 18:00:00 -0700
id nil → 1250461205
start_time nil → 2011-10-19 16:00:00 -0700
title nil → OEN Workshop: Tax Issues for Startups
venue_id nil → 202392932
Change #10334
2011-08-09
11:30:54

create Calagator::Venue 202391997 Perkins & Co. 1211 SW Fifth Ave, Suite 1000 Portland, OR 97204 Roll back

events_count nil → 1
id nil → 202392932
title nil → Perkins & Co. 1211 SW Fifth Ave, Suite 1000 Portland, OR 97204
Change #10333
2011-08-09
11:09:00

update Calagator::Venue 202392931 Software Association of Oregon (SAO) Roll back

duplicate_of_id nil → 202390090
events_count 1 → 0
Change #10332
2011-08-09
11:09:00

update Calagator::Event 1250461204 PDX11 Mentor Network Topic #2: Sharing the Reins – Bringing on a Co-Founder Roll back

locked nil → false
title PDX11 Mentor Network Topic #2: Sharing the Reins – Bringing on a Co-Founder → PDX11 Mentor Network Topic #2: Sharing the Reins – Bringing on a Co-Founder
venue_id 202392931 → 202390090
Change #10331
2011-08-09
11:09:00

update Calagator::Venue 202392930 Software Association of Oregon (SAO) Roll back

duplicate_of_id nil → 202390090
events_count 1 → 0
Change #10330
2011-08-09
11:09:00

update Calagator::Event 1250461203 PDX11 Mentor Network Topic #1: Starting Up and Taking Off – Turning an Idea into a Business Roll back

locked nil → false
title PDX11 Mentor Network Topic #1: Starting Up and Taking Off – Turning an Idea into a Business → PDX11 Mentor Network Topic #1: Starting Up and Taking Off – Turning an Idea into a Business
venue_id 202392930 → 202390090
Change #10329
2011-08-09
11:07:59

update Calagator::Venue 202392929 McMenamin's Mission Theater Roll back

duplicate_of_id nil → 202390688
events_count nil → 0
Change #10328
2011-08-09
11:07:59

update Calagator::Event 1250460986 TechIgnite! Roll back

venue_id 202392929 → 202390688
Change #10327
2011-08-09
10:58:49

update Calagator::Source 996334639 http://plancast.com/p/6ri2/pdx11-mentor-network-topic-2-sharing-reins-bringing-co-founder Roll back

imported_at nil → 2011-08-09 10:58:48 -0700
Change #10326
2011-08-09
10:58:49

create Calagator::Event 1250461204 PDX11 Mentor Network Topic #2: Sharing the Reins – Bringing on a Co-Founder Roll back

description nil → Have a great idea or product you want to take to market, and need someone to be your better half? Learn about the process of finding the right co-founder, and hear from some of Portland's own who've been there and done that! Facilitated by Alan Wizemann and Dan Warner, Co-Founders of ShopIgniter.
end_time nil → 2011-08-18 19:00:00 -0700
id nil → 1250461204
source_id nil → 996334639
start_time nil → 2011-08-18 17:30:00 -0700
title nil → PDX11 Mentor Network Topic #2: Sharing the Reins – Bringing on a Co-Founder
url nil → http://www.pdx11.org
venue_id nil → 202392931
Change #10325
2011-08-09
10:58:49

create Calagator::Venue 202390090 SAO (Software Association of Oregon) Roll back

address nil → 111 SW 5th Ave., Suite 120, Portland OR 97204
country nil → US
email nil → [email protected]
events_count nil → 10
id nil → 202390090
latitude nil → 45.5225
locality nil → Portland
longitude nil → -122.6755
postal_code nil → 97204
region nil → OR
street_address nil → 111 SW 5th Ave., Suite 120
telephone nil → 503-228-5401
title nil → SAO (Software Association of Oregon)
url nil → http://www.sao.org
Change #10324
2011-08-09
10:58:48

create Calagator::Source 996334639 http://plancast.com/p/6ri2/pdx11-mentor-network-topic-2-sharing-reins-bringing-co-founder Roll back

id nil → 996334639
url nil → http://plancast.com/p/6ri2/pdx11-mentor-network-topic-2-sharing-reins-bringing-co-founder
Change #10323
2011-08-09
10:57:43

update Calagator::Source 996334638 http://plancast.com/p/6olb/pdx11-mentor-network-topic-1-starting-taking-turning-idea-business Roll back

imported_at nil → 2011-08-09 10:57:41 -0700
Change #10322
2011-08-09
10:57:43

create Calagator::Event 1250461203 PDX11 Mentor Network Topic #1: Starting Up and Taking Off – Turning an Idea into a Business Roll back

description nil → By popular demand, the PDX11 Mentor Network is kicking off a series of topic specific roundtables facilitated by Oregon-based industry leaders. This is the first in a series, and will be facilitated by serial entrepreneur Richard Lazar. Find out more by joining our LinkedIn Group http://www.linkedin.com/groups?home=&gid=3956973&trk=anet_ug_hm&goback=%2Eanp_3956973_1312299735825_1
end_time nil → 2011-08-09 19:00:00 -0700
id nil → 1250461203
source_id nil → 996334638
start_time nil → 2011-08-09 17:30:00 -0700
title nil → PDX11 Mentor Network Topic #1: Starting Up and Taking Off – Turning an Idea into a Business
url nil → http://plancast.com/p/6olb
venue_id nil → 202392930
Change #10321
2011-08-09
10:57:43

create Calagator::Venue 202390090 SAO (Software Association of Oregon) Roll back

address nil → 111 SW 5th Ave., Suite 120, Portland OR 97204
country nil → US
email nil → [email protected]
events_count nil → 10
id nil → 202390090
latitude nil → 45.5225
locality nil → Portland
longitude nil → -122.6755
postal_code nil → 97204
region nil → OR
street_address nil → 111 SW 5th Ave., Suite 120
telephone nil → 503-228-5401
title nil → SAO (Software Association of Oregon)
url nil → http://www.sao.org
Change #10320
2011-08-09
10:57:41

create Calagator::Source 996334638 http://plancast.com/p/6olb/pdx11-mentor-network-topic-1-starting-taking-turning-idea-business Roll back

id nil → 996334638
url nil → http://plancast.com/p/6olb/pdx11-mentor-network-topic-1-starting-taking-turning-idea-business
Change #10319
2011-08-09
09:33:20

update Calagator::Venue 202390688 McMenamin's Mission Theater Roll back

access_notes nil →
address nil →
country nil → US
description nil →
email nil →
events_count nil → 9
id 202392929 → 202390688
latitude nil → 45.5264
locality nil → Portland
longitude nil → -122.6882
postal_code nil → 97209
region nil → Oregon
source_id nil → 996333250
street_address nil → 1624 Nw Glisan St
telephone nil →
title McMenamin's Mission Theater → McMenamins Mission Theater & Pub
url nil →
wifi false → true
Change #10318
2011-08-09
09:32:23

update Calagator::Event 1250460986 TechIgnite! Roll back

venue_id 202390999 → 202392929
Change #10317
2011-08-09
09:32:23

create Calagator::Venue 202390688 McMenamin's Mission Theater Roll back

id nil → 202392929
title nil → McMenamin's Mission Theater
Change #10316
2011-08-08
19:02:01

create Calagator::Event 1250461202 PDX Python Monthly Meeting Roll back

description nil → PDX Python meetup. Then heading to Bailey's to drink and be social.
end_time nil → 2011-08-09 21:00:00 -0700
id nil → 1250461202
start_time nil → 2011-08-09 18:30:00 -0700
title nil → PDX Python Monthly Meeting
venue_id nil → 202392011
Change #10315
2011-08-08
15:34:44

update Calagator::Venue 202392928 World Cup Coffee Roll back

address → 1740 NW Glisan, Portland, OR 97209
events_count 1 → 3
telephone → 503.228.4152
url http://www.worldcupcoffee.com/ → http://worldcupcoffee.com/cafes/glisan
wifi false → true
Change #10314
2011-08-08
15:34:43

update Calagator::Venue 202392928 World Cup Coffee Roll back

access_notes nil →
address nil →
country nil → US
description nil →
email nil →
latitude nil → 45.5262
locality nil → Portland
longitude nil → -122.689
postal_code nil → 97209
region nil → OR
street_address nil → 1740 NW Glisan
telephone nil →
url nil → http://www.worldcupcoffee.com/
Change #10313
2011-08-08
15:32:01

create Calagator::Event 1250461201 Personal Telco Project Weekly Meeting Roll back

description nil → <p>Weekly meeting of the <a href="http://www.personaltelco.net/">Personal Telco Project</a>, a 501(c)(3) non-profit organization located in Portland, Oregon dedicated to the idea that people have a central role in how their networks are operated.</p> <p>Weeklies tend to be very quiet and casual, but all are welcome!</p>
end_time nil → 2011-08-10 20:00:00 -0700
id nil → 1250461201
start_time nil → 2011-08-10 18:30:00 -0700
title nil → Personal Telco Project Weekly Meeting
url nil → http://wiki.personaltelco.net/WeeklyMeeting20110810
venue_id nil → 202392928
Change #10312
2011-08-08
15:32:01

create Calagator::Venue 202392928 World Cup Coffee Roll back

events_count nil → 1
id nil → 202392928
title nil → World Cup Coffee
Change #10311
2011-08-08
14:16:21

update Calagator::Venue 202392302 FlightStats Roll back

access_notes Entrance is between America's Best Contacts and vintage jewelry shop. Sign over the door says "Loyalty," which is the name of the building. <a href="http://bit.ly/qUUkQ1">Photo of entrance</a>. Building entrance and elevators locked after 5:00 pm, employee must provide access. → Entrance is between America's Best Contacts and Antique Jewelry, sign over entrance says "Loyalty Building", photo of entrance: http://bit.ly/qUUkQ1 . Building entrance and elevators locked after 5:00 pm, employee must provide access.
events_count 5 → 6
Change #10310
2011-08-08
14:14:28

update Calagator::Venue 202392302 FlightStats Roll back

access_notes Entrance is between America's Best Contacts and vintage jewelry shop. Sign over the door says "Loyalty," which is the name of the building. Photo of entrance: http://bit.ly/qUUkQ1 . Building entrance and elevators locked after 5:00 pm, employee must provide access. → Entrance is between America's Best Contacts and vintage jewelry shop. Sign over the door says "Loyalty," which is the name of the building. <a href="http://bit.ly/qUUkQ1">Photo of entrance</a>. Building entrance and elevators locked after 5:00 pm, employee must provide access.
Change #10309
2011-08-08
14:14:04

update Calagator::Venue 202392302 FlightStats Roll back

access_notes Locked (office, street level, and elevators) after 5:00 pm. Employee must provide access. Entrance is between America's Best Contacts and vintage jewelry shop. Sign over the door says "Loyalty," which is the name of the building. → Entrance is between America's Best Contacts and vintage jewelry shop. Sign over the door says "Loyalty," which is the name of the building. Photo of entrance: http://bit.ly/qUUkQ1 . Building entrance and elevators locked after 5:00 pm, employee must provide access.
Change #10308
2011-08-08
14:10:41

update Calagator::Venue 202392302 FlightStats Roll back

access_notes Locked (office, street level, and elevators) after 5:00 pm. Employee must provide access. → Locked (office, street level, and elevators) after 5:00 pm. Employee must provide access. Entrance is between America's Best Contacts and vintage jewelry shop. Sign over the door says "Loyalty," which is the name of the building.
Change #10307
2011-08-08
09:29:02

create Calagator::Event 1250461200 Galois tech talk: A Multi-Encoding Approach for LTL Symbolic Satisfiability Checking Roll back

description nil → Presented by Kristin Rozier Formal behavioral specifications written early in the system-design process and communicated across all design phases have been shown to increase the efficiency, consistency, and quality of the system under development. To prevent introducing design or verification errors, it is crucial to test specifications for satisfiability. Our focus here is on specifications expressed in linear temporal logic (LTL). We introduce a novel encoding of symbolic transition-based Buchi automata and a novel, ``sloppy,'' transition encoding, both of which result in improved scalability. We also define novel BDD variable orders based on tree decomposition of formula parse trees. We describe and extensively test a new multi-encoding approach utilizing these novel encoding techniques to create 30 encoding variations. We show that our novel encodings translate to significant, sometimes exponential, improvement over the current standard encoding for symbolic LTL satisfiability checking. Details can be found here: http://ti.arc.nasa.gov/profile/kyrozier/.
end_time nil → 2011-08-10 11:30:00 -0700
id nil → 1250461200
start_time nil → 2011-08-10 10:30:00 -0700
title nil → Galois tech talk: A Multi-Encoding Approach for LTL Symbolic Satisfiability Checking
url nil → http://corp.galois.com/blog/2011/8/8/tech-talk-a-multi-encoding-approach-for-ltl-symbolic-satisfi.html
venue_id nil → 202390439