|
|||
| ARGONNE HOME PAGE | ARGONNE INTRANET | NEWS HOME PAGE | BACK ISSUES |
|
|
|||
| ARGONNE HOME PAGE | ARGONNE INTRANET | NEWS HOME PAGE | BACK ISSUES |
Senior scientist William McCune (MCS) will receive the 2000 Herbrand Award for exceptional contributions to the field of automated deduction.
The award is given by the Conference on Automated Deduction (CADE) Inc. to honor exceptional contributions to the field.
McCune was cited for his outstanding success in answering the Robbins question, which had challenged mathematicians and logicians for six decades, and for his design of the powerful program Otter, which has become a benchmark for automated deduction programs.
McCune's contributions to the field also include powerful inference rules and numerous new strategies that have dramatically increased the likelihood of finding a proof.
McCune is without peer in answering open questions in such diverse areas as combinatory logic, group theory, algebra and logic calculi. Most recently, he has ventured into yet another area of automated deduction: program verification.
The Herbrand Award will be presented at CADE-17, a conference to be held in Pittsburgh in June. The award is named for French mathematician Jacques Herbrand (1908-1931) who developed an important theorem in mathematical logic with applications to theorem-proving by computer.
CADE is the major international forum at which research on all aspects of automated deduction is presented. The first conference was held in 1974. CADE Inc. is a subcorporation of the Association of Automated Reasoning.
The Robbins problem, which has puzzled mathematicians and logicians for more than 60 years, was solved in 1997 by automated reasoning software developed by William McCune (MCS).
The Robbins problem deals with Boolean algebra -- a mathematical model of some of the basic rules of logic and thought. Robbins asked whether one set of rules is powerful enough to capture all of the laws of Boolean algebra.
One way to state the Robbins problem in mathematical terms is to ask if the equation "not(not(P))=P" can be derived from the following three equations:
1. P or Q = Q or P,
2. (P or Q) or R = P or (Q or R),
3. not(not(P or Q) or not(P or not(Q))) = P.
With the development of new automated reasoning techniques, Argonne's software succeeded in solving the Robbins problem -- the answer is "yes." More than eight days of computer time was required to solve the problem.
Argonne-West's Women in Science and Technology will enter a team in the annual American Cancer Society's Relay for Life.
The Relay for Life is an overnight run to raise money to fight cancer and provide services to cancer patients and their families.
The run will take place at Idaho Falls High School's Ravsten Stadium Friday, July 21, starting at 6 p.m. and continuing until noon the next day.
A Cancer Survivors Lap opens the relay. In the evening, lighted luminaries decorated with the names of cancer survivors and those lost to cancer are placed around the track to light the way for the race.
Argonne-West team members listed below can be contacted for more information about the relay and will accept donations to the American Cancer Society.
Team members hope to collect the majority of donations by the end of June.
Kelly Lively, ext. 3-7388
Dawn Davidson, ext. 3- 7424
Hope Forsmann, ext. 3- 7944
Linda Hansen, ext. 3- 7640
Dawn Fringley, ext. 3- 7779
Maxine Klossner, ext. 3- 7296
Rita Osment, ext. 3-7109
Amy Powell, ext. 3-7259
Joy Rule, ext. 3-7564
Jennifer Turnage, ext. 3- 7716
Robin Stewart, ext. 3- 7554
The 49th annual Argonne-West employee picnic will be held at Heise Park on Saturday, July 22.
Volunteers are needed to help make the picnic a success. Call JoAnn Merrill at ext. 3-7809, Kris Statham at ext. 3-7449 or Serena Rolfe at ext. 3-7079.
Volunteers are needed for this year's Argonne-East employee picnic, to be held Saturday, July 8, from 10:30 a.m. to 3 p.m. at Argonne Park.
About 50 volunteers are needed to run the games, hand out prizes and get wet in the dunk tank. Employees can volunteer for an hour. In return, volunteers will get a free T-shirt.
The theme of this year's picnic is "Fun in the Sun." Activities will include a 30-foot climbing wall, a petting zoo and a nine-hole miniature golf course A band will also play a variety of music.
The employee picnic is sponsored by the Argonne Club and Sodexho Marriott. Admission is free for Argonne, University of Chicago and U.S. Department of Energy employees.
Employees interested in volunteering should call Stan Reinke (ECT-EE) at ext. 2-6957.
Argonne-West employees can take part in a state-of-the-art health program called STEPs, now being offered by the Idaho National Engineering and Environmental Laboratory Occupational Health Promotion Program.
STEPs is designed to assess an individual's current health status and help tailor a program that may include physical activity, nutrition, weight management, stress management, smoking cessation or strength training.
To begin, pick up a survey at the Argonne-West Medical Dispensary. Return the completed survey to the Occupational Medical Health Promotion Program at Mail Stop 3125.
Each participant will receive a summary hard copy report with recommendations for action. Various assessment tools and exercises will be used to measure progress; participants will be asked to submit them periodically.
Those completing the initial survey will receive a "Living Well" neck lanyard for carrying their security passes. Those who document and accomplish their goals will receive a wind shirt.
The STEPs program will continue through December, allowing each participant time to begin and proceed at his or her own pace.
For more information about this program, call Tamara Hobbes at ext. 3-7210 or Laurie Eldredge at ext. 2-7219.
Argonne-East employees will showcase their talents at a variety show Thursday, June 22, at 7 p.m. in the Advanced Photon Source Conference Center Auditorium. Admission is $3 at the door.
Scheduled acts include a gospel choir, a banjo player, a classical guitarist and karaoke singers.
The show is sponsored by Argonne Club and Sodexho Marriott.
Dinner is available at the Argonne Guest House before the show. No reservations are needed. For $22, diners have their choice of roasted prime rib of beef, chicken Marsala or grilled swordfish. The fee includes salad, coffee, tea, tax and gratuity.
The Argonne-East pool is now open for the summer. A special employees-only swim period is offered each weekday from 11:30 a.m. to 1 p.m. for $1 per person.
Open swim periods are from 1 p.m. to 8 p.m. weekdays and 11 a.m. to 7 p.m. on weekends. Cost is $3 for adults and $2 for children under 12.
Family season tickets are $95 per family. Individual season tickets are $50.
Swimmers must provide their own towels. Flotation devices are not allowed in the pool area, and children under 12 must be accompanied by an adult.
Swim lessons
Youth swim lessons begin Monday, June 19, at 9 a.m. The schedule comprises three, two-week sessions of eight lessons. The cost is $26 per session per child. Lesson tickets may not be used for open swim periods.
Lesson registration and tickets sales can be arranged at the Argonne Pool. For more information, call ext. 2-7602.
Swim lesson schedule
Session 1: June 19 - June 29
Session 2: July 10 - July 20
Session 3: July 24 - Aug. 3
Times
Intermediate: 9 a.m. - 9:30 a.m.
Intermediate/Beginner: 9:45 a.m. - 10:15 a.m.
Beginner: 10:30 a.m. - 11 a.m.
Representatives of the laboratory's retirement vendors will visit Argonne-East during July to meet individually with employees and answer questions about retirement plans and assets.
To schedule an appointment, call the number listed. Prudential appointments are for one-half hour each.
| Vendor | Day | For Appointments, call |
| Prudential | Wednesday
July 5, 12 and 19 |
Cheryl
(847) 619-3519 |
| Fidelity | Tuesday
July 11 and 18 |
Appointment Desk
(800) 642-7131 |
| TIAA-CREF | Monday, July 24
and Tuesday, July 25 |
(800) 842-2005 |
The Argonne Running Club's Red Dress Run will return to Argonne-East Wednesday, June 21, and as in previous years, runners of both sexes will don their best red dresses for the event.
Billed as "more of a social event than a race," participants can take part in either a three-mile run or a two-mile walk, followed by refreshments and a raffle. All runners and walkers are welcome to participate but only those in red dresses are eligible for raffle prizes.
For more information, call Karl Grimm at ext. 2-6721 or Laurie Culbert at ext. 2-7658.
Photos from previous Red Dress Runs are posted on the Argonne Running Club Web page at http://chemistry.anl.gov/ARC.
Electronics and Computing Technologies will offer several computer software classes during July.
Unless otherwise noted, classes will be held in Building 221, Room A142, are limited to 10 participants and cost $195.
Full class descriptions and schedules are available on-line at http://www.anl. gov/ECT/courses/. For more information, call Diane Cavazos (ECT) at ext. 2-7153 or send e-mail to dkcavazos@anl.gov.
Microsoft Outlook 2000 (ECT377) -- Monday, July 10,
8:30 a.m. _ 4:30 p.m.
Introduction Word 2000 (ECT369) -- Tuesday,
July 11, 8:30 a.m. _ 4:30 p.m.
Introduction Access Version 2000 (ECT371) --
Thursday, July 13, 8:30 a.m. _ 4:30 p.m. Class size limited to eight.
Introduction Excel 2000 (ECT370) -- Wednesday,
July 12, 8:30 a.m. _ 4:30 p.m.
Introduction to PowerPoint 2000 (ECT372) --
Friday, July 14, 8:30 a.m. _ 11:30 a.m. Cost: $135.
Intermediate PowerPoint 2000 (ECT373) --
Friday, July 14, 1:30 p.m. _ 4:30 p.m. Cost: $135.
Stories, seminar listings and classified ads for the July 10 issue of Argonne News must be submitted by 5 p.m. Friday, June 30, due to the Independence Day holiday.
The regular deadline of 5 p.m. Monday will resume the following week.
Service Awards for June include:
45 Years
John Clyde Tezak (ET).
40 Years
Benny E. Clifft (PHY), Peggy J. Leggett (EQO), Mary J. MacIntyre (PFS), Kenneth E. Resh (ECT), James G. Riha (ESH), Sherman D. Smith (ES).
35 Years
Robert D. Baldwin (RE), John R. Krsul (ED), Ronald N. Lanham (ET), Frank R. Lenkszus (ASD), Jeanne L. Riley (PFS), Bruce A. Stejskal (ASD).
30 Years
John D. B. Lambert (ED), John I. Sackett (ERA).
25 Years
Linda S. Atkinson (PFS), Ronald Gray Bucher (TD), James E. Cahalan (RA), David A. Compton (PFS), John R. Gasper (EA), Frank J. Janca, Jr. (PFS), Paul L. Johnson (CMT), Kimberly A. Martens (HR), Janice K. Muller (CMT), James H. Norem (HEP), William J. Shack (ET).
20 Years
Bruce R. Adams (OD), Ronald J. Briggs (ED), Patrick A. Cawley (RPS), Michael N. Davis (OD), Jack R. Endecott (RPS), Nachappa Gopalsami (ET), David W. Krekel (RPS), Kenneth M. Marcheschi (PFS), Brian W. Massa (OD), Lester R. Morss (CMT), Kerri R. Schroeder (IPD), Randy K. Shiosaki (OD), Jose A. Torres (AOD), Richard C. Winter (DIS).
15 Years
Julie Gotchie (HR), Michael J. Holzemer (NT), L. Todd Winter (DIS).
10 Years
Dale E. Alexander (MSD), Thomas B. Baines (DIS), Thomas S. Bakes (OD), Susan Benson (EA), William J. Berg (AOD), Laurie L. Brownson (RPS), Jing-Jy Cheng (EA), Marilee Christensen (RPS), Patricia K. Frankovich (EQO), Thomas Grabinski (ASD), Ronald T. Kmak (TD), Richard T. Longman (RE), Robert B. McComb (PFS), Michael W. McDowell (ASD), Victoria R. Mentgen (OCF), Marcy T. Morgan (OD), Leonard H. Morrison (ASD), John F. Sidarous (AOD), John B. Stoffel (AOD), Guy M. Strayer (OD), Kathryn M. Vana (OCF), William M. Walsh (OCF), Scot R. White (OD).
5 Years
James F. Burke, Jr. (DIS), Alexander Cours (ASD).
