Women in Computing Sciences (WiCS) and the Husky Game Development Enterprise (HGD) are excited to announce the results of the 8th annual BonzAI Brawl programming contest on Saturday April 11, 2015. Both groups put in hundreds of hours to develop the game and make the Brawl a success. More information about the event is available at: http://bonzai.cs.mtu.edu/
Title: A Tutorial on Theorem Proving in the Prototype Verification System (PVS)
Abstract: This tutorial will be offered for faculty members and graduate students whose research involves any sort of logical reasoning that can be expressed in predicate logic. The Prototype Verification System (PVS) is one of the premier theorem provers developed at the Stanford Research Institute (SRI). This tutorial provides a basic understanding of PBS along with the elementary techniques for formal specification and mechanical verification. PVS has been used in the verification of numerous real-world applications such as mission-critical systems, air traffic management systems, fault-tolerant distributed systems, security protocols, spacecraft autonomy and AI planning.
Organizers: Mr. Amer Tahat (CS), Dr. Ali Ebnenasir (CS), and Dr. Ossama Abdelkhalik (ME-EM).
Time: 4:00 – 5:00 p.m., Dec. 3rd, 4th and 5th
Place: Rekhi 112
Registration: Please send an email to Mr. Amer Tahat at firstname.lastname@example.org. Space is limited, so register early please.
Acknowledgement: The organizers extend their gratitude to the Formal Methods group at NASA Langley for providing technical support. Prerequisites include preliminary knowledge of propositional and predicate logic.
Fulbright Ambassador, Dr. Charles Wallace (CS), will offer a workshop and discuss his experience as a Fulbright Scholar. This presentation will be held Monday, November 17th at 6:00 pm in Fisher 131 as part of International Education Week.
Professor Ching-Kuang Shene (CS) has received $53,396 from NSF through the University of Notre Dame for the first year of a potential two-year research and development project totaling $67, 216, “CGV: Small:Graph-Based Techniques for Visual Analytics of Big Scientific Data.”
World Usability Day (WUD) is an annual event highlighting the importance of humans as participants in technology. In a world where basic infrastructures (including health, education and finance) depend on rapidly changing technologies, World Usability Day organizers call for ways to serve people first.
We are taking the spirit of WUD to the Upper Peninsula with WUD-UP. If you are interested in research, education or service that is associated with human factors, human-centered design, usability, ergonomics or other fields related to humans and technology, you are invited to attend.
Here’s what’s on tap for WUD-UP on Thursday, Nov. 13:
9:30-11a.m.: Tour of the Mind Music Machine Lab
- Meese Building: Indoor wayfinding for the blind; Brain-computer interfaces; Interactive robots for children with autism; Advanced auditory menus
- MEEM 128: Driving research
- EERC 510: Immersive interactive sonification
11 a.m.-2 p.m.: Open House, Humane Interface Design Enterprise (HIDE)
Rekhi 116: Join HIDE members for an open house, which will feature a driving simulator and a new technology that will soon be competing for our attention—the Google Glass.
2-3 p.m.: Lab Tours, Kinesiology and Integrative Physiology (begins at the SDC ticket counter)
- Exercise Physiology Lab: Come try the cycling workstation (integrated exercise bike and computer desk), designed to facilitate increased physical activity and recently featured in the Wall Street Journal.
- Neuromechanics Lab: Get a free report on your segmental body composition, muscle strength and power. You can compare your strength and power with Michigan Tech student-athletes, and you will find our players are very powerful!
- Integrative Physiology Lab: Research in this lab primarily focuses on neural control of circulation in humans. These studies aim to better understand the mechanisms underlying cardiovascular disease and orthostatic hypotension, with the goal of uncovering methods for reducing their incidence.
7-8:30 p.m.: “Cyber-Seniors” Screening and Discussion
East Reading Room, Van Pelt and Opie Library: A humorous and heartwarming feature documentary, “Cyber-Seniors” adds to the important international conversation about the growing generation gap. Focusing on a group of senior citizens who take their first steps into cyberspace under the tutelage of teenage mentors, the film expertly renders a thought-provoking look at a spirited group of men and women who are enriched by digitally reconnecting with their families and each other. Finding their footing rather quickly, the group moves on to compete for the most YouTube views while swiftly building their online inventory of friends.
Following the screening, we will have a discussion of the Cyber-Seniors project and ideas for implementation in the Copper Country. Teachers from the Copper Country Intermediate School District and members of Michigan Tech’s Breaking Digital Barriers group will participate.
From Tech Today, November 11, 2014
Abhilash Kantamneni, a Computer Science Ph.D. candidate, presented research on solar energy in the Upper Peninsula at the Solar Powering Michigan conference. See the complete Michigan Land Use Institute article here.
Also, see the October 2, 2014 Keweenaw Now article about Abhilash Kantamneni’s community presentation at the Keweenaw Research Center.
Kantamneni was also featured in the October 6, 2014 article in Midwest Energy News where he discusses renewable energy options. Kantamneni’s work in solar energy with Michigan Tech’s Keweenaw Research Center has led to a Federal Economic Development Assistance grant in collaboration with CUPPAD. See the associated TV interview about the grant.
Laura Brown and Zhenlin Wang (CS) have received $91,451 of $299,993 from the National Science Foundation for the first year of a three-year research and development project titled “CSR: Small: Collaborative Research: Adaptive Memory Resource Management in a Data Center-A Transfer Learning Approach.”
Associate Professor Charles Wallace (CS) has been chosen as a Fulbright Alumni Ambassador. Fulbright Alumni Ambassadors are selected competitively for two-year terms. During that time, they present information on their Fulbright experience at campus workshops, academic conferences and other venues.
The goal of the alumni ambassadors is to help increase the diversity of the individuals and institutions of higher education that participate in the Fulbright Scholar Program, which sends more than 800 faculty and professionals to teach or conduct research in 125 countries around the world.
The Fulbright programs are supported by the US Department of State. They are named for the late Sen. J. William Fulbright, who served as long-standing chair of the Senate Foreign Relations Committee and established a program of international exchanges after World War II.
Wallace worked as a Fulbright Scholar at Pontificia Universidad Catolica de Chile in Santiago, Chile, during 2010.
World Usability Day, an annual event highlighting the importance of humans as participants in technology, is Thursday, Nov. 13. Michigan Tech is the center of activities for World Usability Day in the Upper Peninsula (WUD-UP).
In a world where basic infrastructures—including health care, education and finance—depend on rapidly changing technologies, WUD organizers call for ways to “serve people first.” This year’s theme is “Engagement: Getting People on Board with an Idea, Earning Trust and Working Toward Mutual Goals.”
If you are involved in research, education or service that is associated with human factors, human-centered design, usability, ergonomics or other fields related to humans and technology, you are invited to participate in WUD-UP. Participants from other institutions are welcome.
For more information, visit WUD UP or contact Charles Wallace at email@example.com.
The Michigan Tech Board of Control granted emeritus rank to Steven Seidel, a professor of computer science, who died in June. Dr. Seidel played a substantial role in the growth of the Computer Science program throughout his career at Michigan Tech.