Pictures of Participants in the JML Project

The following pictures are a taken of some of the participants in the JML project. More pictures are available from the participants's web sites.

If you have a picture of your research group or some other picture that you'd like to share we'd be happy to have it on this page. Assuming you are a developer on the sourceforge.net jmlspecs project, you can update the CVS for this web page by checking out the module named web and commiting changes to the pictures.shtml file. You can either put in a link to a picture on your group's web site, or add the picture itself to the images directory. If you add the picture itself, use the -kb flag, so it's binary in CVS.

Pictures from the Shonan JML Workshop held May 2013 in Japan

A workshop on JML was held at the NII Shonan Meeting Center in Hayama, Japan, May 13-16, 2013, which provided the following pictures from the excursion taken on May 15 in Kamakura.

Participants with tour guides (holding flags) in front of the Great Budda.

Participants at the Hasedera temple on the coast.

Participants at the Hasedera temple on the coast.

Participants at the Hachimangu Shrine.

Participants at the banquet.

Participants at the banquet.

Secret Ninjas at FM 2008

Joe Kiniry giving his talk as a "Secret Ninja" at FM 2008 (photo by Carroll Morgan).

Joe Kiniry as a Secret Ninja

JML Winter School, February 23-24, 2008

Participants at the JML Winter School, held at the Harris Center on the Campus of the University of Central Florida, on February 23-24, 2008. From left to right, Dermot Cochran, Gary T. Leavens, Amritam Sarcar, Steve Shaner, Ghaith Haddad, Daniel Zimmerman, Robby, and Jooyong Lee. Photo courtesy of Perry James.

Participants at the JML Winter School

Participants at the JML Winter School, February 23-24, 2008. From left to right, Gary T. Leavens (standing), Amritam Sarcar, Steve Shaner (standing), Ghaith Haddad, Perry James (standing), Daniel Zimmerman, Robby, and Jooyong Lee. Photo courtesy of Perry James.

Participants at the JML Winter School

Attendees at the JML Winter School, February 23-24, 2008. From left to right, Dermot Cochran, Daniel Zimmerman, Robby, Jooyong Lee, Patrice Chalin, Gary T. Leavens, Steve Shaner, Amritam Sarcar, and Ghaith Haddad. Photo courtesy of Perry James.

Attendees at the JML Winter School

The teachers at the JML Winter School, February 23-24, 2008, Perry James (left) and Patrice Chalin (right). Photo courtesy of Gary T. Leavens.

Perry James (left) and Patrice Chalin (right)

Robby, with his new Macbook Air, and Jooyong Lee at the JML Winter School, February 23-24, 2008. Photo courtesy of Gary T. Leavens.

Robby (left) and Jooyong Lee (right)

Ghaith Haddad (left) and Amritam Sarcar (right) at the JML Winter School, February 23-24, 2008. Photo courtesy of Gary T. Leavens.

Ghaith Haddad (left) and Amritam Sarcar (right)

Esc/Java2 Developers

Joesph Kiniry (left) and David R. Cok (right) checking a slice of carrot cake in a brewpub in Seattle, in 2006. Photo courtesy of Perry James.

Joseph Kiniry and David Cok

David R. Cok

Pictures of David R. Cok, an independent contributor, in between Gary T. Leavens (on the left), and Curtis Clifton (on the right), taken December 1, 2004.

Gary Leavens, David Cok, Curt Clifton


Gary Leavens, David Cok, Curt Clifton

ISU Group, 2002

The ISU group in 2002 (without Clyde Ruby). From left to right: Yoonsik Cheon, George Ushakov, Curtis Clifton, Gary T. Leavens, Tongjie Chen.

Yoonsik Cheon, George Ushakov, Curtis Clifton, Gary Leavens, Tongjie Chen

Last modified Friday, June 27, 2014.