Meetings

Proof General Proof General- Comprehensive Gnu-Emacs and XEmacs interface for several theorem provers including Coq, Isabelle, Lego, and Phox. DC Proof Online DC Proof Online- New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms… llprover llprover- A linear logic prover that searches a cut-free proof for the given two-sided sequent of first-order linear logic. Gateway to Logic Gateway to Logic- A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and operate on prop… Tree Proof Generator Tree Proof Generator- An implementation of the semantic tableaux method for classical propositional and predicate logic, written in JavaScript/DOM. PVS PVS- The PVS Specification and Verification System. Available for Sparc machines with Solaris 2 and Intel x86 Machines with Linux compatible with Redhat 5 or later. Required is Em… LOOM LOOM- A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at the University of Southern Ca… ProofPower ProofPower- A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation. Isabelle Isabelle- A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). Includes logic, documentation and free download. MUltlog MUltlog- Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and clause formation rules for this l… MUltseq MUltseq- A generic sequent prover for propositional finitely-valued logics. LWB LWB- Logics Workbench. ACL2 Version 2.7 ACL2 Version 2.7- A programming language in which you can model computer systems and a tool to help prove properties of those models. Available under GPL and runs on various platf… Custom Biogenic Systems: Freezer Racks Custom Biogenic Systems: Freezer Racks- Manufacturer and supplier of laboratory freezer racks used for storing and organizing biological samples in both mechanical and cryogenic f… ATGC Labs ATGC Labs- Supplies ezFreezer software which provides researchers with a solution for tracking valuable laboratory samples and specimens stored in freezers. FreezerPro FreezerPro- Frozen samples tracking software. Helps the user to know where a frozen sample is located even before opening the freezer door. CryoPort Dry Vapor Shipper CryoPort Dry Vapor Shipper- Manufacturer and distributor of temperature-sensitive, frozen packaging containers for the shipping of biological items, especially the CryoPorter, for… Biogenics Biogenics- Supply and service of instruments and equipment for the cryobiological specialty sciences and the fields of assisted reproductive technologies. Sales reps for most of t… CryoLogic Pty. Ltd. CryoLogic Pty. Ltd.- Makes Freeze Control cryopreservation systems for biotic tissue samples, and BioTherm portable incubators. Represented in many countries. Home: Mount Waverley… Asymptote Ltd. Asymptote Ltd.- Produces products and technology to control solidification: freezing and crystallizing. Information and products in areas of cryopreservation for IVF, bulk cell cr… Linkam Scientific Instruments Ltd. Linkam Scientific Instruments Ltd.- Heating/freezing stages for microscopy, covering the widest temperature range from -196°C to 1500°C. Cryo Bio System Cryo Bio System- Products and systems for the cryo-preservation of biological samples at very low temperature, Assisted Reproduction Technologies (ART) and fertility. In Paris, Fr… Cloning of Human Stem Cells Speeds Up Cloning of Human Stem Cells Speeds Up- Introduction to an article describing work on patient specific cloning of stem cells. Seoul National University, South Korea. Stem Cell Treatments Stem Cell Treatments- Wikipedia article providing information on this type of genetic medicine that introduces stem cells into damaged tissue in order to treat a disease or injury. ABC News: Finnish Patient Gets New Jaw from Own Stem Cells ABC News: Finnish Patient Gets New Jaw from Own Stem Cells- Report that a bone transplant had been grown inside a patient from his stem cells, opening up new ways to treat severe … Stem Cells Portal Stem Cells Portal- Aims to support stem cell research labs and societies worldwide, by offering access to a broad array of resources in one central location, and to aid in collabo… All Things Stem Cell All Things Stem Cell- A blog aiming to explore stem cell history, harvesting methods, uses in regenerative medicine, potential problems and recent news. Chxa Chxa- Explains what stem cells are, the difference between embryonic and adult stem cells, the function of bone marrow and its transplantation. Stem Cell News Blog Stem Cell News Blog- A collection of articles about stem cells and research. Stem Cells News Stem Cells News- Provides details about recent stem cell research.