Cross posting this ACM talk as it's on programming, and Bill thought it would be off interest to quite a number of folks in this group.
-Sean
--
__________________________________________________________________
Sean Dague Mid-Hudson Valley
sean at dague dot net Linux Users Group
http://dague.net http://mhvlug.org
There is no silver bullet. Plus, werewolves make better neighbors
than zombies, and they tend to keep the vampire population down.
__________________________________________________________________
--- Begin Message ---
ACM Meeting, Mon, Nov 16. Jim Kukula on "Satisfiability: Applications and Algorithms"
For a calendar of technical society meetings in the
Mid-Hudson Valley go to http://pok.acm.org/calendar.html.
Poughkeepsie Chapter of the Association For Computing Machinery
aaa ccccccc mmmmm mmmmm
a a cc cc mm mm mm mm
aa aa cc c mm mm mm mm
aaaaaaaaa cc mm mmm mm
aa aa cc c mm m mm MEETING NOTICE
aa aa cc cc mm mm
aa aa cccccccc mm mm
Program: Satisfiability: Applications and Algorithms
Speaker: Jim Kukula, [email protected]
Research Methodology Consultant
About the Topic:
Boolean algebra is surely one of the simplest mathematical
systems possible, yet it is the foundation of the modern
computing revolution. Deciding the satisfiability of a Boolean
formula is the central computational challenge of Boolean
algebra, and the paradigm NP-Complete problem. Many practical
engineering problems can be cast as satisfiability problems.
There are still remarkably small problem instances that stump
even the best algorithms, but continuing advances have enabled
solution of many practical large instances. Satisfiability
decision procedures have been incorporated into standard
engineering practice. This talk will survey some key
applications and algorithms.
About the Speaker
After studying physics in college, Jim went on to a career in
Computer Aided Design (CAD). At IBM from 1982 to 1992 he worked
on Boolean equivalence checking, parallel processing, and CAD
database design. His work at Synopsys, from 1996 to 2007,
centered on model checking algorithms. He won a Best Paper Award
at the Design Automation Conference and served as an Associate
Editor for IEEE Transactions on CAD.
When: 7:30 pm, Monday, Nov 16, 2009
Where: Ulrich Room, Dyson Hall
Marist College, Route 9, Poughkeepsie, NY
Directions: Building 7 on the map at
www.marist.edu/welcome/map.html
Parking: Parking, on campus, on the west side of Route 9 can
be difficult. It may be easier to park on the east
side of Route 9, across from Building 25 on the
Marist campus map at www.marist.edu/about/map.html.
Cost: Free and open to the public
Dinner: 6 pm, Palace Diner,
194 Washington Street, POK, 845.473.1576
Menu: www.thepalacediner.com/menu_pg.htm
All are welcome to join us for dinner. (Go north on the Route
9 Arterial to the St. Francis Hospital exit, turn right, turn
right again. The Palace is one block further along on the
right.)
We thank Marist College for hosting the chapter's meetings.
Refreshments are served after the meeting. For further
information, email [email protected] or call 845.522.1971.
P - L - E - A - S - E P - O - S - T
--- End Message ---
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Mid-Hudson Valley Linux Users Group http://mhvlug.org http://mhvlug.org/cgi-bin/mailman/listinfo/mhvlug Upcoming Meetings (6pm - 8pm) MHVLS Auditorium Dec 2 - MythTV Jan 6 - Git
