scholarly journals Doctors as patients: submission deadline extended

2020 ◽  
Vol 70 (699) ◽  
pp. 485.2-485
Author(s):  
Samuel J Finnikin ◽  
David A Orlans ◽  
Rodger Charlton ◽  
Devina Ravall
Keyword(s):  
1993 ◽  
Vol 7 (6) ◽  
pp. 616
Author(s):  
Param D. Bajwa
Keyword(s):  

1997 ◽  
Vol 7 (1) ◽  
pp. 125-126
Author(s):  
Tom Melham

A special issue of the Journal of Functional Programming will be devoted to the use of functional programming in theorem proving. The submission deadline is 31 August 1997.The histories of theorem provers and functional languages have been deeply intertwined since the advent of Lisp. A notable example is the ML family of languages, which are named for the meta language devised for the LCF theorem prover, and which provide both the implementation platform and interaction facilities for numerous later systems (such as Coq, HOL, Isabelle, NuPrl). Other examples include Lisp (as used for ACL2, PVS, Nqthm) and Haskell (as used for Veritas).This special issue is devoted to the theory and practice of using functional languages to implement theorem provers and using theorem provers to reason about functional languages. Topics of interest include, but are not limited to:– architecture of theorem prover implementations– interface design in the functional context– limits of the LCF methodology– impact of host language features– type systems– lazy vs strict languages– imperative (impure) features– performance problems and solutions– problems of scale– special implementation techniques– term representations (e.g. de Bruijn vs name carrying vs BDDs)– limitations of current functional languages– mechanised theories of functional programming


Acta Comitas ◽  
2017 ◽  
pp. 137
Author(s):  
Ida Ayu Md Dwi Sukma Cahyani ◽  
Yohanes Usfunan ◽  
I Nyoman Sumardika

Notary Authority is very important for the parties who make an agreement under the civil law. In performing their duties, notaries are required to maintain their accuracy and prudence, in order to provide justice, without any discrimination, thus providing legal certainty and the protection of human rights of the parties concerned. Under the provisions of Article 63 of the Law on Notary, there has been obscurity and vacuum of norms. The said obscurity of norm is about the certainty of protocols’ submission of notaries which have been overdue as specified on the provisions of Article 63 of Law on Notary Position. The vacuum of norms also mean the lack of certainty about who is responsible for the notary protocols, the absence of the regulations related to who should receive the protocols and the lack of sanctions against the notary who has been designated to receive the protocol by the Regional Supervisor Assembly but was not willing to accept the protocol. These provisions give rise to legal issues namely: what  the legal consequences of Notary Protocols that have not been submitted after the deadline for submission and how the provisions of sanctions against the notary who is not willing to accept the protocols. The type of research used in this thesis was a normative legal research because of the obscurity and the vacuum of norms. The legal materials collection techniques used were a literature study and a card system. To analyze the legal materials, it was used descriptive techniques, interpretation, construction and argumentation theories and concepts associated with the relevant legal issues. The results showed that the Notary Protocol Submission to the recipient of the protocols which have passed the submission deadline resulted in some juridical consequences. The consequences include: Incidence of doubt, the uncertainty associated with the filing of the protocol the Notary. The lack of certainty associated with the accountability to the possibility of loss and destruction of the protocols of Notary. Other consequences that arise are if the parties concerned are unable to obtain a copy of their certificates back in the event of the onset of a dispute between the parties. If the notaries proved to have violated, they can be subject to sanctions. The sanctions that may be imposed on the Notaries if they make any violations are the administrative sanctions, civil penalties and criminal sanctions.


Sign in / Sign up

Export Citation Format

Share Document