Personal tools
  •  
You are here: Home Program FCS'10: July 15, 2010 Schedule

FCS'10: July 15, 2010 Schedule

Last modified 2010-07-04 08:22

To select a different schedule CLICK HERE


6:45am - 4:00pm:  REGISTRATION (Second Floor, Conference Lobby: 1-5)


08:00 - 10:40am:  During this period, FCS'10 attendees are encouraged to participate
                  in sessions belonging to FECS'10, CSC'10, PDPTA'10, BIOCOMP'10,
                  GEM'10, MSV'10, & IKE'10. These sessions discuss topics that
                  significantly overlap the scope of FCS'10.


SESSION 3-FCS:    QUANTUM COMPUTING + AUTOMATA + TURING MACHINES
                  Chair: Dr. J. F. Nystrom, Ferris State University, USA
                  July 15, 2010 (Thursday); 10:40am - 11:40am
                  (LOCATION: Silver Room)

10:40 - 11:00am:  A Characterization of the Chomsky Hierarchy by String Turing Machines
                  Hans Werner Lang
                  Flensburg University of Applied Sciences, Germany

11:00 - 11:20am:  Understanding Quantum Networking: Where Are We and What Can We Expect?
                  Charles Balch
                  Arizona Western College, Arizona, USA;
                  Northern Arizona University-Yuma, Arizona, USA

11:20 - 11:40am:  Simulation vs. Equivalence
                  Zoltan Esik and Andreas Maletti
                  University of Szeged, Hungary;
                  Universitat Rovira i Virgili, Tarragona, Spain


SESSION 4-FCS:    THEORY + PROOF + VERIFICATION METHODS
                  Co-Chairs: Prof. Richard Borie* and Ben Bovee**
                  *University of Alabama, USA
                  **Patterndigm, USA
                  July 15, 2010 (Thursday); 11:40am - 01:00pm
                  (LOCATION: Silver Room)

11:40 - 12:00pm:  Formalization of Probability and Random Sampling on a Finite
                  and Discrete Sample Space Using the Mizar Proof Checker
                  Kenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki
                  Shinshu University, Japan

12:00 - 12:20pm:  Operation Expression: a Way to Verified Software
                  Chongyi Yuan, Wen Zhao, Yu Huang
                  Peking University, Beijing, P. R. China

12:20 - 12:40pm:  Optimal Tradeoff
                  Raihan Al-Ekram and Ric Holt
                  University of Waterloo, Canada

12:40 - 01:00pm:  Study on Typical Load Pattern in Power System and Bad Data Processing
                  Li Liu and Denghui Zhai
                  Shenyang Institute of Engineering, Shenyang, P. R. China;
                  Shenyang Polytechnic University, Shenyang, P. R. China


01:00 - 06:00pm:  During this period, FCS'10 attendees are encouraged to participate
                  in sessions belonging to FECS'10, CSC'10, PDPTA'10, BIOCOMP'10,
                  GEM'10, MSV'10, & IKE'10. These sessions discuss topics that
                  significantly overlap the scope of FCS'10.



To select a different schedule CLICK HERE


Administered by UCMSS
Universal Conference Management Systems & Support
San Diego, California, USA
Contact: Kaveh Arbtan

If you can read this text, it means you are not experiencing the Plone design at its best. Plone makes heavy use of CSS, which means it is accessible to any internet browser, but the design needs a standards-compliant browser to look like we intended it. Just so you know ;)