* 1702 May – Formal beginning of the War of the Spanish Succession.

Other commentators place the Holocene – Anthropocene boundary at the industrial revolution while also saying that " Formal adoption of this term in the near future will largely depend on its utility, particularly to earth scientists working on late Holocene successions.

* 1968 – Formal separation of the United Auto Workers from the AFL-CIO.

* Formal science – branch of knowledge concerned with formal systems.

* June 14 – The Falklands War ends: Formal surrender of Argentine forces, and liberation of the Falkland Islanders.

Formal generalization of the pi – theorem for the case of arbitrary number of quantities was for the first time given by A. Vaschy in 1892, and later and, apparently, independently, by A. Federman, D. Riabouchinsky in 1911 and by Buckingham in 1914.

Formal language –

* Bruce, David M. ( 2010 ) " Baedeker – the Perceived ' Inventor ' of the Formal Guidebook: a Bible for Travellers in the 19th Century ," in Butler and Russell ( eds ) ( 2010 ).

* Formal semantics – rigorous mathematical study of the meaning of programs.

* Type theory – Formal analysis of the types of data, and the use of these types to understand properties of programs — especially program safety.

* Formal methods – Mathematical approaches for describing and reasoning about software designs.

Formal Logic 18 ( 2 ) ( 1977 ), 235 – 242.

* 1943, " Formal Reductions of the General Combinatorial Decision Problem ," American Journal of Mathematics 65: 197 – 215.

This project is called Project FlysPecK – the F, P and K standing for Formal Proof of Kepler.

* A. C. Norman " Computing with Formal Power Series " TOMS v1 n4 pp346 – 356 ( 1975 ) ISSN 0098-3500

Formal archaeological excavation started in 1925 and Jarlshof was one of two broch sites which were the first to be excavated using modern scientific techniques between 1949 – 52.

Some of the works which bear the names of Bakhtin's close friends V. N. Vološinov and P. N. Medvedev have been attributed to Bakhtin – particularly The Formal Method in Literary Scholarship and Marxism and Philosophy of Language.

* Janusz A. Brzozowski: Open problems about regular languages, In: Ronald V. Book, editor, Formal language theory — Perspectives and open problems, pp. 23 – 47.

Aldene Meis Mason, Leo Paul Dana, and Robert Brent Anderson, " A Study of Enterprise in Rankin Inlet, Nunavut: Where Subsistence Self-employment Meets Formal Entrepreneurship ," International Journal of Entrepreneurship and Small Business 7 ( 1 ), January 2009, pp. 1 – 23.

Errata for Formal Aspects of Computing ( 2006 ) 18: 495 – 517 and their consequences.

Formal Aspects of Computing ( 2006 ) 18: 495 – 517.

* Ross, James F. " Translator's Introduction ", in On Formal and Universal Unity: De Unitate Formali et Universali by Francis Suarez ,( Milwaukee: Marquette University Press, 1964 ), pp. 1 – 27.

* Cockerell, S. ( 1945 ) from " Tributes to Edward Johnston " in Child, H. & Howes, J. ed. s ( 1986 ) Lessons in Formal Writing, pp. 21 – 30.

* September 28 – Formal opening of first electrified section of Giant's Causeway Tramway in Ireland, utilising hydroelectricity.

Formal political union occurred on 3 October 1990, executed — not without criticism — via Article 23 of West Germany's Basic Law as the accession of the restored five eastern Länder ( meaning that technically, East Germany was subsumed into West Germany ).

), The Formal Organization, Basic Books

* ------, 1998, " Basic Problems of Mereotopology ," in Guarino, N., ed., Formal Ontology in Information Systems.

* Basic Formal Ontology ( BFO )

" Formal axiology, the attempt to lay out principles regarding value with mathematical rigor, is exemplified by Robert S. Hartman's Science of Value.

Formal mathematics is based on provable truth.

Formal planned experimentation is often used in evaluating physical objects, chemical formulations, structures, components, and materials.

* Formal self-insurance is the deliberate decision to pay for otherwise insurable losses out of one's own money.

Formal definitions of language is commonly used in formal logic, and in formal theories of grammar and in applied computational linguistics.

Scotist realism argues that in a thing there is no real distinction between the essence and the existence, instead there is only a Formal distinction.

Formal methods is the term applied to the analysis of software ( and computer hardware ) whose results are obtained purely through the use of rigorous mathematical methods.

Formal turnout always is preferred, however, and a neat rider gives a good impression at shows.

Formal documentation of some of the EMP damage in Kazakhstan exists but is still sparse in the open scientific literature.

Formal fallacies occur when there is a problem with the form, or structure, of the argument.

* Formal Pragmatics, the study of those aspects of meaning and use, for which context of use is an important factor, by using the methods and goals of formal semantics.

Formal public institutions require social capital in order to function properly, and while it is possible to have too much social capital ( resulting in rapid changes and excessive regulation ), it is decidedly worse to have too little.

* 630 Formal pederasty is introduced, first in Crete, as a means of population control and an educational modality

Formal transfer of the ship to the prospective commanding officer is done by the Chief of Naval Operations or his representative.

Formal law regulates the procedure ; delegation is possible.

Formal law regulates changes in their boundaries, delegation is allowed ( Subarticle 2 ).

Formal innovation characterised Mon oncle d ' Amérique ( My American Uncle ) ( 1980 ) in which the theories of the neurobiologist Henri Laborit about animal behaviour are juxtaposed with three interwoven fictional stories ; and a further counterpoint to the fictional characters is provided by the inclusion of film extracts of the classic French film actors with whom they identify.

Formal discipline is administered by congregation elders.

The preprandial grace is read by the Bible Clerk at Formal Hall.

Grace is said by a scholar of the college at Formal Hall ( the second, more elaborate sitting of dinner ).

Unlike many other Oxford colleges, the same menu is served to all members of college and there is no High Table apart from at Formal Halls.

The usual grace given before Formal Hall is Benedictus, Benedicat per Jesum Christum Dominum Nostrum ( Blessed is He and may he bless food through Jesus Christ Our Lord ) to which the assembly responds Amen.