Government Polytechnic, Thane(An Institute of State Govt. of Maharashtra)

TWO WEEK Self FinanceISTE Approved

SHORT TERM TRAINING PROGRAMMEOn

“Logical Programming Techniques”th th05 - 16 June 2017

Approved byIndian Society for Technical Education

ADDRESS FOR THE CORRESPONDENCEThe Coordinator,

STTP on “Logical Programmig Techniques”th th05 June 2017 to 16 June 2017.

Information Technology Department,Government Polytechnic, Thane.

Opp. Bharat Gears Ltd.; Phadke Pada,Mumbra, Dist - Thane (M.S.) 400 612

Organized byInformation Technology Department,

Government Polytechnic, Thane, Mumbra- 400 612 (M.S.) INDIA

Website: www.gpthane.org.in

Government Polytechnic, ThaneTwo Week Self Finance ISTE Approved STTP on

“Logical Programming Techniques”th th05 June 2017 to 16 June 2017

REGISTRATION FORM

Name :

Designation :

Institution :

Address for CorrespondencePostal :

Telephone :

Fax :

E-mail :

Payment DetailsD.D. Amount :

In Favour of : “Principal, Government Polytechnic, Thane”

Payable at : Thane (004319)

D.D. Number :

Bank :

Branch :

Date :

I shall attend the course for the entire duration

Signature of Applicant :

Seal & Signature of Sponsoring Authority

CHIEF PATRONSShri. Chandrashekhar OakDirector, Directorate of Technical Education,(MS). Mumbai.

PATRONS

Shri. P. A. NaikJoint Director, Technical Education,

Regional Office,(MS). Mumbai.

CHIEF COORDINATOR

Shri. J. R. NikhadePrincipal & Head of Department, Information Technology,Government Polytechnic, Thane

COURSE COORDINATOR

Ms. V. A. KhandekarLecturer, Information Technology Department

Contact : 9960601631

LOCAL ORGANIZING COMMITTEE

♦ Mrs. S. A. Nadgeri M- 9404045453♦ Mrs. N. R. Wartha M- 9970626179♦ Mrs. S. Y. Birla M- 9420847390♦ Mrs. K. S. Gaikwad M- 9420847390♦ Mr. M. J. Parate M- 9923682330

Government polytechnic Thane, established by Governmentof Maharashtra, governed by Higher & Technical Education Department, administered by DTE, approved by AICTE &afliated to MSBTE is a co-education institute responsiblefor imparting industry-responsive Diploma level programs inthe eld of engineering, technology & professional educationto the students admitted as per norms stipulated by Government of Maharashtra. It has the onus of bringing insocioeconomic transformations through education, training& linkages with industries & other fraternity, for thedevelopment of society at large. It is further responsible tocontribute in development of technically trained humanresources in Global context.

Thane is a city in the state of Maharashtra in Konkan Division.Thane is connected with neighbouring suburbs through Centraland Trans Harbour Line Suburban railway network. It is well connected by rail and road (NH 3 & NH 8). Thane is41Km away from Chatrapati Shivaji Terminal & 152 km fromPune.

Industry experts from Programming domain and corporate trainers to talk about practical approach to achieve Logical Programming skills.

♦ To understand programming with extra logical constructs.♦ To use Warren's Abstract Machines.♦ To understand constraint logical programming ♦ To use different types of logical programming.♦ To know computations as proof search.

THANE CITY

PROGRAMME OBJECTIVES

COURSE INSTRUCTOR

COURSE CONTENT

The major contents of the course will cover the following : ♦ Computation as Proof Search ♦ Resolving Non-Determinism ♦ Common Techniques and Pitfalls ♦ Structured Logic Programming

♦ The CLP Model/Some Constraint Domains ♦ Proof Terms and Dependent Types ♦ Advanced Compilation ♦ Warren's Abstract Machines

A course is Interdisciplinary Faculty members and research scholars fromAICTEapproved Engineering and polytechnic Institutes and Industrialpersons are eligible to participate. Participants are required to register in advance using the enclosed form.

ELIGIBLITY

The Short Term Training Programme will be held duringth th

05 June - 16 June, 2017 at Information TechnologyDepartment, Government Polytechnic, Thane.

DATE & VENUE

REGISTRATION

Interested participants are requested to send, lled and dulysigned Registration form along with a registration fees tothe Course Coordinator.

► Faculty Participant : Rs. 3500/- each

► Industry Participant : Rs. 4500/-each

FEES

Traveling, Lodging, boarding and other expenses will haveto be borne by the participant. Accommodation will have tobe managed by the participants only. However, the guidancewill be provided for accommodation.

To fully realize the objectives of the course, the lecture noteswill be made available in the CD form after taking the consentfrom the experts.

LECTURE NOTES

nd♦ Last Date of Registration : 02 June 2017

♦ Notication of acceptance by e-mail:rd 03 June 2017

♦ Scanned copy of Completed Registration form should be send by email to Email: iste2017gpt@gmail.com varsha.khandekar02@gmail.com

IMPORTANT DATES

Ms. V. A. Khandekar

COURSE CORDNATOR

Information Technology DepartmentGovernment Polytechnic, Thane

Maharashtra IndiaOfce: 022 32097038/32255909varsha.khandekar02@gmail.com

www.gpthane.org.in

Information Technology DepartmentGovernment Polytechnic, Thane

Maharashtra, IndiaOfce: 022 32097038/32255909varsha.khandekar02@gmail.com

www.gpthane.org.in

Note:

1. Registration fee is inclusive of Lunch & Tea and exclusive of accommodation.

2. Limited Entries.

ABOUT INSTITUTE