* Metamath-a language for developing strictly formalized mathematical definitions and proofs accompanied by a proof checker for this language and a growing database of thousands of proved theorems ; while the Metamath language is not accompanied with an automated theorem prover, it can be regarded as important because the formal language behind it allows development of such a software ; as of March, 2012, there is no " widely " known such software, so it is not a subject of " automated theorem proving " ( it can become such a subject ), but it is a proof assistant.

After a long history as proprietary software, it was released as free software on 6 August 2012, under the GNU Lesser General Public License.

On August 6, 2012, CDE was freed under the LGPL free software license. Its source code is available at SourceForge.

On August 9, 2012, Digia acquired Qt software technologies from Nokia.

The division admitted in July 2012 to providing engines and engine software for China's first attack helicopter, the Z-10.

On 24 July 2012, Cisco received approval from the EU to acquire NDS ( a TV software developer ) for USD 5 billion.

In June 2012, SourceForge released its underlying software, named Allura, under the Apache license and submitted it to the Apache foundation for incubation.

For example, an online futures market called the Future of IT Jobs in America attempts to answer whether there will be more IT jobs, including software engineers, in 2012 than there were in 2002.

* On Friday February 24, 2012 Dell acquired Backup and Disaster Recovery software solution AppAssure Software of Reston, VA. AppAssure delivered 194 percent revenue growth in 2011 and over 3500 % growth in the prior 3 years.

* Corel AfterShot Photo management software, based on Bibble ( software ) after the acquisition of Bibble Labs in 2012.

On June 11, 2012, Apple released a developer preview of Safari 6. 0 with a feature called iCloud Tabs, which allows users to ' sync ' their open tabs with any iOS or other OS X device running the latest software.

In what was seen as an unusual step for a maker of high-end business software, Autodesk began offering AutoCAD LT 2012 for Mac through the Apple Mac App Store.

While initially the series focused on software and technology topics ( and still does ), it later branched out to more general-interest titles, with topics as diverse as Acne For Dummies, Chess For Dummies, Fishing For Dummies and many other topics, including recent legal topics with Success as a Mediator For Dummies in 2012.

In August, 2012, the project unveiled a new website, reportedly to serve as a platform for all future news releases and software downloads.

* SNK Playmore Philippines Corporation handles software sales in the Asia .< ref >"< nowiki > NEOGEO Group </ nowiki >" SNK Playmore Official website, accessed Launch January 10, 2012 Opening .</ small ></ ref >

: On March 2, 2012 Symantec completed the acquisition of Odyssey Software ( Mobile Device Management ), whose main product was-Athena, a device management software that extends Microsoft System Center solutions, adding the ability to manage, support, and control mobile and embedded devices, such as smartphones and ruggedized handhelds.

It was awarded again at linux. conf. au 2012 based on nominations from the free software and open source communities.

In 2012 Royal Bank of Scotland Group, a UK banking group, told journalists it was considering legal action against CA as a consequence of large scale disruption in payment processing identified as having a root cause in the CA-7 mainframe job workflow and scheduling software provided by CA.

However, on July 3, 2012, the European Court of Justice ruled that it is indeed permissible to resell software licenses even if the digital good has been downloaded directly from the Internet, and that the first-sale doctrine applied whenever software was originally sold to a customer for an unlimited amount of time, as such sale involves a transfer of ownership, thus prohibiting any software maker from preventing the resale of their software by any of their legitimate owners.

Caltech was ranked first in the 2011 – 2012 Times Higher Education worldwide rankings of universities as well as ranking first in physical science and engineering.

On July 27, 2012 engineering services provider Royal HaskoningDHV announced that the Nicaraguan government has commissioned a feasibility study to be completed early 2013 at a cost of $ 720, 000.

In the 2012 U. S. News graduate school rankings, Stanford also placed in the top 5 for every discipline in which it was ranked, except industrial engineering, where it placed, and fine arts, where it placed.

SU is organized into 13 schools and colleges, with nationally recognized programs in information studies and library science, architecture, communications, business administration, public administration, engineering and the College of Arts and Sciences. The Foundation for Individual Rights in Education, or FIRE, listed Syracuse University as 2nd among the " 12 Worst Colleges for Free Speech in 2012 ".

As of 2011, the institute has been ranked first in its category ( engineering colleges whose highest degree offered is a Bachelors's or Master's ) by U. S. News & World Report for 13 consecutive years ( 2000 – 2012 ).

Continuing its mission as an engineering pioneer, Louisiana Tech will launch the nation's first cyber engineering BS degree in 2012.

Louisiana Tech launched the nation's first cyber engineering BS degree in 2012.

In the 2012 rankings of the top engineering schools in the world by Business Insider, the university ranked 29th in the world, and first in Canada.

As of July 2012, Microsoft Academic Search website ranks NTU's overall engineering, according to the number publications and H-Index criteria, as the world's 12th since the last 10 years.

New academic programmes include the dual-degree Renaissance Engineering Programme that melds engineering with business to groom future CEOs and CTOs ; new double degree programmes ; a new undergraduate degree programme in Earth and Environmental Sciences ( to be offered from 2012 ); and the much-anticipated undergraduate medical degree programme with Imperial College London at the Lee Kong Chian School of Medicine in 2013.

The rankings are based solely on a survey of engineering deans and senior faculty at all programs accredited by ABET ( formerly known as Accreditation Board for Engineering and Technology ), conducted during the spring of 2012.

In the 2012 rankings of the top engineering schools in the world by Business Insider, the University ranked 44th, third in Canada.

Also in 2012, the magazine Business Insider ranked Technion among the top 25 engineering schools in the world.

In India, among engineering colleges, it ranked # 3 by Outlook India in 2012, and # 1 by Dataquest in 2011.

Following the November, 2011 Spanish General Election, on June 1, 2012 the new conservative Popular Party government of Mariano Rajoy reopened the monument to the public with the exception only of the base of the cross, in the past accessible by cable car or on foot, which will remain closed to ascent while the sculptures of the four apostles and the cardinal virtues forming part of the base of the cross are presently under engineering review and restoration for cracks and other deterioration.

In its 2011 and 2012 surveys amongst human resources officers, the Wirtschaftswoche business magazine consistently ranked RWTH Aachen the first in Germany in mechanical engineering, electrical engineering, industrial engineering and natural sciences, with computer science being ranked third in 2011 and second in 2012.

The granite Foundation ( engineering ) | foundation of The Tombs uncovered during reconstruction of Collect Pond Park in early 2012.

In 2012, the University was ranked 72 between 9. 500 schools of engineering in the world according to their impact factor in the last 5 years ( Microsoft Academics ), as the latinoamerican university with the largest normalized impact factor, and as the first school of engineering in South America.

The 84th Academy Awards, honoring films in 2011, was held at the Dolby Theatre on February 26, 2012.

Since 30 June 2012 when the last leap second was added, TAI has been exactly 35 seconds ahead of UTC.

In the beginning of April 2012, when a new military Coup d ' état was under preparation, the Angolan regime decided to withdraw its military mission from Guinea-Bissau.

NASA's planned Space Interferometry Mission ( SIM PlanetQuest ) ( now cancelled ) was to utilize astrometric techniques to detect terrestrial planets orbiting 200 or so of the nearest solar-type stars, and the European Space Agency's GAIA ( due to launch in 2012 ), which will be applying astrometric techniques in its stellar census.

As of May 2012 a private member's bill was before the House of Lords which would grant Turing a statutory pardon if enacted.

Furthermore, it was subject to relativity and thus was not constant for all observers, therefore, in 2012, the IAU redefined it again to just simply be.

With the definitions used before 2012, the astronomical unit was dependent on the heliocentric gravitational constant, that is the product of the gravitational constant G and the solar mass M < sub >☉</ sub >.

The 1976 definition of the astronomical unit was incomplete, in particular because it does not specify the frame of reference in which time is to be measured, but proved practical for the calculation of ephemerides: a fuller definition that is consistent with general relativity was proposed, and " vigorous debate " ensued until in August 2012 the International Astronomical Union adopted the current definition of 1 astronomical unit = 149597870700 meters.

The second generation was led by Fernand Braudel ( 1902 – 1985 ) and included Georges Duby ( 1919 – 1996 ), Pierre Goubert ( 1915 – 2012 ), Robert Mandrou ( 1921 – 1984 ), Pierre Chaunu ( 1923 – 2009 ), Jacques Le Goff ( 1924 – ) and Ernest Labrousse ( 1895 – 1988 ).

< li > On June 15, 2012, a working Apple I was sold at auction by Sotheby's for a record $ 374, 500, more than double the expected price .</ li >

Selkirk, el verdadero Robinson Crusoe, a stop motion film by Tournier Animation based on Alexander Selkirk's life was premiered simultaneously in Argentina, Chile and Uruguay on 2 February 2012.

ASU's undergraduate program is ranked 65th for public universities and 132nd of 280 " national universities " by the 2012 US News and World Report ranking of US colleges and universities ; and, for the fourth year in a row, ASU was ranked in the top 10 for " Up and Coming " universities in the US, for substantial improvements to academics and facilities.

Erickson was also fired in 2012, and replaced by Todd Graham.

* 2012 – The Oak Creek shooting took place at a Sikh temple in Oak Creek, Wisconsin, killing six people ; the perpetrator was shot dead by police.

In September 2011 it was announced that production of the Rapide would be moved to the company's factory in Gaydon, production will begin in the second half of 2012 and will see all of the current Aston Martin range produced from the Gaydon facility.

20 Sept. 2012 < http :// www. newadvent. org / cathen / 01132c. htm Adam was accepted among the capitulars of Bremen, and by 1069 he appeared as director of the cathedral's school.

On 9 February 2012, Steinsaltz was honored by Israeli President Shimon Peres with Israel's first President's Prize for his scholarship in Talmud.

In 2012, the album was ranked # 385 on Rolling Stone's 500 Greatest Albums of All Time, while Newsweek magazine pronounced it the second best album of its decade.

A Blu-ray and DVD release of season 9, titled Beavis and Butt-head-Volume 4, was released on February 14, 2012 in the United States.

It was initially supposed to be in service in 2012, but some observers expect it not to be ready before 2016.

After the completion of the Plovdiv-Dimitrovgrad high-speed line on 1 July 2012 the top operating speed was raised to 200 km / h and the national top speed record of 197 km / h set between Iskar and Elin Pelin with a leased Siemens Taurus electric locomotive is soon expected to be broken.

The construction of the project was awarded to the İçtaş-Astaldi consortium on May 29, 2012.

An under sea water supply tunnel with a length of, named the Bosphorus Water Tunnel, was constructed in 2012 to transfer water from the Melen Creek in Düzce Province ( to the east of the Bosphorus strait, in northwestern Anatolia ) to the European side of Istanbul, from a distance of.